Note Refs Ref by
closures-and-completions
21
14
cayleys-theorem
15
4
intro-to-groups
4
1
cauchys-functional-equation
21
0
coffee-experiment
0
0
constellations
0
0
monoids-alt
11
0
personal-values
2
0
zfc
10
183
topology
3
117
iff
1
71
finite
3
54
algebraic-structure
7
42
fol-theory
7
41
fol-structure
2
39
haskell-definedness
5
36
group
12
35
propositional-logic
8
34
fol-language
5
33
closed-set
6
32
closed-under
1
30
compact
8
29
fol-formula
8
28
fol-terms
7
28
injective-surjective-bijective
3
28
subspace-topology
2
27
topological-continuity
9
27
fixpoint-combinator
2
25
cyclic-permutation
7
24
tag-list
17
24
permutation-parity
7
23
equivalence
13
21
topological-basis
8
21
operation
2
18
uniqueness
5
18
44890328491720367785r
4
17
maximal-minimal
2
17
group-action
7
16
wrt
3
16
54209741804924341108r
2
15
covering
1
15
connected
6
14
hausdorff
7
14
category
4
13
encoding
3
13
neighborhood
4
13
38382785189373196224r
10
12
associativity
2
12
computable
0
12
linear-function
1
12
linear-ordering
6
12
random-variable
4
12
04938674431657742918r
2
11
88382438277620604993r
3
10
22454901005260214948r
6
9
55747561966312973342r
2
9
diagrams
8
9
26505536951323012224r
4
8
42007523468419960371r
5
8
79846320612324599578r
3
8
monoid
4
8
open-closed-covering
3
8
order-topology
5
8
sample-space
3
8
symmetric-group
8
8
tfae
0
8
52580779258918716980r
5
7
59787026677368057344r
3
7
directed-set
3
7
partial-ordering
5
7
preorder
3
7
47622182053428143447r
4
6
50527763406387074062r
2
6
92644847594282241900r
6
6
first-order-logic
7
6
gcd
6
6
intersects
1
6
limit-point
4
6
modular-arithmetic
8
6
permutation
8
6
set-partition
4
6
transitive-set
1
6
05896888068727733066r
8
5
13584614557664389747r
11
5
17585316824778456850r
3
5
60372579009283072058r
5
5
82589597827656748033r
8
5
98089623624978073863r
3
5
L-embedding
7
5
elementary-substructure
7
5
filter
3
5
grp
14
5
paracompact
8
5
ring
6
5
subgroup
1
5
substructure
6
5
03910413241277448564r
2
4
23171834537117666200r
8
4
30506936048726716341r
1
4
32902958784300153840r
2
4
50428202841339748302r
12
4
63539230636868238489r
4
4
69491766979365445539r
4
4
93088761842928594743r
5
4
93574049696516882363r
2
4
98025561483595702087r
0
4
cardinality
14
4
epsilon-ball
2
4
expected-value
5
4
ordering-relation
11
4
relation
4
4
universal-formula
6
4
09904757559882872062r
2
3
26765389546028819023r
3
3
44392307899023707796r
4
3
55672731295428381442r
1
3
57719600818903414435r
6
3
61823417527171115599r
4
3
65201755536811636630r
2
3
65765904693739714967r
4
3
84829579404222920571r
0
3
93049051752326823377r
6
3
axiom-of-choice
1
3
coprime
2
3
cycle-decomposition
10
3
dihedral-group
6
3
elementary-equivalent
6
3
fixpoint
2
3
fol-compactness
21
3
idempotent
1
3
linear-map
3
3
magma
3
3
ultrafilter
11
3
02515669414632623465r
4
2
09806320521906302621r
4
2
11254024355277576031r
1
2
18459013869377224982r
3
2
29787762068918350480r
2
2
32166683689465156368r
2
2
40188333195252339235r
2
2
41716554339157676995r
1
2
45740777747768179723r
2
2
54596813847878478009r
6
2
60118411451295606939r
4
2
60381989299720350276r
7
2
62570998126896904426r
3
2
63084951297804294940r
3
2
64055162410919246043r
3
2
64615889197637028076r
5
2
67479998040867409098r
2
2
67685964973299609277r
4
2
73551791745827068982r
11
2
85920788166968343126r
1
2
86475686911021806567r
6
2
87335810540020913513r
8
2
89097370806105077612r
4
2
92665576244699242719r
5
2
93739643003338445965r
8
2
99105250480479402945r
1
2
additive-order
4
2
bezouts-identity
3
2
clopen-set
3
2
compactification
7
2
functional-track
8
2
gcd-smallest-linear-combination
5
2
group-action-orbit
7
2
group-coset
9
2
group-stabilizer
6
2
inclusion-function
1
2
monoids-alt-old
14
2
multiplicative-groups-of-integers
13
2
03488909920381267698r
5
1
05668695102619544207r
2
1
11854508583294260104r
7
1
15398186475231096140r
2
1
16659617551360076615r
2
1
18063191453646215807r
2
1
21945158989296189620r
3
1
22932965526458701742r
2
1
26997408142048715613r
2
1
33165465342897486345r
6
1
35449239762681227947r
3
1
38025068987426347854r
0
1
39538742258498373072r
4
1
42324265095392411833r
3
1
53141204366209586274r
2
1
53671270133241241886r
1
1
53835268549149327654r
3
1
57251227770139002134r
4
1
58416535405789220165r
1
1
58803973631400751874r
2
1
59161551757886316999r
6
1
59418182846446194661r
3
1
59463847616457883659r
4
1
60623047365241070887r
6
1
64501667788023824340r
11
1
66521532335792187673r
1
1
67949398764691053088r
5
1
68263999241221610449r
0
1
71245785497884670924r
4
1
74416287163813783560r
3
1
77539667438979025562r
5
1
78863422648135385470r
2
1
82490817692684589540r
2
1
83349988328802175134r
3
1
84340440812889543398r
1
1
86590526454913555439r
4
1
87812511468602723724r
5
1
88908530653537998120r
4
1
89683034191998182905r
1
1
90457129233726600588r
5
1
90513076693585478065r
1
1
98073821046197532767r
2
1
alternating-group
6
1
boundary
5
1
busy-beaver
10
1
categorical
8
1
commutative-group
2
1
covert-operationality
3
1
definable
6
1
euclidean-algorithm
1
1
fiber
1
1
group-element-order
3
1
group-subjects
12
1
limit-point-compact
3
1
locally-path-connected
5
1
magma-homomorphism
3
1
multiplicative-order
5
1
consolations
1
1
einsteins-dreams
2
1
is-a-line-really-composed-of-points
1
1
proofs-and-refutations
4
1
seven-sketches
8
1
skolems-paradox
12
1
telling-more-than-we-can-know
2
1
the-book
2
1
the-trainable-cat
2
1
time-to-think
3
1
orbit-stabilizer-theorem
10
1
parametricity
6
1
preorders-as-subsets
4
1
structural-strength
28
1
tagged-union
2
1
tarski-vaught-test
5
1
terminal-object
4
1
ultraproduct
15
1
unital
3
1
well-ordering-principle
0
1
02919376509503180623r
2
0
03042114674566132031r
6
0
03293411789800846257r
2
0
03390019876513390030r
7
0
04686021363052433268r
6
0
05013761137148893070r
4
0
06109252791376307025r
4
0
07794122248289928494r
0
0
08171311384262664682r
4
0
08405978941871500230r
9
0
08732960488101308377r
0
0
08890980799624974173r
4
0
09879995137969037532r
4
0
11459198799266855092r
2
0
12152877512561847054r
8
0
15740718262963170727r
1
0
18742058673092520958r
1
0
18936689797941919822r
2
0
19214909041985626132r
7
0
19613219472064135899r
4
0
21356515367230481501r
5
0
22001904751469439229r
8
0
22423431856042114647r
1
0
23005767753730847835r
2
0
25574521740376112369r
7
0
28419910110091384329r
4
0
29195558603518770648r
4
0
30538994919235176292r
5
0
31054463805595531256r
0
0
32751095028652732405r
6
0
32980273196907449162r
5
0
34274375422553894343r
1
0
35010953398895407628r
3
0
35314159191589570696r
2
0
35798740496967030417r
7
0
37190117995581568158r
13
0
37296177821012678378r
2
0
37486587033706327510r
2
0
37599550788390916273r
4
0
38360015925168797980r
5
0
38727070398207369546r
7
0
41934136995679530042r
4
0
42614730368431224758r
4
0
43164054252597421077r
3
0
43424968921975513373r
4
0
43549745654591744007r
5
0
46169257318181350885r
4
0
47230060892604441716r
1
0
47366779347182530983r
4
0
47956844303176100870r
5
0
48515043183684817346r
7
0
48647866403187493577r
11
0
48676883662086724833r
6
0
50293426193546624014r
5
0
50305252395089172749r
3
0
50416994544690732227r
4
0
51356226470179821328r
6
0
52648975386338827589r
3
0
54150922190185154663r
1
0
54163183028311901191r
4
0
55792792588297568393r
4
0
56306772026051307266r
4
0
56470354597102245616r
6
0
57620786326662203227r
2
0
57823300556550100594r
2
0
58257171305547709211r
4
0
58617935528680362335r
2
0
58681055286362784632r
5
0
62523397927489243329r
4
0
64027332197512337047r
6
0
64069243940742606232r
4
0
65566489669663489936r
2
0
67210083936299230684r
1
0
67686943417235316613r
3
0
67880516533282902052r
3
0
67982986969367613960r
1
0
69001896351437265484r
5
0
70912504997525703733r
2
0
71742535032547742979r
9
0
73083908800229770883r
5
0
75534087244337915119r
1
0
75629153094279193991r
6
0
75929978369624599852r
5
0
76251275596394291247r
4
0
78182740240322002984r
6
0
78473169919312035320r
5
0
78738816933962383216r
2
0
78775873501889036246r
5
0
79216890894167780624r
7
0
79897372361461373769r
2
0
79930009808598364954r
2
0
79957597605345138233r
2
0
80271398406442582950r
2
0
81636967853165159320r
3
0
82859226071835595537r
4
0
83013971848038095405r
3
0
83743427079506066766r
4
0
84526879436771813636r
3
0
84847520441209450303r
3
0
85042981267825471457r
3
0
85163258500931146096r
3
0
85214886676339087316r
8
0
86809195302886386555r
3
0
87368551144702784712r
3
0
89117614934332298474r
6
0
89466158775511522536r
1
0
89961743486433913169r
2
0
91054561010556502534r
4
0
92005738005477300873r
8
0
92726003181213107500r
2
0
93262164023363167409r
0
0
93332495346731936570r
2
0
94708929554189526632r
5
0
94779059060371810160r
5
0
98717787753906333649r
9
0
98918922730812555689r
3
0
F2
2
0
ackermann-function
8
0
arcane-equality
9
0
arrow-decomposition
1
0
burnsides-lemma
13
0
closure
6
0
compactness-via-ultrafilters
11
0
decidable
7
0
downward-lowenheim-skolem-thm
7
0
elementary-class
10
0
fixpoints-in-haskell
3
0
r-shakshuka
0
0
group-direct-product
3
0
group-morphism-kernel
8
0
haskell-functions-preserve-definedness
2
0
implication
2
0
induction-recursion
7
0
J2p001
0
0
J2p002
0
0
J2p003
0
0
J2p004-016
0
0
J2p017
0
0
J2p018-026
0
0
J2p027-030
0
0
J2p031-032
0
0
J2p033
0
0
J2p034
0
0
J2p035
0
0
J2p036-037
0
0
J2p038
0
0
J2p039-042
0
0
J2p043
0
0
J2p044
0
0
J2p045-048
0
0
J2p049
0
0
J2p050
0
0
J2p051
0
0
J2p052
0
0
J2p053
0
0
J2p054-055
0
0
J2p056
0
0
J2p057-058
0
0
J2p059
0
0
J2p060
0
0
J2p061-063
0
0
J2p064-066
0
0
J2p067-069
0
0
J2p070
0
0
J2p071-072
0
0
J2p073
0
0
J2p074
0
0
J2p075
0
0
J2p076
0
0
J2p077
0
0
J2p078
0
0
J2p079
0
0
J2p080
0
0
J2p081
0
0
J2p082-083
0
0
J2p084
0
0
J2p085
0
0
J2p086
0
0
J2p087
0
0
J2p088
0
0
J2p089
0
0
J2p090-093
0
0
J2p094
0
0
J2p095
0
0
J2p096
0
0
J2p097-103
0
0
J2p104
0
0
J2p105
0
0
J2p106-108
0
0
J2p109
0
0
J2p110
0
0
J2p111-112
0
0
J2p113-122
0
0
J2p123
0
0
J2p124
0
0
J2p125
0
0
J2p126
0
0
J2p127
0
0
J2p128
0
0
J2p129
0
0
J2p130
0
0
J2p131-137
0
0
J2p138
0
0
J2p139-140
0
0
J2p141
0
0
J2p142
0
0
J2p143
0
0
J2p144-146
0
0
J2p147
0
0
J2p148-149
0
0
J2p150
0
0
J2p151-153
0
0
J2p154
0
0
J2p155
0
0
J2p156
0
0
J2p157
0
0
J2p158-162
0
0
J2p163
0
0
J2p164-167
0
0
J2p168
0
0
J2p169-170
0
0
J2p171-172
0
0
J3p001-002
0
0
J3p003-022
0
0
J3p023-025
0
0
J3p026-030
0
0
J3p031
0
0
J3p032
0
0
J3p033-034
0
0
J3p035
0
0
J3p036-037
0
0
J3p038
0
0
J3p039
0
0
J3p040-043
0
0
J3p044
0
0
J3p045-052
0
0
J3p053
0
0
J3p054
0
0
J3p055
0
0
J3p056
0
0
J3p057-087
0
0
J3p088
0
0
J3p089
0
0
J3p090
0
0
J3p091
0
0
J3p092
0
0
J3p093-097
0
0
J3p098
0
0
J3p099-105
0
0
J3p106-113
0
0
J3p114-118
0
0
J3p119
0
0
J3p120
0
0
J3p121-125
0
0
J3p126
0
0
J3p127-135
0
0
J3p136-164
0
0
J3p165
0
0
J3p166
0
0
J3p167
0
0
J3p168-182
0
0
J3p183
0
0
J3p184-186
0
0
J3p187-188
0
0
J3p189
0
0
J3p190-192
0
0
J3p193-194
0
0
justified-true-belief
1
0
lang
22
0
le-misc-notes
10
0
naught-test
8
0
negative-indices-are-wrong
4
0
nonre
7
0
order-top-with-lub
3
0
order-v-subspace-top-on-convex-subset
5
0
principal-filter
5
0
satisfies
5
0
scratch
0
0
set-of-definable-sets
11
0
shitpost
0
0
smirnov-metrization
6
0
syntheses
13
0
topological-closure
7
0
union-of-model-chain
10
0
universal-axiomatization
15
0
upward-lowenheim-skolem-thm
11
0