Note Refs Ref by
uniformity
34
3
flossy-test
3
1
constellations
0
0
personal-values
2
0
sets-zfc
13
201
topology
3
124
iff
1
79
finite
3
64
logic-propositional-logic
8
61
closed-under
1
56
algebra-structure
9
53
cats-category
7
52
logic-structure
2
42
haskell-definedness
6
41
logic-formula
8
40
logic-language
5
38
groups-group
13
37
logic-theory
7
37
injective-surjective-bijective
3
35
min-max-im-im-al-um
4
35
logic-compactness
21
34
cyclic-permutation
8
29
fixpoint-combinator
2
29
logic-terms
7
29
permutation-parity
8
29
subspace-topology
2
27
topology-continuity
8
27
operation
2
25
sets-cardinal
15
25
tag-list
15
25
with-respect-to
12
25
equivalence
16
24
logic-types
18
24
topology-basis
7
20
uniqueness
5
20
group-action
7
18
metric
5
18
44890328491720367785r
4
17
closures-and-completions
22
17
linear-function
1
17
encoding
3
16
covering
1
15
linear-ordering
6
15
topology-hausdorff
7
15
93088761842928594743r
5
14
algebra-associativity
2
14
connected
6
14
computable
0
13
diagrams
8
13
neighborhood
4
13
tfae
0
13
random-variable
4
12
04938674431657742918r
2
11
88382438277620604993r
4
10
first-order-logic
8
10
sets-partition
4
10
transitive-set
1
10
22454901005260214948r
6
9
42007523468419960371r
5
9
55747561966312973342r
2
9
jmt
1
9
pbty-sample-space
4
9
26505536951323012224r
4
8
logic-elementary-substructure
11
8
monoid
5
8
open-closed-covering
3
8
order-topology
6
8
partial-ordering
9
8
substructure
6
8
symmetric-group
8
8
topology-bounded
2
8
52580779258918716980r
5
7
59787026677368057344r
3
7
directed-set
3
7
logic-category-of-models
9
7
logic-prime-atomic
7
7
modular-arithmetic
8
7
preorder
3
7
13584614557664389747r
11
6
47622182053428143447r
5
6
50527763406387074062r
2
6
92644847594282241900r
6
6
filter
3
6
gcd
6
6
intersects
1
6
limit-point
4
6
topology-closed
6
6
units-of-a-ring
1
6
05896888068727733066r
8
5
17585316824778456850r
3
5
60372579009283072058r
5
5
82589597827656748033r
8
5
98089623624978073863r
3
5
algebra-ring
7
5
elementary-equivalent
6
5
groups-grp
15
5
paracompact
8
5
permutation
9
5
sets-well-ordering
10
5
subgroup
1
5
03910413241277448564r
2
4
30506936048726716341r
1
4
50428202841339748302r
11
4
63539230636868238489r
4
4
69491766979365445539r
4
4
93574049696516882363r
2
4
98025561483595702087r
0
4
fixpoint
2
4
groups-cayleys-thm
16
4
linear-map
3
4
ordering-relation
12
4
pbty-expected-value
5
4
relation
5
4
topology-box-topology
8
4
ultrafilter
10
4
26765389546028819023r
3
3
44392307899023707796r
4
3
55672731295428381442r
1
3
57719600818903414435r
6
3
61823417527171115599r
4
3
65201755536811636630r
2
3
65765904693739714967r
3
3
84829579404222920571r
0
3
86475686911021806567r
6
3
ac0
11
3
coprime
3
3
cycle-decomposition
12
3
epsilon-ball
2
3
group-action-orbit
7
3
groups-dihedral-group
6
3
inclusion-function
1
3
logic-categorical
7
3
logic-universal-formula
6
3
magma
3
3
sets-axiom-of-choice
5
3
sets-ordinal
6
3
topology-clopen
3
3
topology-path-connected
2
3
02515669414632623465r
3
2
09806320521906302621r
6
2
11254024355277576031r
0
2
18459013869377224982r
3
2
40188333195252339235r
2
2
45740777747768179723r
2
2
60381989299720350276r
7
2
62570998126896904426r
3
2
63084951297804294940r
3
2
64055162410919246043r
3
2
64615889197637028076r
5
2
67685964973299609277r
5
2
73551791745827068982r
11
2
78863422648135385470r
3
2
83349988328802175134r
3
2
85920788166968343126r
1
2
87335810540020913513r
7
2
89097370806105077612r
4
2
92665576244699242719r
6
2
93049051752326823377r
6
2
93739643003338445965r
8
2
99105250480479402945r
1
2
bezouts-identity
4
2
binary-symmetric-channel
1
2
cofinite
3
2
dense-ordering
2
2
gcd-smallest-linear-combination
5
2
group-coset
11
2
group-stabilizer
6
2
groups-additive-order
4
2
idempotent
1
2
logic-definable
6
2
logic-types-topology
14
2
logic-ultraproduct
16
2
monoids-alt-old
15
2
multiplicative-groups-of-integers
14
2
probability-space
3
2
rado-graph
9
2
tarski-vaught-test
5
2
topology-boundary
5
2
topology-compactification
8
2
topology-converges-uniformly
4
2
topology-finite-product-topology
8
2
topology-isolated
2
2
topology-uniformly-continuous
4
2
03488909920381267698r
5
1
05668695102619544207r
2
1
11854508583294260104r
9
1
15398186475231096140r
2
1
16659617551360076615r
2
1
21945158989296189620r
3
1
22932965526458701742r
2
1
26997408142048715613r
2
1
33165465342897486345r
6
1
38025068987426347854r
0
1
53671270133241241886r
1
1
54596813847878478009r
7
1
58416535405789220165r
1
1
58803973631400751874r
2
1
59161551757886316999r
6
1
59418182846446194661r
4
1
59463847616457883659r
4
1
64501667788023824340r
12
1
66521532335792187673r
1
1
67949398764691053088r
4
1
68263999241221610449r
0
1
74416287163813783560r
3
1
77539667438979025562r
5
1
84340440812889543398r
1
1
86590526454913555439r
4
1
87812511468602723724r
6
1
88908530653537998120r
4
1
89683034191998182905r
1
1
90457129233726600588r
5
1
90513076693585478065r
1
1
algebra-multiplicative-order
4
1
algebra-unital
4
1
busy-beaver
11
1
cats-slice-category
9
1
countably-locally-finite
2
1
covert-operationality
3
1
euclidean-algorithm
2
1
fiber
1
1
group-element-order
4
1
group-subjects
13
1
groups-alternating-group
6
1
groups-commutative-group
2
1
groups-intro
4
1
ideal-observer-rule
2
1
locally-path-connected
5
1
logic-universal-axiomatization
16
1
magma-homomorphism
3
1
monoid-isomorphism
9
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
16
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
11
1
parametricity
7
1
quantifier-elimination
22
1
sets-segment
1
1
tagged-union
2
1
terminal-object
4
1
topology-interior
3
1
topology-limit-point-compact
3
1
topology-separated-by-a-cont-func
2
1
02919376509503180623r
2
0
03042114674566132031r
6
0
03390019876513390030r
7
0
04686021363052433268r
6
0
05013761137148893070r
4
0
06109252791376307025r
4
0
07794122248289928494r
0
0
08171311384262664682r
4
0
08405978941871500230r
10
0
08732960488101308377r
0
0
08890980799624974173r
4
0
09879995137969037532r
4
0
12152877512561847054r
9
0
15740718262963170727r
2
0
18742058673092520958r
2
0
18936689797941919822r
2
0
21356515367230481501r
5
0
22001904751469439229r
7
0
22423431856042114647r
1
0
23005767753730847835r
2
0
25574521740376112369r
7
0
29195558603518770648r
4
0
30538994919235176292r
5
0
31054463805595531256r
0
0
32751095028652732405r
6
0
32980273196907449162r
5
0
34274375422553894343r
1
0
35314159191589570696r
2
0
35798740496967030417r
7
0
37190117995581568158r
13
0
37296177821012678378r
2
0
37599550788390916273r
4
0
38360015925168797980r
5
0
38727070398207369546r
6
0
41934136995679530042r
4
0
42614730368431224758r
4
0
43164054252597421077r
3
0
43424968921975513373r
4
0
43549745654591744007r
5
0
47230060892604441716r
1
0
47366779347182530983r
4
0
47956844303176100870r
5
0
48515043183684817346r
7
0
48647866403187493577r
12
0
48676883662086724833r
6
0
50293426193546624014r
5
0
50416994544690732227r
4
0
51356226470179821328r
6
0
52648975386338827589r
3
0
53835268549149327654r
2
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
58681055286362784632r
5
0
62523397927489243329r
4
0
67210083936299230684r
1
0
67686943417235316613r
3
0
67880516533282902052r
3
0
67982986969367613960r
1
0
69001896351437265484r
5
0
70912504997525703733r
2
0
71742535032547742979r
11
0
73083908800229770883r
5
0
75534087244337915119r
1
0
75629153094279193991r
6
0
75929978369624599852r
4
0
76251275596394291247r
6
0
78182740240322002984r
6
0
78473169919312035320r
5
0
78738816933962383216r
2
0
78775873501889036246r
5
0
79897372361461373769r
2
0
79930009808598364954r
2
0
79957597605345138233r
2
0
82859226071835595537r
4
0
83743427079506066766r
4
0
84526879436771813636r
3
0
84847520441209450303r
3
0
85042981267825471457r
3
0
85163258500931146096r
3
0
85214886676339087316r
8
0
87368551144702784712r
3
0
89961743486433913169r
2
0
91054561010556502534r
6
0
92005738005477300873r
8
0
92726003181213107500r
2
0
93262164023363167409r
0
0
93332495346731936570r
2
0
94708929554189526632r
5
0
94779059060371810160r
5
0
98717787753906333649r
8
0
ackermann-function
8
0
algebra-F2
2
0
algebra-monoids-alt
12
0
arcane-equality
12
0
arrow-decomposition
1
0
boolean-blindness
2
0
cats-automorphism
5
0
cats-monic-epi
6
0
cauchys-functional-equation
20
0
closure
6
0
coffee-experiment
0
0
compactness-via-ultrafilters
10
0
compute-universal-primrec-func
6
0
decidable
7
0
elementary-class
10
0
elemof-and-isom
7
0
fixpoints-in-haskell
4
0
frobenius-map
9
0
group-direct-product
4
0
group-morphism-kernel
9
0
groups-burnsides-lemma
14
0
haskell-functions-preserve-definedness
2
0
implication
4
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
28
0
linear-subspace
3
0
logic-ahrenfeucht-fraisse-game
14
0
logic-downwards-lowenheim-skolem-thm
7
0
logic-naught-test
7
0
minimum-distance-decoding
2
0
negative-indices-are-wrong
5
0
nonmeasurable-sets
14
0
nonre
9
0
order-top-with-lub
4
0
preorders-as-subsets
4
0
principal-filter
6
0
reality-as-the-terminal-object-in-the-category-of-logics
4
0
satisfies
5
0
scratch
4
0
sets-rank
10
0
sets-transfinite-induction
4
0
smirnov-metrization
6
0
strongly-minimal
4
0
syntheses
15
0
thoughts-on-model-theory
13
0
topology-2nd-countability-preserved-by-subspaces
2
0
topology-Rn-compact-iff-closed-n-bounded
10
0
topology-closed-subspace-of-paracompact-is-paracompact
5
0
topology-closure
7
0
topology-closures-in-subspace-topologies
3
0
topology-cofinite-top
6
0
topology-compact
8
0
topology-connected-sandwich
3
0
topology-connectedness-of-linear-continuums
5
0
topology-connectedness-preserved-by-finite-cart-prod
5
0
topology-convergent-sequences-under-continuous-functions
4
0
topology-equiv-of-regularity-and-normality
7
0
topology-fineness-via-bases
4
0
topology-first-countable
2
0
topology-if-subspace-open-then-openness-inherits-upwards
2
0
topology-lebesgue-number-lemma
4
0
topology-locally-compact-hausdorff-iff-homeomorphic-with-open-subspace-of-compact-hausdorff
7
0
topology-metrizable-spaces-are-paracompact
3
0
topology-open-coverings-of-paracompact-spaces
6
0
topology-order-vs-subspace-topology-on-convex-subset
5
0
topology-sequence-convergence
3
0
topology-urysohn-lemma
7
0
ucb-metamathematics-02
0
0
ucb-metamathematics-03
0
0
ucb-modeltheory-midterm
18
0
ucb-settheory-05
0
0
ucb-settheory-06
0
0
ucb-settheory-08
2
0
ucb-settheory-09
10
0
ucb-settheory-10
0
0
ucb-settheory-11
10
0
union-of-model-chain
11
0
upward-lowenheim-skolem-thm
8
0
why-is-inheritance-bad
14
0