- 在线时间
- 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
 |
! f- E7 V$ R8 w% L9 P
: b, {2 v+ C* a* L
Abelian groups Abelian group) W9 |6 `# e4 R9 Z% d
Abelian lattice-ordered groups1 l- Z! o, L$ D: N
Abelian ordered groups% R3 s4 P/ _) p
Abelian p-groups
4 J% A- k5 j# f8 y$ Z. u, dAbelian partially ordered groups6 C5 O8 c# t% X1 {9 k; _
Action algebras Action algebra
! u1 Q* G( z Q5 c! {' F9 t6 ]Action lattices
1 d3 B: y J5 uAlgebraic lattices8 T& M7 I ], j! d V" g) }
Algebraic posets Algebraic poset) ^4 }9 g4 a; l* y/ @: L
Algebraic semilattices2 A. L4 w3 T+ I; j- q
Allegories Allegory (category theory)
1 _3 @ e6 W& r H4 l+ Y8 BAlmost distributive lattices
5 |: V9 H$ `) X& Z: U4 xAssociative algebras Associative algebra. k3 F9 g5 d( P
Banach spaces Banach space( [* g( E( T% i1 ~" E$ g, U
Bands Band (mathematics), Finite bands; _" G# T) g/ p/ e+ C. Q
Basic logic algebras
8 ]- L" b" [- m6 ?BCI-algebras BCI algebra
# a2 S" N! I4 Y( Q8 E1 b/ SBCK-algebras BCK algebra7 h" {# e7 T3 ~4 l* h, [9 `
BCK-join-semilattices
, M+ J; X! I0 `BCK-lattices# o% J5 y( U8 G4 D" O; W! g4 D
BCK-meet-semilattices' D, b! c! ?2 w! J o* D1 `
Bilinear algebras) G" d+ `& H( I; |. ^+ V
BL-algebras, h9 a% F* W( F' Y
Binars, Finite binars, with identity, with zero, with identity and zero, 8 r' S. z8 O) ]4 X& e
Boolean algebras Boolean algebra (structure), D& r/ V: S* @ l& V4 S7 U. s8 W
Boolean algebras with operators
5 W7 [ k7 h" M) p. v" SBoolean groups! ]4 W" y/ p7 a' `' [
Boolean lattices
0 q* w5 T' _$ h% sBoolean modules over a relation algebra
- y5 ?: j* _: v3 bBoolean monoids& c3 n% Q7 o& ~) X
Boolean rings
, J6 @' q9 N9 P/ b6 w% I6 F! KBoolean semigroups: S' `- I; M: Y) ?4 a
Boolean semilattices, Y8 Q% P" w3 M( A7 f8 W, m
Boolean spaces5 D* Q! O' c% | t& H' s. ~! g
Bounded distributive lattices
3 U, c( ?' Y) lBounded lattices
. j1 E! ]2 E$ h. \8 {5 u1 @Bounded residuated lattices; d* c7 o; X+ ]; C+ b9 O: w8 o ?. \) s
Brouwerian algebras
& v# m7 L7 I- ]' X7 PBrouwerian semilattices$ u2 f8 Y5 m' B/ e* o/ I9 q
C*-algebras& Z+ l6 P9 w! b# p
Cancellative commutative monoids
/ z) F* C4 ]7 i# ICancellative commutative semigroups
8 Q O0 u7 _. ]% DCancellative monoids
! l! ~. a3 B! c* |) E6 {$ UCancellative semigroups9 b+ s2 `' {7 a
Cancellative residuated lattices
: t& P& ^. ?4 }; fCategories j/ M9 W& ~; e! T' a- C6 a3 {% c
Chains
' E u( E9 R; z& A7 LClifford semigroups: g2 m: {# e( {' |, o% s# V; o" `
Clifford algebras
+ ]( I; o4 S7 t( k, {Closure algebras
7 ^ p& O) ~% @. uCommutative BCK-algebras
: K: D% l: \# x( V0 D' x: \Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero 1 L9 i) Y8 \( V: z* `
commutative integral ordered monoids, finite commutative integral ordered monoids6 J m, ]' A6 s5 t$ M4 d( O
Commutative inverse semigroups) I/ W1 L9 N5 E+ U/ l$ C4 c1 ~# C; B
Commutative lattice-ordered monoids$ y! n+ m1 O7 _2 U- T+ k
Commutative lattice-ordered rings* k1 x- l) e C! D
Commutative lattice-ordered semigroups
4 @1 x1 F" z6 T* i" w& V& WCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero+ s. {! Y: e9 p* K" I# y8 f
Commutative ordered monoids$ D2 b( D2 m, x# y7 u8 y8 e! B
Commutative ordered rings
( T/ T6 t# d4 D; y. f) ]) y$ gCommutative ordered semigroups, Finite commutative ordered semigroups9 z& I2 o% Y7 z& n
Commutative partially ordered monoids
9 s* w$ ^ D5 l) y6 B0 JCommutative partially ordered semigroups
, Z- n1 d+ u& yCommutative regular rings
: V: q& f0 x) e* f+ O; LCommutative residuated lattice-ordered semigroups8 r6 r! t1 x0 Z4 o+ I
Commutative residuated lattices
. F5 y- A& L- gCommutative residuated partially ordered monoids
/ x) i' S9 e4 \, pCommutative residuated partially ordered semigroups8 S0 \& j( Y+ e0 M) K" o* i) B' _
Commutative rings
( b1 q! R; {( zCommutative rings with identity. O) c5 _* M1 Z% }3 W
Commutative semigroups, Finite commutative semigroups, with zero$ |! p+ e5 e" ` F
Compact topological spaces
2 T% E8 I# `" F5 O. jCompact zero-dimensional Hausdorff spaces
& V; h# h7 O b/ U9 Z4 zComplemented lattices- |* `* V& f% J3 T
Complemented distributive lattices
3 X) m, [ r# F! ?8 aComplemented modular lattices
3 T( M% C1 S C7 `3 ZComplete distributive lattices
# z/ O6 p1 p3 Z( s4 d. [, PComplete lattices
1 q/ t7 ~& n( \/ E( D( uComplete semilattices; J/ t4 I1 F+ S* s. w. {7 m
Complete partial orders
! n/ b& [0 U$ \) _: cCompletely regular Hausdorff spaces* {( n! o3 {' X. q( l7 |- Q$ J1 U0 ?
Completely regular semigroups
2 H" n G9 {5 AContinuous lattices6 S* a& ]- |( O$ D t, y. T* X
Continuous posets
& k `, B W$ M% x0 aCylindric algebras
8 u; m9 S$ e! I0 E+ _De Morgan algebras& k; S9 r7 c6 t3 I' x
De Morgan monoids
' \3 K; e) W1 R. ZDedekind categories
7 ~5 y( V }, i7 m; \) \; zDedekind domains5 |2 i& o4 J: z( ^) j3 p' }+ e
Dense linear orders
: e2 x4 [+ A8 w0 n" _- QDigraph algebras- z6 x+ M5 M! B8 _' t$ M
Directed complete partial orders9 a! X( h# f% R1 L
Directed partial orders& i' c% y4 i" X5 W0 ?
Directed graphs9 n) y! l" E$ M5 ?
Directoids5 D7 [7 S ?" G& ?) `4 w
Distributive allegories
& m! j0 ?, G) g( w: aDistributive double p-algebras0 Z6 R( U7 x- n3 A V
Distributive dual p-algebras4 V2 \/ R" y# W5 _3 b0 `
Distributive lattice expansions
. e Q; x" Y3 D3 q# r6 |, ^8 _Distributive lattices
* l8 v, u% |4 Q5 a6 D1 I: RDistributive lattices with operators
. v8 `( g) [' y5 x+ zDistributive lattice ordered semigroups* R, ~1 U( B4 w: o
Distributive p-algebras; h8 [# n: K. q! n) l {$ G8 Z
Distributive residuated lattices
" j7 i" h) ]% Q( XDivision algebras
8 ~2 H' L0 B7 Q4 j$ XDivision rings
8 b- i3 C- F2 v" N2 o" {* {$ QDouble Stone algebras- f2 W. n h( Y$ b3 l5 x
Dunn monoids3 ]9 w5 s: \% {
Dynamic algebras
0 H( h$ h5 c* p' a: EEntropic groupoids
L& X9 m5 B' t$ NEquivalence algebras
8 a; n$ m. P! z" g% D1 KEquivalence relations
: K6 m! M9 s, d% kEuclidean domains
2 S1 q0 q0 a7 K2 E6 e. m' jf-rings) o; W4 G0 L) Y; l& N. M! o% P
Fields
% s* W/ B" o/ ~9 @' T- XFL-algebras8 }% }- J5 ?2 q* O, d
FLc-algebras
" g% e' `: i/ }4 I. zFLe-algebras t. }' ^# x/ k0 Z [: ?0 R
FLew-algebras: v$ [8 j0 h; Z
FLw-algebras6 Z" L& \" t7 a4 ~1 Q" w8 f
Frames
) A6 I, i4 K8 b0 r0 l- B1 MFunction rings
6 x9 C1 O& _* V* kG-sets
W+ b% P2 l( c" g& XGeneralized BL-algebras; C" u U; m- X: ?2 B
Generalized Boolean algebras
2 c9 g: Q, c9 D ~& a6 RGeneralized MV-algebras1 [& B/ m0 w# T! T& c
Goedel algebras
2 ]; B. n g# d" I' A$ ]0 @Graphs
9 s; n0 }( [$ k6 W" ]6 l6 @, \Groupoids
7 B4 z" S: ~: i: Q( c2 q* HGroups# j& }1 `4 W( C- N( Y8 {4 w
Hausdorff spaces( d& h8 m) }1 T
Heyting algebras9 M& m# Z/ J8 [
Hilbert algebras7 a. c8 J; F% x; q: Z; a
Hilbert spaces
9 \3 x+ `# @: |3 k" r3 |0 O4 v8 `Hoops
4 N6 U {0 s7 ]# V s% t1 wIdempotent semirings
% ~. m4 @- Q. g6 w/ Z, q4 ^Idempotent semirings with identity9 I7 m5 }& u! ^+ {* u3 Y
Idempotent semirings with identity and zero. m9 A' ]; G& x5 ?& v& ?
Idempotent semirings with zero
" [/ k% k+ a$ {# S8 TImplication algebras
% _" c7 H* H0 A; j nImplicative lattices
( [/ o8 u4 F3 {, ^+ ?7 bIntegral domains
* e0 x' L2 b6 m" U; H4 k9 B* ^# S4 gIntegral ordered monoids, finite integral ordered monoids* @/ e* t0 w- c3 j2 w3 }
Integral relation algebras
0 ?& D# ?$ b+ pIntegral residuated lattices8 h; U. k, s2 j( D6 u
Intuitionistic linear logic algebras
7 ?" t0 \3 Q* BInverse semigroups
3 q; M# H, y; w6 T D% t+ W. {Involutive lattices0 q# g$ `& b# q) k* H; q3 U
Involutive residuated lattices4 u2 B* R, A" K# A8 \
Join-semidistributive lattices4 u' L$ T* k+ L% f9 U- q8 X
Join-semilattices
$ L6 z0 w7 j6 ~( g1 e7 LJordan algebras9 v, o. j. a. [ L
Kleene algebras" ?* ~# j& F" K: p: w9 O% {
Kleene lattices: u/ i; k! L" {8 n* I' a
Lambek algebras4 I/ M* |- `1 k
Lattice-ordered groups
; Y' b* m0 w8 t# B; s$ ^6 x$ eLattice-ordered monoids
3 k: l, R0 T3 t" y( T3 e, E! l5 F4 ALattice-ordered rings4 p4 W: e5 @% r
Lattice-ordered semigroups
: M3 {, b; y! f$ GLattices% U1 t% Y5 \2 j c5 E* T0 w/ e
Left cancellative semigroups& `4 ]5 I9 v9 Z3 L4 L% _
Lie algebras { D. C. r5 E2 {6 z, l W q
Linear Heyting algebras
! F6 Y& g/ D( H }: G xLinear logic algebras, O+ K: h/ Q# [ b3 i* g! }
Linear orders
; Y1 v: |$ @5 k: e, WLocales5 S" w8 K3 _; Z4 Y2 w: t8 C
Locally compact topological spaces
' i/ |* A/ o% P& x$ hLoops% |5 N) `% l' U
Lukasiewicz algebras of order n) m2 V$ G0 @% c- o9 }, r5 E
M-sets
' F0 g; O0 ]8 w/ O) d+ c2 AMedial groupoids
, Q# n5 X0 i6 T& I4 E0 aMedial quasigroups
. q$ `2 S( ^/ \3 uMeet-semidistributive lattices$ N+ q6 z" n& w. T8 O+ @
Meet-semilattices
8 s. B6 h6 r, [Metric spaces( ]* M8 A+ i* k5 M
Modal algebras
! ]; d. ^+ A* w) t6 X$ o, xModular lattices) W) @; g- o5 A& s. \ H2 q: e1 \
Modular ortholattices
6 a# g& d, W; ], r- m1 \6 aModules over a ring
s H/ | [4 w4 l) r; s! N! CMonadic algebras9 J) `& p; u5 i! s/ \2 b) |6 C
Monoidal t-norm logic algebras1 g# D! k) u( |1 r, a) G, `; w
Monoids, Finite monoids, with zero/ M5 U6 P! w- H
Moufang loops
0 |9 ^: |; I$ k& S. X9 aMoufang quasigroups
* C, [) N' `: p" SMultiplicative additive linear logic algebras
3 ?" C$ X3 l5 I% VMultiplicative lattices8 m# L0 G& ^5 \9 L% a+ E* k, F
Multiplicative semilattices
+ a9 U4 o- k" Q1 f' ~& JMultisets
$ [3 t, d7 W: n, EMV-algebras
2 a; L: H ^+ \+ _Neardistributive lattices
' ?+ q9 t, H& r1 Q, b$ k, f* h0 ?Near-rings
1 u' r" w4 a" ~ hNear-rings with identity
( _" {/ x1 F% d9 k$ u& \2 {Near-fields+ w- T+ L2 {$ i6 w9 ?, t
Nilpotent groups2 y1 w6 s5 D" U, I
Nonassociative relation algebras0 t: G0 @1 _! m+ f
Nonassociative algebras
: y1 f t, n8 m6 A4 l/ a" TNormal bands% A; g' O% }& v/ s; _
Normal valued lattice-ordered groups+ ~* B- F0 X/ c$ V
Normed vector spaces
# v% k7 s8 c! e vOckham algebras$ r B* j1 R; _3 p9 {5 X0 x. G. T& z
Order algebras) i2 {; @7 B+ \5 E5 O( y
Ordered abelian groups% ], B. V: `' k1 j8 o$ q
Ordered fields
" p/ J. E2 h IOrdered groups
" _4 ]3 f" l( OOrdered monoids& i) r2 z/ R; Z; [7 c
Ordered monoids with zero- x {4 T1 w& }
Ordered rings J8 O2 K {, J, p# i
Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
% d8 F0 u. N3 ~/ LOrdered semilattices, Finite ordered semilattices
1 m" Y& r4 P/ c% zOrdered sets4 @! i) y" J* m
Ore domains
3 B9 D9 Y `1 F& \2 FOrtholattices
; `% N, H* Z* x! o% I$ vOrthomodular lattices
+ U9 n7 ^6 C2 d9 M- \p-groups
) e, d+ @. Z3 g2 n SPartial groupoids
v6 J' x; U8 K" k& MPartial semigroups
6 Q8 Q! a+ [' wPartially ordered groups& T6 v5 Y" J% t, A, \; H
Partially ordered monoids! K" D$ q `, b7 F- N- Z" Y& E3 }. Z
Partially ordered semigroups
/ j! ^% r$ B# iPartially ordered sets8 j8 O2 p Q. P& x4 ^2 x( J
Peirce algebras( H7 c z$ S( C$ ^0 y, _7 |
Pocrims; o, o- l9 {9 [; k* w/ m) r# }4 _/ q% v
Pointed residuated lattices
+ N3 l6 i$ y9 R: {& y- M1 i }5 ?Polrims
; z! {6 K2 j' v# M4 RPolyadic algebras1 K% M! s$ s) R. {8 J- o
Posets
" J' D. D+ e6 kPost algebras
2 m/ U/ t, T$ @* {( zPreordered sets
/ v* l) T0 A; B/ _7 MPriestley spaces7 e' C u+ z# C) o6 A0 g2 P
Principal Ideal Domains1 M4 z% r) q3 f* i6 j; x
Process algebras, Q7 y$ B/ F7 S5 n
Pseudo basic logic algebras
% F7 ^% x8 r" c9 n) G8 ePseudo MTL-algebras+ A9 t' X0 F* d' z
Pseudo MV-algebras
# L1 h* M4 l4 }Pseudocomplemented distributive lattices- |( M8 }& u! p# C+ i" r: f
Pure discriminator algebras
0 a& }" X' @& e* sQuantales
6 l% ?4 w; W( r0 O% q* P) |/ D$ TQuasigroups
+ d0 Z8 c. E$ s; |1 Q# Y! xQuasi-implication algebras
. X8 a7 |# O0 GQuasi-MV-algebra9 M5 B* [( `, F
Quasi-ordered sets/ ~6 x( a- T: V X/ d. X
Quasitrivial groupoids5 c7 u4 L' Y* [! o8 B9 Z9 e
Rectangular bands
% k. M4 q% E: VReflexive relations( j& i- b( y4 T. C6 Y! F
Regular rings9 B$ G! g6 Q+ _3 J% s) v
Regular semigroups
& T$ P3 L/ F9 wRelation algebras
4 U% D; x" L7 pRelative Stone algebras9 z7 x( G7 A9 h5 a. \9 G; K: z
Relativized relation algebras" I0 @9 [5 k: i: t( Z8 A- e$ K; c
Representable cylindric algebras* M* v, G- `' r0 x0 a0 c0 l1 {
Representable lattice-ordered groups, [3 \+ V6 g6 A- u
Representable relation algebras
6 K3 [& @5 x. W1 Y7 e) t( l( eRepresentable residuated lattices
9 E( x5 q! X3 m* C# N2 NResiduated idempotent semirings
, s. a6 B; E2 ~5 A+ J3 w4 o# sResiduated lattice-ordered semigroups6 ^2 c X# F. q; V. f; y
Residuated lattices
& n8 z/ b! w6 O+ i+ lResiduated partially ordered monoids
$ u( S' i9 v3 o2 S# vResiduated partially ordered semigroups. D/ D! m% T' K. Z
Rings
! L( D, m$ R- a7 KRings with identity
) D' ?+ @( d# F% \3 wSchroeder categories
B% E8 L& T0 v: b$ z/ a! J$ T7 r8 s" }Semiassociative relation algebras6 i; U! A8 Q# {- u1 C6 \ |3 p2 c
Semidistributive lattices+ p! m6 s* H1 q7 L
Semigroups, Finite semigroups
+ \5 [. e3 t3 s7 WSemigroups with identity, n$ P, `4 p9 R! R
Semigroups with zero, Finite semigroups with zero! ^0 {- x; S+ E+ @
Semilattices, Finite semilattices6 i. e; d/ K3 Q
Semilattices with identity, Finite semilattices with identity" k# c% x8 a1 z& J3 z! N+ e
Semilattices with zero
- U3 z S N$ t" X! cSemirings a. b' M3 e9 f. {
Semirings with identity
- Y8 T( d1 t" s Z; j7 xSemirings with identity and zero, J( M/ @3 f, C! L: c' F) W
Semirings with zero
9 p; ~0 S1 d+ ?) r! \Sequential algebras
. U" E. Q* d W) b9 {& rSets
* Y% Y& m8 S2 c/ JShells
6 W& L( _9 a6 [2 `+ Y% e5 A' `' _Skew-fields
/ e( F* o( F0 p6 j# V7 c# Y/ NSkew_lattices* c' W7 S, c2 B" p
Small categories* F9 A }) u6 R4 V, }- J( h
Sober T0-spaces
, @" U1 ^ h; VSolvable groups5 \- g8 |3 y) |: k, ?" A# N
Sqrt-quasi-MV-algebras( o. h" i6 \( ?# w
Stably compact spaces
9 O% @; O" p% [ t; p: p) dSteiner quasigroups
; f) B- H! `) k2 U/ [, cStone algebras
0 @0 a* G& q" P# N+ Q7 eSymmetric relations
) U3 N2 j( s/ ]& [; OT0-spaces# A* M2 W! B1 i' V+ u! T/ W
T1-spaces
2 z" K6 J0 _# Z/ K! _0 a. j( {T2-spaces/ Z: v8 x) |- I
Tarski algebras5 h) O1 s T! G% S, x( u
Tense algebras: H! E( A% t' t" B
Temporal algebras4 t1 d! j; } O$ `9 Y- W* L- G' }
Topological groups E4 }: m5 U0 G
Topological spaces
# E0 u7 a7 z' D7 A, KTopological vector spaces
) x1 {' o# D% D1 lTorsion groups: x$ P3 s; o7 n2 c
Totally ordered abelian groups
+ G9 p. F4 E8 Z% B& n" oTotally ordered groups
* n3 K) v5 ^- b! [0 G. HTotally ordered monoids- B6 o/ g* U$ j: V$ t
Transitive relations! j. J9 g0 D% s& @: x( e. S
Trees7 M- Y C2 ~, v8 l
Tournaments
7 ?2 K6 L, c$ C& kUnary algebras
) u/ l$ r$ V6 q" N0 Q! C tUnique factorization domains3 W; K: u; i) A6 v4 A/ d" v4 v
Unital rings
2 L$ _0 q+ T2 K) @& `9 S: R7 `Vector spaces
& M; I; S# M" S1 |* K' [/ bWajsberg algebras
7 A3 [9 v3 X* W: K. {& ZWajsberg hoops( e1 e* \# c+ q( J6 a
Weakly associative lattices
# U) w$ S3 G9 d8 B3 dWeakly associative relation algebras- T, [$ ?% p5 L( j
Weakly representable relation algebras8 H: K6 R, ^/ |5 ?! z7 x: J
|
zan
|
IP卡
狗仔卡
发表于 2012-1-12 13:19
转播
淘帖
分享
收藏
支持
反对
微信
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
抢沙发
显身卡
