- 在线时间
- 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
 |
/ ]# s6 y+ `- Y5 l2 G1 F2 u0 p
7 r5 C" k8 s3 u% m8 k1 l. Q1 mAbelian groups Abelian group
; i, T* O; |2 }4 k0 H4 i. P9 {Abelian lattice-ordered groups
" j8 c# {0 i" G xAbelian ordered groups2 r1 C* Y; m: i$ Z/ [
Abelian p-groups. `1 Q& V: E8 z4 A* E
Abelian partially ordered groups
3 Z5 }' C, Q# fAction algebras Action algebra8 [0 _- m" M# J0 c1 S3 g
Action lattices
$ e- x: ~7 l- S/ q2 ]% lAlgebraic lattices
( a, \2 } `; C# D) fAlgebraic posets Algebraic poset& a) ~/ e7 W4 q. s
Algebraic semilattices3 m+ p6 b r+ |0 g
Allegories Allegory (category theory). c0 b2 m4 v: T: d
Almost distributive lattices
- `5 b8 l4 G3 Q! s9 ?3 k5 yAssociative algebras Associative algebra
. w- a1 z* ~7 LBanach spaces Banach space
5 _: }% Y" U+ a+ c5 [2 ^3 VBands Band (mathematics), Finite bands
8 R. l. Y$ G9 |- f( V- x JBasic logic algebras
- y# z- c) t2 A' @/ o1 J' k5 a( qBCI-algebras BCI algebra
+ B# W) q! Z* GBCK-algebras BCK algebra
) I0 w" Q+ A6 ~' J7 T7 zBCK-join-semilattices5 R! o( J; z1 J% O7 Q
BCK-lattices
* g, n) n4 ^. g! nBCK-meet-semilattices
2 ?: R6 f" d+ D8 H( z8 v0 B/ XBilinear algebras' o- }) {$ I% j K& V$ P
BL-algebras
. |* p- f% g' Z5 Q4 \0 XBinars, Finite binars, with identity, with zero, with identity and zero, ) v* u/ v4 ^. ]7 ^, L2 q
Boolean algebras Boolean algebra (structure)
8 J: I5 c" e- r& FBoolean algebras with operators& e" L: _- ^ `- m9 d8 X# X0 Y
Boolean groups: [% ?+ L4 X4 I! C: F
Boolean lattices, |3 h t- w1 r/ L2 @' N
Boolean modules over a relation algebra. h0 w S& L, G% I, z- L) D4 t
Boolean monoids7 F0 o" i: z; f! P5 N8 I
Boolean rings
2 u b8 L- q, J4 |Boolean semigroups
5 x# H4 [% } m7 k7 j8 ^6 N& F, yBoolean semilattices2 Q# [+ m" f: d3 X9 A& A
Boolean spaces; q) E G1 C0 D- P8 E
Bounded distributive lattices
4 G0 I9 k7 s. o- S Y; b# YBounded lattices
+ T! S% S" _5 E. u$ D9 ?2 }( ^Bounded residuated lattices
4 H2 }7 I" d& i$ N) lBrouwerian algebras
1 _% f1 L3 V1 Q2 m% r, k5 CBrouwerian semilattices1 C# J& V- l6 }3 X: k: Z
C*-algebras
" S( \0 V8 K5 |* c0 `# s" ZCancellative commutative monoids
# @ L) {; v3 J( L) l3 o$ X! v2 GCancellative commutative semigroups
% b) H( O% i9 }3 }6 R6 `Cancellative monoids
6 H- X- ?: F2 F- yCancellative semigroups. r1 m& _& ]8 ?, u+ g' [
Cancellative residuated lattices6 v& [( P( D, m
Categories
# D7 D+ t' @0 f& vChains
, g: I+ m! \7 fClifford semigroups
J' e3 w0 u' `0 h( M! ]Clifford algebras
7 P4 [1 S" M6 z9 fClosure algebras
5 N& \ ^) `; M. c% V" o: d1 oCommutative BCK-algebras( _. s! ]. N7 ^! w
Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
4 i- ~" b4 }: e6 K; v' Scommutative integral ordered monoids, finite commutative integral ordered monoids/ K8 g. N2 R$ k. }
Commutative inverse semigroups
3 Q+ a3 E& o$ l6 f3 Q4 DCommutative lattice-ordered monoids$ a Y5 R! a7 J4 r$ {0 T
Commutative lattice-ordered rings
1 K: i% P* T4 @8 \# T QCommutative lattice-ordered semigroups
6 d3 o' T: C6 J. P: _* _" nCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero) c8 W m/ n9 |8 t. @' Z) X
Commutative ordered monoids
$ [* I" |) ]( H, k! {5 r! RCommutative ordered rings) s8 w) [7 \1 T$ @1 S2 W% ^, O
Commutative ordered semigroups, Finite commutative ordered semigroups
$ y5 G f& `& o' |& x" XCommutative partially ordered monoids
* p i. }; `0 d( U$ ~Commutative partially ordered semigroups8 D0 ?; [1 V+ z5 O
Commutative regular rings
3 M }7 q. y3 p' | e1 l/ Q- FCommutative residuated lattice-ordered semigroups5 [! U# {' \5 ^* @! w( h) V
Commutative residuated lattices" Q1 `9 w# b, J, x5 V+ _, j- r4 c3 c
Commutative residuated partially ordered monoids
! p7 P$ x6 n' r7 t+ \. X. ~9 OCommutative residuated partially ordered semigroups6 J5 |, t/ Y5 \* l
Commutative rings
W+ ^. e: n* _" Y6 GCommutative rings with identity6 K2 z" _8 X. [- p4 ~5 D8 d f o
Commutative semigroups, Finite commutative semigroups, with zero
7 O% _/ K( E4 n5 TCompact topological spaces
9 X2 Z8 p4 F% `+ ~7 LCompact zero-dimensional Hausdorff spaces
( z& x5 ?" h/ M: J& {Complemented lattices7 L8 ]- i7 d7 d* t* G
Complemented distributive lattices n e+ y: S, ^5 Y J( h |
Complemented modular lattices8 W: j1 v6 W: D5 F2 a
Complete distributive lattices2 L1 \8 }( s- L- C7 Z, V* T7 i7 [
Complete lattices
- P/ q! X# G0 G% O$ jComplete semilattices3 u" l7 k1 `- Q6 Y ~9 L* Q" ~, j
Complete partial orders
+ M7 K ~- F3 KCompletely regular Hausdorff spaces
! v0 ^: a D& Z4 mCompletely regular semigroups
. \8 N& G( t' s% N vContinuous lattices# h2 x. ~& M; g( q; H
Continuous posets0 N; I; W& r; l8 L/ w
Cylindric algebras5 ]2 X6 [; m! {+ y6 f
De Morgan algebras5 |7 _7 Z7 r3 T8 ?4 J0 Q
De Morgan monoids
6 B4 ~: ^' a2 O LDedekind categories3 V/ r% W6 ^! e$ P* j2 ]" L# c
Dedekind domains
1 P {. `- @2 H9 I& A7 GDense linear orders
) M7 w5 ]* G+ m( MDigraph algebras
* Q4 b# o/ }- Y- Z" q9 tDirected complete partial orders) e2 |* W$ ]2 K
Directed partial orders
" @ E0 ]5 @1 \' ADirected graphs0 e' f+ \1 N8 s2 l
Directoids# q/ ~3 [' [# Z* |3 P& z; G
Distributive allegories/ J1 o! C+ i, @7 F% P$ p/ j5 {2 i" ~
Distributive double p-algebras
; H- |4 w; A- l* gDistributive dual p-algebras) }! x0 L' ^$ n. c Q, {
Distributive lattice expansions: B3 ?; W2 c7 h, z2 L- M
Distributive lattices
5 D2 Z9 c- {, }+ |0 o0 F8 B3 N9 mDistributive lattices with operators% E$ R5 [+ p9 l4 q# f
Distributive lattice ordered semigroups
# ?: j( `% m- n$ I( k$ X! `Distributive p-algebras
! v( B' L# r7 K gDistributive residuated lattices
+ |. H1 n0 g d; s( R; I1 @, C2 XDivision algebras; K% N. z2 ^4 N; l
Division rings
# L- S9 C/ `# ^Double Stone algebras
, V c" x' g# o; b% a2 x% cDunn monoids1 h# Q/ q2 H) ]' @
Dynamic algebras- P8 k2 X, y2 s" h4 Y- G s
Entropic groupoids
3 |! D7 w; x7 Y' Q% A/ ^Equivalence algebras& U! x" V! f( ]: F7 C3 x
Equivalence relations
- J b9 v9 \1 c+ `7 L1 HEuclidean domains$ F" J' c0 Y, p7 ^- X. [
f-rings
# V0 _/ }$ a) I. g6 l" nFields
! `$ q2 L/ E/ O9 [$ J' q# W4 |FL-algebras" P" u- {1 s8 l. c4 X1 F% ^
FLc-algebras
z% l3 Z+ a6 Y- Q! q, I: HFLe-algebras
) u- l Q5 f9 i; l0 fFLew-algebras
1 s! [% M# ?, o+ g1 j gFLw-algebras3 p9 v! A) T% D8 A! H- U7 E
Frames
j/ U. i* e( f2 ]+ `% l1 uFunction rings. s) J( r3 f; _6 u
G-sets {) G7 M& ~/ E
Generalized BL-algebras, P- p# Z) s4 p4 V2 x/ x4 k9 h" u
Generalized Boolean algebras
5 r* y. w9 G9 T" [Generalized MV-algebras6 X& e3 T8 r2 Q! t5 B
Goedel algebras( R* N7 I# a. t: v* n, R
Graphs
! l ]' V4 T# Q4 D3 MGroupoids
& h; {% p; d' m; ]3 ZGroups
( N/ i# k) }: r0 H, J$ Y" ]/ D4 A( iHausdorff spaces) S2 X- @ J% N
Heyting algebras9 d5 d% n- D2 B) M
Hilbert algebras* I3 [6 M7 ?, {$ z, L
Hilbert spaces
8 x3 I* r+ I( E* y/ FHoops
, d6 u j9 c% q! GIdempotent semirings- W7 Q4 W# Q; R* V; S @ n
Idempotent semirings with identity
9 G) c' r. K7 S) K N r2 f4 lIdempotent semirings with identity and zero
$ x2 t( M9 V" h1 t( Z$ k2 [Idempotent semirings with zero7 S) D/ b3 u) l7 M) J e
Implication algebras
3 [5 ^. n* n! b! s& oImplicative lattices# r" H# h7 p+ C- |8 q" Y
Integral domains/ E- @) p# z9 B+ k
Integral ordered monoids, finite integral ordered monoids3 ~- b: Y9 J( r. `; i
Integral relation algebras
. f; l8 ]2 v- [; e7 ^0 K3 x6 A7 AIntegral residuated lattices; F" S( V3 z; \$ Q, h! z
Intuitionistic linear logic algebras/ w. U9 w; P S T
Inverse semigroups9 X3 U: F# o% O- l2 f* p" W( \
Involutive lattices* [' E, N$ S* U+ Z; V! D4 G6 I
Involutive residuated lattices3 Q* O3 j/ M9 m8 o
Join-semidistributive lattices
5 v7 f' W! L7 O# o) LJoin-semilattices, [" C/ p1 N6 j9 p+ O4 r/ u# Y0 @
Jordan algebras$ A# f; m: N1 Y0 c+ w& c
Kleene algebras) Z% N/ @! j% G# _
Kleene lattices
T$ |, i, T6 c8 `. T' ILambek algebras
1 T6 w# G; g6 x, ?. e$ e& eLattice-ordered groups
! O& t: Y! G! V4 a( Z0 {* ?Lattice-ordered monoids
- m5 U. Q ~0 g- f6 x) n1 uLattice-ordered rings$ M6 I0 {+ ~( B4 ?' s9 H! Z
Lattice-ordered semigroups
2 v: S6 @, |. X! h$ \5 u) eLattices
! ~; R( R( z8 y' {* d, L3 H: v# i, uLeft cancellative semigroups6 b% A- m! J# r4 V! Z' D
Lie algebras
- t2 g* r% S0 f& Y, k7 c0 _3 V3 VLinear Heyting algebras$ z$ j' s6 h/ A3 b5 a( p6 H# }
Linear logic algebras) \& c$ L4 E# F% [, ~/ p
Linear orders9 F2 k7 y' t4 s' }3 D
Locales
3 }) x: Y$ g- w1 b! c0 YLocally compact topological spaces
7 E6 t* U; ]' V4 v) V2 v) ^Loops
/ p c8 @" \6 \* F* CLukasiewicz algebras of order n
) W! R5 i% {1 ?M-sets
7 ]5 m) q3 S' o, Q* n/ l! lMedial groupoids8 ~' c" H8 F0 I* A
Medial quasigroups
/ n. u) l& t. D+ X! n# MMeet-semidistributive lattices
' n6 C: X; ^& ?% V+ JMeet-semilattices9 ~8 k7 T+ u3 B$ e" B4 c( ?
Metric spaces7 Q' \3 l$ V* H; A6 f
Modal algebras
; Y1 Q9 M' O8 p. \" w* MModular lattices/ f4 ]* f: `; x3 z7 j4 ?
Modular ortholattices, a/ T {( C& z# w0 y7 n
Modules over a ring
6 @8 f! k8 P* Z/ ]Monadic algebras
3 [; G$ h. F3 q5 Y/ i5 a; kMonoidal t-norm logic algebras) i9 \/ \+ I9 H' x+ M2 A/ A/ H& x+ o
Monoids, Finite monoids, with zero! |6 q6 ~/ z7 N, A! i2 ?
Moufang loops
& ~$ P1 z* H5 f+ G g2 Y7 B9 E8 N( pMoufang quasigroups
1 n- Y. h- ^+ U' {% @/ r& fMultiplicative additive linear logic algebras
# q: t+ e1 |' b0 r$ a3 }' @Multiplicative lattices
, ?8 w) M. [9 }6 V& hMultiplicative semilattices
( I) J9 B6 B8 m+ i: gMultisets
) V( F ~3 P* H- F) V o# AMV-algebras
. X2 F" m8 ~& E- Z' ONeardistributive lattices
" M8 O8 M, W$ XNear-rings4 f( G+ r" g5 C5 a* D. }9 h1 x9 g
Near-rings with identity6 }' p' U6 o" A4 F# I+ g; A
Near-fields3 q8 f, j+ x# P* [
Nilpotent groups
& c* G) ]/ c5 q4 K0 lNonassociative relation algebras' N: t4 n9 c8 A- ^4 O! k
Nonassociative algebras& Y2 h6 C3 J6 I& d& q2 D
Normal bands
0 w2 g1 R. N0 r* ANormal valued lattice-ordered groups& t- w$ V& H' ^3 u
Normed vector spaces
( @5 Z/ S9 H" M- A) M2 y) E0 WOckham algebras a1 o% K) h+ p; F, `0 S9 p
Order algebras5 l/ [2 V* Q |* [2 y! H- e
Ordered abelian groups3 ?1 f; b+ b4 x/ c: N' |6 |/ X
Ordered fields. @5 y# a6 L2 \! D1 C' P
Ordered groups5 g8 }3 M, @! M
Ordered monoids7 H' f7 f8 Z x5 o* M. q
Ordered monoids with zero8 q2 O. P; M$ d0 j7 f: e, Z4 s
Ordered rings: x' O* }& F0 h! c7 n6 ]0 I- u
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
) Y' \) \8 I! L* ROrdered semilattices, Finite ordered semilattices! N& T+ R/ t6 k+ _* R* }
Ordered sets
1 Q" E6 n: {) z* LOre domains+ ?2 {+ b( O9 d- ]; n5 W
Ortholattices
' Y7 d+ F8 K& N9 g( n* zOrthomodular lattices
; _5 F% D+ ?$ }p-groups& m: t% m% [0 U3 q( T
Partial groupoids
. D( b' x( Z1 F/ X+ nPartial semigroups# ~! P! y& Q" F B& p$ F
Partially ordered groups7 O' p: {1 M/ h/ b p/ y
Partially ordered monoids( w+ v1 N# X4 m; e, r2 Z) Z* v$ k
Partially ordered semigroups" L& b% q2 c* r8 U8 J
Partially ordered sets) c, z; f) Z& ~8 t
Peirce algebras
- j! [- V7 q. C1 I( y4 MPocrims8 t% V3 W! \! e: o
Pointed residuated lattices, r+ R) ~4 E7 ~' q9 U: E, q* q2 p
Polrims+ {4 U5 \: X- }* E; M4 u. F' H
Polyadic algebras( r" }2 |) g( n7 L, d
Posets- {% [+ \9 m$ a0 Q! _1 E
Post algebras
# r( o$ X2 t! R2 h3 gPreordered sets7 w4 E$ N2 Y) Y! d7 d7 m. d4 \! \
Priestley spaces
- R. m, ]' {6 V: C# e6 U3 `7 V: LPrincipal Ideal Domains
5 P( i9 v# i. h5 b# |Process algebras: P$ G" {/ a0 \5 q. {& V1 L: b, Y. f
Pseudo basic logic algebras- K2 L+ z% M% F) x6 W0 g$ U
Pseudo MTL-algebras$ z% n: e9 [+ ? g. ^8 Z; B
Pseudo MV-algebras
; q z# b1 K5 f2 q1 PPseudocomplemented distributive lattices/ V f+ f$ t7 [$ @0 N3 D) @
Pure discriminator algebras& h9 e C7 r' l) o
Quantales
6 M+ H+ y& F. T; B& k' @( r6 CQuasigroups7 e1 b+ n+ h- Q5 M$ n2 `7 [8 Q/ d9 m
Quasi-implication algebras4 z" }) g4 g& p
Quasi-MV-algebra( {2 h. D3 ~- c* i) G
Quasi-ordered sets
' V) |& d: s- I5 T9 S: eQuasitrivial groupoids
- X; b9 u4 C8 p2 t, yRectangular bands( h+ `1 {/ d- K6 H4 d/ t1 g6 H6 C9 c
Reflexive relations7 |, F1 E4 v: A$ z6 n: x5 ]% e8 ]) E
Regular rings/ ? R, `% F: \
Regular semigroups9 l+ b' e, q9 t* d
Relation algebras
* D W& |- {- E- B) }: URelative Stone algebras( D, g/ g1 P4 k& o/ G0 y5 a/ I
Relativized relation algebras: g6 T; Q. N+ C! C, U
Representable cylindric algebras: ^: g& O+ }! s: ^
Representable lattice-ordered groups: p4 |# p0 R" y& O
Representable relation algebras
8 K. H1 L' p- BRepresentable residuated lattices6 X' g$ U, X- O" K J" R
Residuated idempotent semirings" P5 o0 U) j& l; t0 {; B
Residuated lattice-ordered semigroups
( a7 [. G# v# VResiduated lattices
. B; |2 l3 m$ w, [Residuated partially ordered monoids: s# l: H ^) l# i
Residuated partially ordered semigroups" @. e! f) D q6 l1 m
Rings" P2 `; H$ Z1 j$ _/ L; V
Rings with identity" V2 S% Z/ \* T [( q1 e1 w
Schroeder categories# o4 s7 T% l5 n2 A# D& j
Semiassociative relation algebras
9 W# L! C9 J* V0 DSemidistributive lattices- N+ e" k$ c6 E
Semigroups, Finite semigroups2 \+ d7 |- Q. ?9 ^" x" p ~) Q6 l& p
Semigroups with identity# o7 t: ?: Y7 T/ |
Semigroups with zero, Finite semigroups with zero8 q$ D# W9 R9 y, @
Semilattices, Finite semilattices) t) s* [; E* W X; |
Semilattices with identity, Finite semilattices with identity
3 k# D& F9 v+ R: _Semilattices with zero0 u4 K! N r0 J; Q3 X1 O0 c* o
Semirings, x0 ~+ l( G" z* |% y% p# K$ b
Semirings with identity, l% V- q1 K5 V5 b6 S0 l
Semirings with identity and zero
. v7 v, x/ q% k% JSemirings with zero$ U2 l1 G% m+ m4 r7 Z( Z
Sequential algebras: |8 Y. e2 D: [. U5 D/ M, I6 ]9 Y
Sets
3 D. I# X; B" ]) u; O3 Y p5 l6 CShells" {. H- Y/ g7 Z. O3 U' M
Skew-fields0 j- b4 ?! m4 n2 U8 D0 I
Skew_lattices
( R. Z0 t$ \. J+ P1 S; ySmall categories
% T" X7 T$ I5 Q# {) |/ tSober T0-spaces1 W8 @9 J& f E; ]* i+ O+ x, G* z; ~
Solvable groups0 Q* U, F; S) z5 j/ r8 }$ ]% F
Sqrt-quasi-MV-algebras6 e$ V+ v0 O5 k# S: p( d8 a) {/ p
Stably compact spaces- i8 [4 [" X! i& Y4 B
Steiner quasigroups
& }7 A; q0 P( A. q: |Stone algebras. m; L, N% z0 z: ?
Symmetric relations" a$ j' k& Q3 X# a
T0-spaces
) f& ^0 I; J% }5 LT1-spaces
: w+ _8 k3 i; Z8 c: Y0 W: NT2-spaces
$ ` G/ ~, A/ }! {) yTarski algebras+ W9 y& { {, o& ~
Tense algebras
: Y" [; }1 k$ v: QTemporal algebras
u, h4 M: e! H8 \, `6 c0 |2 t1 yTopological groups( Y0 |. e/ e: Y6 c
Topological spaces1 g3 T0 N8 a' H( O3 d+ ~' e( b
Topological vector spaces
; l' \' ]% ~4 p2 s7 pTorsion groups
8 {% b. z& U! n% P7 |Totally ordered abelian groups
: M' z6 H/ o: F, B; N& QTotally ordered groups
8 `) E/ a$ J' [. c4 H5 s( F5 ~Totally ordered monoids
) h3 W, Q, d3 _; F+ u, F' MTransitive relations
: f! q' q7 [/ [1 L% U. O$ b2 DTrees1 j4 v: \& F" z4 ?
Tournaments
3 Z/ p7 A# j" jUnary algebras
) U4 R6 G) |4 TUnique factorization domains
& j# _ ^# j# s6 J6 i; [* V2 M! NUnital rings
5 D3 C0 E' ]( N+ b0 KVector spaces( F! c7 A# E) u2 n
Wajsberg algebras
% A, q V# i# P6 ?9 ~! f" k8 ~Wajsberg hoops- G: I6 O, f) X7 f! ~) M
Weakly associative lattices6 p: n4 a/ O" U% _
Weakly associative relation algebras3 [' b! Z$ `, ~; x; G$ _# Q
Weakly representable relation algebras
9 |4 T& A% M# e$ r9 | |
zan
|