Note Refs Ref by
welcome
⭐⭐⭐⭐
2
0
distributive-laws-conceptualization
⭐⭐⭐
20
0
groups-cayleys-thm
⭐⭐
17
4
pullback-pushforward
⭐⭐
5
1
on-cxxxx
⭐⭐
4
0
haskell-russells-paradox
⭐⭐
0
0
constellations
⭐⭐
0
0
arcane-equality
⭐⭐
12
0
uniformity
37
5
flossy-test
4
1
minesweeper-math
17
0
sets-zfc
15
211
topology
3
119
iff
1
80
finite
3
70
logic-propositional-logic
8
62
algebra-structure
8
61
closed-under
1
56
haskell-definedness
6
46
logic-theory
7
43
logic-structure
2
42
min-max-im-im-al-um
4
41
logic-formula
8
41
logic-language
6
40
groups-group
12
40
injective-surjective-bijective
3
38
cats-category
11
38
with-respect-to
15
35
logic-compactness
21
34
logic-types
18
33
cyclic-permutation
8
32
fixpoint-combinator
2
31
permutation-parity
9
30
logic-terms
7
30
topology-subspace.z
2
28
equivalence
17
27
topology-continuity
7
26
tag-list
14
26
sets-cardinal
14
26
operation
2
25
cats-isomorphism
3
25
com-computably-enumerable
13
23
uniqueness
6
22
group-action
7
22
com-computable
10
22
linear-function
1
20
topology-basis
7
18
metric
5
17
diagrams
8
17
closures-and-completions
23
16
topology-hausdorff
8
15
com-index
9
15
algebra-associativity
2
15
44890328491720367785r
4
15
covering
1
14
connected
7
14
tfae
0
13
neighborhood
3
13
com-turing-machine
4
13
cats-product-category
2
13
93088761842928594743r
6
13
random-variable
4
12
topology-bounded
2
11
sets-partition
4
10
jmt
1
10
first-order-logic
8
10
88382438277620604993r
3
10
55747561966312973342r
2
10
04938674431657742918r
2
10
transitive-set
1
9
topology-net
11
9
substructure
6
9
pbty-sample-space
4
9
monoid
4
9
22454901005260214948r
6
9
symmetric-group
8
8
order-topology
6
8
open-closed-covering
3
8
modular-arithmetic
8
8
logic-prime-atomic
7
8
logic-elementary-substructure
11
8
linear-ordering
6
8
preorder
3
7
logic-category-of-models
10
7
com-recursive
6
7
com-encoding
12
7
52580779258918716980r
5
7
26505536951323012224r
4
7
units-of-a-ring
1
6
intersects
1
6
groups-grp
16
6
gcd
6
6
directed-set
4
6
cats-natural-transformation
6
6
algebra-ring
6
6
92644847594282241900r
6
6
47622182053428143447r
6
6
13584614557664389747r
11
6
topology-closed
6
5
sets-well-ordering
11
5
permutation
8
5
paracompact
8
5
logic-categorical
8
5
limit-point
4
5
groups-subgroup
1
5
filter
3
5
elementary-equivalent
6
5
com-universal-tm
3
5
cats-endo-auto
2
5
98089623624978073863r
4
5
60372579009283072058r
5
5
17585316824778456850r
3
5
05896888068727733066r
8
5
ultrafilter
10
4
topology-first-countable
2
4
topology-box-topology
8
4
source-bcc
3
4
relation
5
4
pbty-expected-value
5
4
ordering-relation
12
4
linear-map
3
4
inclusion-function
1
4
hamming-distance
0
4
fixpoint
2
4
cats-monic-epic
24
4
cats-functor
10
4
93574049696516882363r
2
4
82589597827656748033r
8
4
50428202841339748302r
13
4
topology-clopen
3
3
tagged-union
2
3
source-ggcc
0
3
sets-segment
1
3
sets-ordinal
7
3
sets-axiom-of-choice
6
3
rado-graph
10
3
magma
3
3
groups-dihedral-group
6
3
group-action-orbit
7
3
cycle-decomposition
12
3
coprime
3
3
ac0
11
3
84829579404222920571r
0
3
83349988328802175134r
3
3
65765904693739714967r
2
3
65201755536811636630r
2
3
61823417527171115599r
4
3
57719600818903414435r
6
3
topology-uniformly-continuous
4
2
topology-path-connected
2
2
topology-isolated
2
2
topology-finite-product-topology
8
2
topology-converges-uniformly
5
2
topology-compactification
7
2
topology-boundary
5
2
tarski-vaught-test
5
2
quantifier-elimination
21
2
probability-space
3
2
partial-ordering
10
2
multiplicative-groups-of-integers
14
2
logic-ultraproduct
17
2
logic-types-topology
14
2
logic-definable
7
2
idempotent
1
2
groups-commutative-group
2
2
groups-additive-order
4
2
group-stabilizer
6
2
group-coset
10
2
gcd-smallest-linear-combination
5
2
epsilon-ball
2
2
dense-ordering
2
2
cofinite
3
2
binary-symmetric-channel
1
2
bezouts-identity
3
2
algebra-unital
3
2
99105250480479402945r
2
2
93049051752326823377r
6
2
92665576244699242719r
6
2
89097370806105077612r
4
2
86475686911021806567r
6
2
78863422648135385470r
2
2
74416287163813783560r
3
2
73551791745827068982r
12
2
67685964973299609277r
5
2
64055162410919246043r
3
2
63084951297804294940r
1
2
62570998126896904426r
3
2
55672731295428381442r
2
2
44392307899023707796r
3
2
40188333195252339235r
2
2
11254024355277576031r
0
2
09806320521906302621r
6
2
03910413241277448564r
2
2
02515669414632623465r
3
2
what-is-a-group
4
1
topology-separated-by-a-cont-func
2
1
topology-limit-point-compact
3
1
topology-interior
3
1
time-to-think
3
1
the-trainable-cat
3
1
the-book
3
1
terminal-object
4
1
telling-more-than-we-can-know
2
1
skolems-paradox
16
1
seven-sketches
9
1
proofs-and-refutations
4
1
parametricity
8
1
logic-universal-formula
6
1
logic-universal-axiomatization
17
1
is-a-line-really-composed-of-points
1
1
ideal-observer-rule
2
1
groups-alternating-group
6
1
group-subjects
14
1
group-element-order
3
1
fiber
1
1
euclidean-algorithm
1
1
einsteins-dreams
2
1
covert-operationality
4
1
countably-locally-finite
2
1
consolations
1
1
com-padding-lemma
9
1
com-halting-set
3
1
com-computably-inseparable
5
1
cats-slice-category
10
1
busy-beaver
11
1
algebra-multiplicative-order
4
1
ackermann-function
7
1
90513076693585478065r
1
1
90457129233726600588r
5
1
89683034191998182905r
1
1
88908530653537998120r
4
1
87812511468602723724r
5
1
86590526454913555439r
2
1
85920788166968343126r
1
1
84340440812889543398r
1
1
75534087244337915119r
1
1
68263999241221610449r
0
1
67949398764691053088r
3
1
64501667788023824340r
12
1
59463847616457883659r
4
1
59418182846446194661r
4
1
59161551757886316999r
6
1
58803973631400751874r
2
1
58416535405789220165r
1
1
54596813847878478009r
6
1
53671270133241241886r
1
1
38025068987426347854r
0
1
33165465342897486345r
6
1
26997408142048715613r
2
1
22932965526458701742r
2
1
21945158989296189620r
3
1
16659617551360076615r
2
1
03488909920381267698r
4
1
why-is-inheritance-bad
13
0
upward-lowenheim-skolem-thm
8
0
union-of-model-chain
10
0
ucb-settheory-11
10
0
ucb-settheory-10
0
0
ucb-settheory-09
11
0
ucb-settheory-08
2
0
ucb-settheory-06
0
0
ucb-settheory-05
0
0
ucb-modeltheory-midterm
18
0
ucb-metamathematics-b-02
14
0
ucb-metamathematics-b-01
19
0
ucb-metamathematics-03
0
0
ucb-metamathematics-02
0
0
ucb-catthy-01
13
0
topology-urysohn-lemma
7
0
topology-uniform-metric
6
0
topology-support
4
0
topology-sequence-convergence
4
0
topology-Rn-compact-iff-closed-n-bounded
9
0
topology-order-vs-subspace-topology-on-convex-subset
5
0
topology-open-coverings-of-paracompact-spaces
7
0
topology-metrizable-spaces-are-paracompact
3
0
topology-locally-compact-hausdorff-iff-homeomorphic-with-open-subspace-of-compact-hausdorff
7
0
topology-lebesgue-number-lemma
4
0
topology-if-subspace-open-then-openness-inherits-upwards
2
0
topology-fineness-via-bases
4
0
topology-equiv-of-regularity-and-normality
7
0
topology-convergent-sequences-under-continuous-functions
5
0
topology-connectedness-preserved-by-finite-cart-prod
5
0
topology-connectedness-of-linear-continuums
5
0
topology-connected-sandwich
3
0
topology-compact
8
0
topology-cofinite-top
6
0
topology-closures-in-subspace-topologies
2
0
topology-closure
7
0
topology-closed-subspace-of-paracompact-is-paracompact
5
0
topology-2nd-countability-preserved-by-subspaces
2
0
thoughts-on-model-theory
14
0
syntheses
14
0
strongly-minimal
4
0
smirnov-metrization
6
0
sets-transfinite-induction
4
0
sets-rank
10
0
scratch
5
0
satisfies
5
0
reality-as-the-terminal-object-in-the-category-of-logics
4
0
principal-filter
6
0
preorders-as-subsets
4
0
orders-as-graphs
8
0
order-top-with-lub
4
0
nonre
11
0
nonmeasurable-sets
14
0
negative-indices-are-wrong
2
0
monoid-isomorphism
10
0
minimum-distance-decoding
2
0
magma-homomorphism
3
0
logic-naught-test
8
0
logic-implication
4
0
logic-downwards-lowenheim-skolem-thm
7
0
logic-ahrenfeucht-fraisse-game
15
0
linear-subspace
4
0
lang
29
0
justified-true-belief
1
0
J3p193-194
0
0
J3p190-192
0
0
J3p189
0
0
J3p187-188
0
0
J3p184-186
0
0
J3p183
0
0
J3p168-182
0
0
J3p167
0
0
J3p166
0
0
J3p165
0
0
J3p136-164
0
0
J3p127-135
0
0
J3p126
0
0
J3p121-125
0
0
J3p120
0
0
J3p119
0
0
J3p114-118
0
0
J3p106-113
0
0
J3p099-105
0
0
J3p098
0
0
J3p093-097
0
0
J3p092
0
0
J3p091
0
0
J3p090
0
0
J3p089
0
0
J3p088
0
0
J3p057-087
0
0
J3p056
0
0
J3p055
0
0
J3p054
0
0
J3p053
0
0
J3p045-052
0
0
J3p044
0
0
J3p040-043
0
0
J3p039
0
0
J3p038
0
0
J3p036-037
0
0
J3p035
0
0
J3p033-034
0
0
J3p032
0
0
J3p031
0
0
J3p026-030
0
0
J3p023-025
0
0
J3p003-022
0
0
J3p001-002
0
0
J2p171-172
0
0
J2p169-170
0
0
J2p168
0
0
J2p164-167
0
0
J2p163
0
0
J2p158-162
0
0
J2p157
0
0
J2p156
0
0
J2p155
0
0
J2p154
0
0
J2p151-153
0
0
J2p150
0
0
J2p148-149
0
0
J2p147
0
0
J2p144-146
0
0
J2p143
0
0
J2p142
0
0
J2p141
0
0
J2p139-140
0
0
J2p138
0
0
J2p131-137
0
0
J2p130
0
0
J2p129
0
0
J2p128
0
0
J2p127
0
0
J2p126
0
0
J2p125
0
0
J2p124
0
0
J2p123
0
0
J2p113-122
0
0
J2p111-112
0
0
J2p110
0
0
J2p109
0
0
J2p106-108
0
0
J2p105
0
0
J2p104
0
0
J2p097-103
0
0
J2p096
0
0
J2p095
0
0
J2p094
0
0
J2p090-093
0
0
J2p089
0
0
J2p088
0
0
J2p087
0
0
J2p086
0
0
J2p085
0
0
J2p084
0
0
J2p082-083
0
0
J2p081
0
0
J2p080
0
0
J2p079
0
0
J2p078
0
0
J2p077
0
0
J2p076
0
0
J2p075
0
0
J2p074
0
0
J2p073
0
0
J2p071-072
0
0
J2p070
0
0
J2p067-069
0
0
J2p064-066
0
0
J2p061-063
0
0
J2p060
0
0
J2p059
0
0
J2p057-058
0
0
J2p056
0
0
J2p054-055
0
0
J2p053
0
0
J2p052
0
0
J2p051
0
0
J2p050
0
0
J2p049
0
0
J2p045-048
0
0
J2p044
0
0
J2p043
0
0
J2p039-042
0
0
J2p038
0
0
J2p036-037
0
0
J2p035
0
0
J2p034
0
0
J2p033
0
0
J2p031-032
0
0
J2p027-030
0
0
J2p018-026
0
0
J2p017
0
0
J2p004-016
0
0
J2p003
0
0
J2p002
0
0
J2p001
0
0
induction-recursion
7
0
haskell-functions-preserve-definedness
2
0
groups-orbit-stabilizer-thm
11
0
groups-burnsides-lemma
12
0
group-morphism-kernel
8
0
group-direct-product
4
0
frobenius-map
9
0
fixpoints-in-haskell
4
0
elemof-and-isom
8
0
elementary-class
10
0
dmils
2
0
decidable
8
0
compute-universal-primrec-func
5
0
compactness-via-ultrafilters
10
0
com-s-m-n-thm
5
0
com-rices-thm
4
0
com-reducibility
14
0
com-cannot-enumerate-total-computable-functions
3
0
coffee-experiment
0
0
closure
6
0
cauchys-functional-equation
20
0
cats-opposite-category
6
0
cats-functor-category
3
0
cats-duality
1
0
boolean-blindness
3
0
automorphism-group
6
0
arrow-decomposition
1
0
algebra-monoids-alt
10
0
algebra-F2
2
0
98717787753906333649r
8
0
94779059060371810160r
6
0
94708929554189526632r
5
0
93332495346731936570r
2
0
93262164023363167409r
0
0
92726003181213107500r
2
0
92005738005477300873r
8
0
91054561010556502534r
6
0
89961743486433913169r
2
0
85214886676339087316r
8
0
85163258500931146096r
3
0
85042981267825471457r
3
0
84526879436771813636r
4
0
82859226071835595537r
4
0
79957597605345138233r
1
0
79930009808598364954r
2
0
79897372361461373769r
2
0
78775873501889036246r
3
0
78738816933962383216r
2
0
78473169919312035320r
5
0
78182740240322002984r
6
0
77539667438979025562r
5
0
76251275596394291247r
6
0
75929978369624599852r
3
0
75629153094279193991r
6
0
73083908800229770883r
5
0
71742535032547742979r
11
0
70912504997525703733r
2
0
69001896351437265484r
5
0
67982986969367613960r
1
0
67880516533282902052r
3
0
67686943417235316613r
3
0
67210083936299230684r
1
0
58257171305547709211r
4
0
57823300556550100594r
2
0
57620786326662203227r
2
0
56470354597102245616r
5
0
56306772026051307266r
4
0
54163183028311901191r
4
0
54150922190185154663r
1
0
53835268549149327654r
2
0
52648975386338827589r
3
0
51356226470179821328r
5
0
50416994544690732227r
4
0
50293426193546624014r
5
0
48676883662086724833r
6
0
48515043183684817346r
7
0
47956844303176100870r
5
0
47366779347182530983r
3
0
47230060892604441716r
0
0
43549745654591744007r
5
0
43424968921975513373r
4
0
43164054252597421077r
3
0
42614730368431224758r
4
0
41934136995679530042r
4
0
38727070398207369546r
6
0
38360015925168797980r
5
0
37599550788390916273r
4
0
37296177821012678378r
2
0
37190117995581568158r
13
0
35798740496967030417r
7
0
35314159191589570696r
2
0
34274375422553894343r
1
0
32980273196907449162r
5
0
32751095028652732405r
6
0
31054463805595531256r
0
0
30538994919235176292r
5
0
29195558603518770648r
4
0
25574521740376112369r
7
0
23005767753730847835r
2
0
21356515367230481501r
5
0
18936689797941919822r
2
0
18742058673092520958r
1
0
15740718262963170727r
2
0
15398186475231096140r
2
0
12152877512561847054r
9
0
09879995137969037532r
4
0
08890980799624974173r
4
0
08732960488101308377r
0
0
08405978941871500230r
10
0
08171311384262664682r
4
0
07794122248289928494r
0
0
06109252791376307025r
4
0
05668695102619544207r
3
0
05013761137148893070r
4
0
03042114674566132031r
6
0
02919376509503180623r
2
0