- 在线时间
- 11 小时
- 最后登录
- 2012-1-13
- 注册时间
- 2011-12-22
- 听众数
- 4
- 收听数
- 0
- 能力
- 0 分
- 体力
- 418 点
- 威望
- 1 点
- 阅读权限
- 30
- 积分
- 204
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 137
- 主题
- 43
- 精华
- 0
- 分享
- 0
- 好友
- 0
升级    52% TA的每日心情 | 开心
2012-1-13 11:05 |
|---|
签到天数: 15 天 [LV.4]偶尔看看III
 |
" N( [2 d% `. z/ u% p$ }& j
; o- Q) N7 f+ x4 ^( w, |! ]Abelian groups Abelian group
) Z- ?) h$ d2 D4 b4 b! {! _8 hAbelian lattice-ordered groups+ @! w/ p9 ~2 ], `4 m; |6 A6 D5 u- n
Abelian ordered groups( m" s# A! N: t$ |0 M1 y* z' N0 p! i; x
Abelian p-groups+ R3 K) Y4 T+ x3 n* N/ @6 g
Abelian partially ordered groups
: q! X% d, d! s) z9 O5 l" jAction algebras Action algebra
; V3 b: z, z0 s |/ M# iAction lattices
( K. D, P4 C( A+ @Algebraic lattices1 y1 s% Z8 M& F. C2 R0 }
Algebraic posets Algebraic poset+ O+ s# \# [9 C0 X+ f
Algebraic semilattices
$ c' {3 ]8 l mAllegories Allegory (category theory)
0 w: b' V, Q& h! F. a! SAlmost distributive lattices
- L# l: j$ b9 {Associative algebras Associative algebra
' ?2 K7 o8 g- @5 m$ a4 `! j/ P# sBanach spaces Banach space b0 }* }2 c" j# x
Bands Band (mathematics), Finite bands
2 n/ U* ?- J% _$ L X2 NBasic logic algebras
5 w% A+ |1 m0 }. }/ LBCI-algebras BCI algebra
/ \& w" H* D3 z# }9 Q; p' {BCK-algebras BCK algebra
1 M* ]0 a: m' X+ q# IBCK-join-semilattices
& w1 o! o( S7 q! l9 E, S: G0 yBCK-lattices6 _) V3 k# V3 e* |7 ?( l
BCK-meet-semilattices
( x ~5 h, [! bBilinear algebras9 H- L O/ k5 H! g: J
BL-algebras/ G7 Z9 |$ s# {0 L2 m/ H
Binars, Finite binars, with identity, with zero, with identity and zero,
, n5 F) ?5 X- ^! i/ M5 K- j2 WBoolean algebras Boolean algebra (structure)
' s2 _: R: l' QBoolean algebras with operators
+ n0 N5 W$ J. U+ R% l# e1 cBoolean groups
2 k: Y5 g0 _6 C. j( U/ e+ hBoolean lattices5 F2 Q0 b2 A3 c# q9 w- S
Boolean modules over a relation algebra! C5 ^+ Y8 u) z, ^
Boolean monoids
9 h0 x# H4 y7 [8 M& yBoolean rings
& N! ^0 O, @' Y; NBoolean semigroups9 H2 ]: C( u ?; d
Boolean semilattices
N( ^- u- m7 y: f( ]0 Q" UBoolean spaces
7 I2 }2 M) Y& E9 {Bounded distributive lattices. H" g* k/ `- U/ W! A# E
Bounded lattices
. Z. Z7 g, v; ?5 iBounded residuated lattices0 }' b! J# [- w1 E
Brouwerian algebras
# J4 [; e9 ^" Z, OBrouwerian semilattices* U8 D+ r9 D3 G0 x4 y' A. `
C*-algebras0 _3 r( g2 D& {1 K6 [5 W* I/ K+ x$ F
Cancellative commutative monoids# T, k5 t; t! @$ T" U7 q( }
Cancellative commutative semigroups
8 X: s ^- G! ?, sCancellative monoids
- E; `- o; s; }, R' oCancellative semigroups0 ~! C" R2 {' F: K6 |; U2 b
Cancellative residuated lattices
! Y) e0 a* ]$ F3 o( kCategories
7 [' `5 N# C3 {9 Y+ dChains
3 v* u+ f8 X% j/ H2 Y- _Clifford semigroups
8 E; Q3 z5 f2 q$ vClifford algebras! L' Z6 V: r [, V% e. h7 S
Closure algebras5 F6 i4 I1 u; I- n
Commutative BCK-algebras
( z/ H# h' f: ` S: tCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero
" |0 [5 R% W* d, i: @commutative integral ordered monoids, finite commutative integral ordered monoids/ f; Z$ D9 p" u/ o# Q; `2 K
Commutative inverse semigroups
% S9 Q- E8 e U `$ P# Z0 dCommutative lattice-ordered monoids) C+ s6 e' A$ C
Commutative lattice-ordered rings
, g( x+ N. a( E' q' oCommutative lattice-ordered semigroups5 U" w* h' ^/ d& c/ D- v
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
( Z' ^" M3 g5 U; |Commutative ordered monoids$ x. E. C$ z7 o* q0 t5 L
Commutative ordered rings- s& f2 n# z* v* v+ G s2 Z% {
Commutative ordered semigroups, Finite commutative ordered semigroups8 d1 D; `; r0 F) `. ` R$ c$ L
Commutative partially ordered monoids) m, R6 r/ F$ [: B" L- j; I
Commutative partially ordered semigroups, q( H; z& s _" R6 x% V1 v* U
Commutative regular rings) S/ R4 I; S; B1 t* ?
Commutative residuated lattice-ordered semigroups1 X4 p" d4 i o' P
Commutative residuated lattices
) O5 {1 T! ^6 g0 c3 R* jCommutative residuated partially ordered monoids
1 t$ K* M* v O6 Q2 ~# l: KCommutative residuated partially ordered semigroups- W" Y" G9 @; [
Commutative rings
, E4 ^2 p' s; T1 HCommutative rings with identity. W* R* w7 t6 j4 j
Commutative semigroups, Finite commutative semigroups, with zero
: m, r( p! @ r5 O0 m2 E7 _Compact topological spaces9 k' K1 i1 t. K2 ` i8 b- d
Compact zero-dimensional Hausdorff spaces/ @" L6 ~2 R, ^# ^! X/ R0 G
Complemented lattices! i, S" K$ `0 y4 _
Complemented distributive lattices
- t' ?# F7 G, P9 l" Z+ yComplemented modular lattices2 `' e! x$ L$ F4 k7 {' y! Z1 ?
Complete distributive lattices' v9 e4 X4 X& s$ f. U6 A G
Complete lattices( M" G, F1 s" N, J2 D5 e4 u, H; v
Complete semilattices
9 [2 B, a( `9 d; N9 c& pComplete partial orders4 M/ ~' Z2 M) I7 G- K
Completely regular Hausdorff spaces
; ?( I! K6 D2 j' R; K9 @Completely regular semigroups7 h( n: ^$ a; e
Continuous lattices' {& ^1 m% V7 r6 s
Continuous posets2 h$ H. C3 a2 @
Cylindric algebras
& r( A0 [6 i1 {6 O5 j/ |+ ZDe Morgan algebras3 {) @" _: y+ _, {+ y
De Morgan monoids5 m, ?( ?) R8 Q* ?
Dedekind categories
, q" Z8 M" S* EDedekind domains
0 k7 _0 _) k6 a3 NDense linear orders
* }& e+ c3 }( ?3 m7 WDigraph algebras& {- w! P0 s7 P+ K5 a/ t
Directed complete partial orders
* J8 r& N! F4 }' `Directed partial orders
9 m. v0 u9 P3 C1 M/ PDirected graphs; X# |3 w3 H, T, H% j, i
Directoids+ u2 Q" M0 ]) {( L& x- t
Distributive allegories
# v8 H4 d7 D1 I8 L6 r7 q4 mDistributive double p-algebras: t4 _; q5 L) a L
Distributive dual p-algebras
" j1 i! W+ m2 ?7 Y H& \Distributive lattice expansions9 E n0 i2 E m1 k5 n/ g* a5 M, R
Distributive lattices
5 m/ ~4 y' D' A1 iDistributive lattices with operators4 Z7 v. {- s' P D* U$ C
Distributive lattice ordered semigroups+ k3 w1 @ f* ^* Z
Distributive p-algebras
6 F# A) _; t+ Y& C- p* Y7 I( v) |0 yDistributive residuated lattices! P& q! F$ b8 J X
Division algebras
5 @- W/ U) e; H5 H$ h; MDivision rings
! g& C' ^3 \7 T3 d+ LDouble Stone algebras! Y& S# t6 u* E- h
Dunn monoids
/ e, r$ w) U7 F) A& W$ H$ y$ _4 sDynamic algebras
6 [% d) l0 Y7 L5 tEntropic groupoids# B$ m' [8 ^* m9 R
Equivalence algebras+ k, L8 O! e8 h, c% q- c
Equivalence relations
' L3 M, ~4 {4 G3 ?- l" @5 |" e( E+ nEuclidean domains, U4 \* Y% o M- ?
f-rings
3 }# a+ w2 ], y: C& j/ a. X" k UFields- t7 G! ], M# [0 P
FL-algebras
$ B4 S2 ~( a/ |- `FLc-algebras
0 k& ~/ K S: f8 \8 [% QFLe-algebras
% H. K# p& f; |+ fFLew-algebras
& L0 u8 Z- E3 B- R. q: C, fFLw-algebras
$ I7 q- }; s2 j$ |3 k& aFrames
# u) G) t$ d! [; d7 v7 C+ xFunction rings- s- H" f$ C' d# T B* X7 d
G-sets
+ t6 i# q# [8 l3 s7 a! p0 G3 Q! D( zGeneralized BL-algebras
P) p( P- F+ S5 n! _Generalized Boolean algebras; J$ U- {) l& H' R( Y& D
Generalized MV-algebras1 Q- D6 T5 U) {- [9 A$ o
Goedel algebras% m# A! J/ i, r2 @6 b
Graphs
+ q* B# w* ^, P9 oGroupoids
0 t4 R+ T- O' T$ d7 RGroups+ r4 f H9 z; D( A/ {2 ]& m
Hausdorff spaces% Y: a) U: |) x4 S
Heyting algebras! H" j* ?7 h' f
Hilbert algebras3 g0 t3 ]) s* [/ {
Hilbert spaces
; p( e) Y- x* o0 C# t; o( P3 R. z wHoops$ I8 I- \4 \7 _3 Q, r3 Y
Idempotent semirings
' u' I! Q) g) L5 |Idempotent semirings with identity5 b$ E, X, B9 f1 i( Z' d
Idempotent semirings with identity and zero
* n, K$ k1 S8 ~) ^. Y% j XIdempotent semirings with zero+ m* R" B% G9 V% p
Implication algebras8 S6 v' [. a9 r. d, H# F I k" N
Implicative lattices$ M: F3 W8 J9 ^+ e7 f
Integral domains1 I& V5 w8 ?9 W; H8 p+ u5 }1 k
Integral ordered monoids, finite integral ordered monoids7 `3 n/ S* f. M6 G6 {
Integral relation algebras% K, [, P0 q' V3 R1 s
Integral residuated lattices4 |* H! f" c4 r+ E( H- g
Intuitionistic linear logic algebras
8 `, |6 d) `) K% X! U& E& f' _: tInverse semigroups
: p$ B2 U' s4 }% U" s( v5 ]- R6 xInvolutive lattices
+ e9 _* i; D5 tInvolutive residuated lattices
: p. Z' h- G/ \ I! @3 N0 P2 UJoin-semidistributive lattices( r4 m: E8 w: Q5 Y3 u
Join-semilattices5 ]4 t0 t" d* H4 H/ W1 Q7 f
Jordan algebras n# j5 @! g3 I
Kleene algebras
1 v( e& N' x& q p2 sKleene lattices
& @8 q6 w0 a1 @- T% r' h6 _Lambek algebras
" g$ ^- U6 m& W5 _5 _Lattice-ordered groups, h$ @% c3 D( p* j5 p/ u5 X* X9 m
Lattice-ordered monoids$ b1 N8 S7 S- X6 g% T3 A' H
Lattice-ordered rings* n: J6 Q: ~ `! C
Lattice-ordered semigroups C" T7 [+ L$ u) t5 j3 B
Lattices
1 Z4 y1 u" O( h: Y5 e8 A5 U$ L* D& ?Left cancellative semigroups
1 v% g0 M5 o( e Q" kLie algebras* {( X! q# g8 T4 p; V4 `& Q+ }* x+ e0 j
Linear Heyting algebras( g' y& Z8 s1 q! }
Linear logic algebras
$ G; f! k4 ]) [0 M# {! ^Linear orders
! V1 \- W3 F! M1 s1 q# |Locales
* n V! `8 u- l: ^6 YLocally compact topological spaces
; `* i* u% ^# T g+ u# [3 ZLoops! j# L8 I3 ?( o
Lukasiewicz algebras of order n! A" n! }; N6 q8 @* z! d6 P5 Y
M-sets
/ ~" i6 V# m ^+ cMedial groupoids- `( i- X# Z# g) m) o0 Z) t! ^6 d- s( A
Medial quasigroups3 X1 q; Q( J; o, r5 f2 X% s
Meet-semidistributive lattices
/ r, F2 E3 y4 O3 LMeet-semilattices! s: P/ g0 A& t# u6 b
Metric spaces
7 `; e. O" O+ Q) m" `, ~# j% \Modal algebras! R3 i4 w+ H4 C! r) V
Modular lattices, E' G! z. q7 @- w$ f. G3 `' G$ x0 _
Modular ortholattices6 L2 c$ x, L `7 E, ?3 @, ^9 L
Modules over a ring5 O/ h7 e( l* g# g: Y# \% }
Monadic algebras6 P: U1 o8 N& X+ g. z
Monoidal t-norm logic algebras- D7 Q2 Q2 l% [% w
Monoids, Finite monoids, with zero- h8 n6 G6 L1 n _1 o1 e
Moufang loops) `' `. F! ^/ L" O
Moufang quasigroups
/ p B. } B7 }1 ]9 A7 m, UMultiplicative additive linear logic algebras4 A( d$ C; E. W* x( v% a1 E- Q
Multiplicative lattices
# W9 j6 e `$ o p/ e% }Multiplicative semilattices- x8 R! \- J9 Y8 y G7 n
Multisets m% _/ n4 E* Y, k/ C$ q# s
MV-algebras, E) Q6 N6 N" H# [; v- E1 q3 ^
Neardistributive lattices
4 t# d2 n) B/ ?* U: E% ONear-rings, O3 O$ \2 _* ^
Near-rings with identity5 i6 A% S, i; |9 r( N* m5 O
Near-fields
- Q2 m- q; Z3 t' R4 z6 e( ANilpotent groups$ G3 j/ J0 a2 q0 H3 q1 |
Nonassociative relation algebras0 k9 e% q7 E0 l
Nonassociative algebras0 U1 x5 r1 r1 {3 ]; p
Normal bands
, d0 Y9 t/ j: f: ], K, oNormal valued lattice-ordered groups
- b! ^) a; i9 |3 e5 J7 o7 CNormed vector spaces
9 _( F( y) F7 F0 [; \/ } zOckham algebras H2 g! ]* _" y9 e
Order algebras
{! O ]9 J& Z0 K" q$ @9 u/ oOrdered abelian groups
) Y3 P8 y- T$ ~; X1 ^Ordered fields; j7 z+ O& r6 U9 m' p2 c, T
Ordered groups
1 y$ H* W9 z" K# e8 \1 {Ordered monoids
" r8 w4 P4 W* {4 o# ]8 o4 \8 t0 UOrdered monoids with zero" ^% i% b p v: @5 {
Ordered rings( B% Q, u/ B; q' j7 V
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
, b' `# h8 ]5 J8 `2 ROrdered semilattices, Finite ordered semilattices
Q& ]) e+ ^' ^# \1 lOrdered sets
+ A: L+ i* d7 \$ BOre domains
% z! T: J! h( _Ortholattices
; S6 y5 S) W; V$ X: u; AOrthomodular lattices# ]2 {+ l7 P) l7 a! S
p-groups( I0 M5 G8 a. A( f
Partial groupoids2 n( ^( v# R+ Z4 I6 w. Q
Partial semigroups
, q2 v) R' K+ O2 ?# {+ w9 D4 FPartially ordered groups
: ^( h$ z3 H6 D' Y, t8 }/ J) {( rPartially ordered monoids# A. e* q- w# a# s) ]; X
Partially ordered semigroups4 h. z0 O1 ~4 `
Partially ordered sets6 o$ Q' Y [8 C+ {; [8 b. }
Peirce algebras
) r- B7 s# Y/ q% mPocrims
K% }: c' q: ^. j- o- u, RPointed residuated lattices
+ t! r- I- x4 i# ~. bPolrims" m; _$ N; D: T3 c$ i* s
Polyadic algebras
$ V8 L" e1 a! q1 d4 j# cPosets1 e* {/ i( T0 e% U& S/ e1 `2 {
Post algebras
; @. K4 w8 X0 c7 z4 J/ e# z+ GPreordered sets
6 t' p7 Q {( i6 S4 O4 Q ]% kPriestley spaces" V8 b& J; U6 i# F% x8 y W" \
Principal Ideal Domains
3 ], e5 f$ }4 c5 j5 HProcess algebras' F1 ]+ W g3 u" O& j# \0 W
Pseudo basic logic algebras7 n0 z- s) t7 d0 K3 Z+ z7 p
Pseudo MTL-algebras' ]/ p8 t+ B/ z) H1 A% h7 x( D }, `
Pseudo MV-algebras
2 }- h* |* a3 V& G- X, ]0 {; XPseudocomplemented distributive lattices
$ j B5 Q6 h" f0 `, f$ [0 ~ fPure discriminator algebras
" r) z* W# L# j) m7 f) Q, n$ B) t3 ZQuantales# Q, k# H5 Y1 d& Y* T$ F
Quasigroups$ x6 x+ ~4 n2 c' u1 r- |
Quasi-implication algebras1 X& U$ B2 p6 d$ o; M
Quasi-MV-algebra+ j/ H! _' [6 N4 a" q( P
Quasi-ordered sets
: r2 {& o3 G$ P1 Z1 G3 @Quasitrivial groupoids
, t1 @( ^3 N! G" v3 b% nRectangular bands
$ A, D3 m* `' g2 T) DReflexive relations9 ^; y: {( y; U3 u7 Q/ N
Regular rings7 l& B% }- x0 o Y, B8 w
Regular semigroups8 X" s5 H7 ?: Y) W* X% q0 H
Relation algebras3 s# G V, t# q
Relative Stone algebras% @* d. \7 f2 \9 d
Relativized relation algebras
& \* g& n7 J5 eRepresentable cylindric algebras0 b+ g7 w- c# G/ }! Y% z: V
Representable lattice-ordered groups+ g" j% Y4 q! v4 ?
Representable relation algebras; H4 i1 z* ]: n! u) p
Representable residuated lattices
* C; V% p7 [8 m6 `Residuated idempotent semirings4 i B$ m# u0 D3 s! G5 O+ K
Residuated lattice-ordered semigroups& y% Y7 {. u# B
Residuated lattices, g$ m" h$ Y E5 a2 n
Residuated partially ordered monoids
* H# ?) p' ]2 A0 ^Residuated partially ordered semigroups9 w5 d% I3 [% Y* X: l
Rings
* v% l u$ | e4 X9 |Rings with identity
2 _7 `) T+ }3 I/ |Schroeder categories& g' M. g9 Y5 |% ~7 G' P: e
Semiassociative relation algebras/ }( h; C1 g- J& [
Semidistributive lattices7 B: Z! w) t/ d a, m, l2 A
Semigroups, Finite semigroups k+ o# W- N; b; M/ K/ p0 T/ D
Semigroups with identity! {3 b3 A+ p1 ]( Z1 Z
Semigroups with zero, Finite semigroups with zero7 m) d0 l+ P8 N& O& Y+ x. q
Semilattices, Finite semilattices) Z3 G! P5 y6 ^! n- v* x$ Y
Semilattices with identity, Finite semilattices with identity
0 s& v" T' D" x" |3 XSemilattices with zero
5 O4 A: \) M# q' M4 v5 \, H- uSemirings
- S7 M2 M! [- g8 x# B/ F) t2 BSemirings with identity
! I& R$ C9 \" M2 c8 tSemirings with identity and zero
4 x/ J& _0 G8 MSemirings with zero2 D8 n( l5 ^9 D: S% g5 O& H
Sequential algebras4 }3 r; x4 d c' {: l( y$ b9 ]- k! f
Sets
/ D/ a* r8 [5 eShells7 T# c1 b: q; m% }" F4 ^
Skew-fields
' |9 a" ^& ]5 D: hSkew_lattices
! ~# c8 J+ X+ V/ ~$ p- RSmall categories! X, f& Z, T; a6 T. z, ~
Sober T0-spaces! e. m- q6 l: H$ W( A5 j
Solvable groups
1 {4 k( i1 e: K8 K) ~& |6 _Sqrt-quasi-MV-algebras/ m* c8 u Z0 X. W% t' @
Stably compact spaces5 @8 g) l2 Q2 N# @" r' y! k* t
Steiner quasigroups
( ^6 P7 v% m" e# q4 |: I# oStone algebras
" j( w- V% r% H% z' m. W1 i( v8 a, ~Symmetric relations
6 N x: B. a: Q) F- FT0-spaces
! i& v3 ], Q: U: p! s& CT1-spaces
. O. d* s/ \! o- `6 MT2-spaces" u) X8 p7 k6 j2 q& q
Tarski algebras0 ?" g5 Z% ]" ^( }1 O( m2 v
Tense algebras
* ~% Z4 d5 X* r1 a6 r3 tTemporal algebras" P. c6 F7 `, W; j. G- ?. U
Topological groups& Q! h7 ]* O! Z- j$ p: P# r5 ~+ K
Topological spaces( U" M4 y* T6 l
Topological vector spaces
! O+ x6 E& I7 k0 S; I+ W. n/ RTorsion groups1 i* s) k1 h( J2 v( E
Totally ordered abelian groups
9 A. _ {0 B5 [4 |2 E( n" kTotally ordered groups
. R* _) W! @+ ]6 D7 S) WTotally ordered monoids
) |6 ?# E* |( cTransitive relations
5 ]( z$ X' L$ n) X; m; Z! M! b. yTrees
* r7 r9 j$ o) |; m! qTournaments
* q& k8 j, R' aUnary algebras: p a8 V/ |9 i& b: {
Unique factorization domains
! K" Q! M" O- {8 Y# c: d2 i; r; T6 oUnital rings9 c; R7 C: T& |1 |; j" a
Vector spaces& M& o* v4 I8 w A9 X A' j: Y) w( W
Wajsberg algebras
4 p) @2 p4 @" W" n- RWajsberg hoops
& K0 p" \" D+ Z/ u9 W5 UWeakly associative lattices
B f. d; Y& w5 b. wWeakly associative relation algebras
' T: s' |" f! E3 m# w( ?6 H4 s1 a7 rWeakly representable relation algebras
* O7 R3 g+ J+ E' R Z( t4 k% s' u |
zan
|
IP卡
狗仔卡
发表于 2012-1-12 13:19
转播
淘帖
分享
收藏
支持
反对
微信
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
抢沙发
显身卡
