Note ⭐ Refs Ref by
welcome
⭐⭐⭐⭐
2
0
distributive-laws-conceptualization
⭐⭐⭐
24
1
groups-cayleys-thm
⭐⭐
18
5
pullback-pushforward
⭐⭐
5
3
on-cxxxx
⭐⭐
5
0
haskell-russells-paradox
⭐⭐
0
0
constellations
⭐⭐
0
0
arcane-equality
⭐⭐
12
0
adt-differentiation
⭐⭐
14
0
uniformity
⭐
38
9
flossy-test
⭐
5
1
busy-beaver
⭐
12
1
topology-via-grazing
⭐
23
0
syntheses
⭐
16
0
minesweeper-math
⭐
20
0
extrusive-posets
⭐
46
0
delta-types
⭐
34
0
sets-zfc
15
183
iff
2
73
algebra-structure
8
68
cats-category
11
66
logic-propositional-logic
8
64
finite
4
58
cats-equivalent
14
56
min-max-im-im-al-um
6
54
topology
3
52
injective-surjective-bijective
3
52
haskell-definedness
7
51
logic-formula
8
50
logic-theory
7
49
logic-structure
2
47
logic-language
8
46
groups-group
12
46
with-respect-to
15
42
logic-types
19
42
fixpoint-combinator
2
40
cats-isomorphism
3
38
closed-under
2
37
group-action
7
36
com-computably-enumerable
16
35
uniqueness
6
33
permutation-parity
9
33
logic-terms
7
33
operation
3
32
equivalence
17
31
cats-initial-terminal
11
31
diagrams
9
29
cats-full-faithful
9
29
tag-list
14
28
com-computable
10
27
cyclic-permutation
8
26
cats-representable
14
26
sets-cardinal
13
25
com-index
9
23
linear-function
1
21
cats-functor
13
20
closures-and-completions
22
18
witness
1
17
algebra-associativity
3
17
cats-natural-transformation
24
16
logic-compactness
22
15
cats-limit
6
15
topology-continuity
7
14
symmetric-group
8
13
sets-partition
4
13
com-minimal-index
7
13
cats-product-category
2
13
88382438277620604993r
4
13
transitive-set
1
12
com-turing-machine
4
12
linear-ordering
6
11
first-order-logic
8
11
com-encoding
12
11
cats-monoid
5
11
topology-net
11
10
preorder
3
10
com-universal-tm
3
10
tfae
1
9
cats-concrete-category
2
9
units-of-a-ring
1
8
substructure
6
8
permutation
9
8
modular-arithmetic
9
8
covering
1
8
cats-zigzag
3
8
cats-monic-epic
24
8
topology-subspace.z
1
7
topology-bounded
3
7
pbty-sample-space
5
7
logic-elementary-substructure
13
7
jmt
1
7
groups-grp
15
7
com-recursive
5
7
sets-well-ordering
11
6
metric
5
6
logic-prime-atomic
8
6
inclusion-function
1
6
fixpoint
3
6
elementary-equivalent
7
6
directed-set
4
6
sets-axiom-of-choice
7
5
ordering-relation
11
5
neighborhood
3
5
linear-map
3
5
groups-subgroup
1
5
cats-endo-auto
2
5
topology-hausdorff
10
4
tagged-union
2
4
sets-segment
1
4
sets-ordinal
7
4
random-variable
4
4
partial-ordering
10
4
logic-categorical
8
4
group-action-orbit
7
4
gcd
6
4
filter
3
4
dense-ordering
2
4
cats-slice-category
10
4
algebra-unital
3
4
ultrafilter
12
3
topology-finite-product-topology
6
3
topology-converges-uniformly
4
3
source-ggcc
0
3
source-bcc
3
3
rado-graph
10
3
paracompact
6
3
open-closed-covering
3
3
magma
3
3
logic-types-topology
14
3
logic-definable
7
3
logic-category-of-models
11
3
indicator-function
2
3
groups-dihedral-group
5
3
cycle-decomposition
12
3
cats-cone
5
3
cats-category-of-elements
10
3
algebra-ring
6
3
proofs-and-refutations
3
2
pbty-expected-value
5
2
multiplicative-groups-of-integers
14
2
idempotent
1
2
groups-commutative-group
3
2
groups-additive-order
5
2
group-stabilizer
6
2
group-coset
10
2
gcd-smallest-linear-combination
5
2
fiber
1
2
coprime
3
2
com-rogers-fixpoint-thm
2
2
com-padding-lemma
9
2
com-computably-inseparable
6
2
cofinite
3
2
cats-skeleton
25
2
cats-constant-functor
5
2
bezouts-identity
3
2
ac0
12
2
92665576244699242719r
4
2
83349988328802175134r
2
2
what-is-a-group
4
1
topology-uniformly-continuous
4
1
topology-separated-by-a-cont-func
2
1
topology-isolated
2
1
topology-interior
3
1
topology-first-countable
1
1
topology-clopen
3
1
topology-box-topology
6
1
time-to-think
4
1
the-trainable-cat
4
1
the-book
4
1
telling-more-than-we-can-know
2
1
tarski-vaught-test
6
1
skolems-paradox
16
1
seven-sketches
33
1
quantifier-elimination
23
1
probability-space
3
1
probability-measure.z
3
1
parametricity
8
1
order-topology
5
1
monoid
4
1
logic-universal-formula
6
1
logic-ultraproduct
19
1
is-a-line-really-composed-of-points
2
1
intersects
1
1
hamming-distance
0
1
groups-alternating-group
6
1
group-subjects
16
1
group-element-order
3
1
group-direct-product
4
1
euclidean-algorithm
1
1
einsteins-dreams
2
1
covert-operationality
4
1
consolations
2
1
com-halting-set
3
1
cats-whiskering
2
1
cats-groupoid
2
1
cats-functor-category
3
1
cats-adjunction
6
1
binary-symmetric-channel
0
1
arrow-decomposition
2
1
algebra-multiplicative-order
5
1
68263999241221610449r
0
1
67685964973299609277r
4
1
38025068987426347854r
1
1
why-is-inheritance-bad
12
0
vague-notes
6
0
upward-lowenheim-skolem-thm
8
0
union-of-model-chain
10
0
ucb-settheory-11
11
0
ucb-settheory-10
0
0
ucb-settheory-09
12
0
ucb-settheory-08
2
0
ucb-settheory-06
0
0
ucb-settheory-05
0
0
ucb-metamathematics-b-06
21
0
ucb-metamathematics-b-05
22
0
ucb-metamathematics-b-04
19
0
ucb-metamathematics-b-03
19
0
ucb-metamathematics-b-02
24
0
ucb-metamathematics-b-01
23
0
ucb-metamathematics-03
0
0
ucb-metamathematics-02
0
0
ucb-catthy-07
11
0
ucb-catthy-06
27
0
ucb-catthy-05
18
0
ucb-catthy-04
18
0
ucb-catthy-03
19
0
ucb-catthy-02
13
0
ucb-catthy-01
12
0
topology-urysohn-lemma
6
0
topology-uniform-metric
5
0
topology-support
4
0
topology-sequence-convergence
4
0
topology-path-connected
1
0
topology-open-coverings-of-paracompact-spaces
7
0
topology-locally-compact-hausdorff-iff-homeomorphic-with-open-subspace-of-compact-hausdorff
5
0
topology-limit-point-compact
3
0
topology-fineness-via-bases
3
0
topology-convergent-sequences-under-continuous-functions
5
0
topology-connectedness-preserved-by-finite-cart-prod
5
0
topology-connected-sandwich
3
0
topology-compact
7
0
topology-cofinite-top
6
0
topology-closures-in-subspace-topologies
2
0
topology-closed-subspace-of-paracompact-is-paracompact
5
0
topology-2nd-countability-preserved-by-subspaces
1
0
thoughts-on-model-theory
14
0
terminal-object
4
0
strongly-minimal
4
0
smirnov-metrization
4
0
shitpost
0
0
sets-transfinite-induction
3
0
sets-rank
14
0
sets-elemof-and-isom.z
8
0
scratch
2
0
satisfies
5
0
reality-as-the-terminal-object-in-the-category-of-logics
3
0
quotient-set
4
0
principal-filter
6
0
preorders-as-subsets
4
0
orders-as-graphs
8
0
order-top-with-lub
4
0
nonmeasurable-sets
14
0
negative-indices-are-wrong
2
0
natural-transformations-in-set
14
0
monoid-isomorphism
13
0
minimum-distance-decoding
2
0
math-what-wasnt-taught
25
0
magma-homomorphism
3
0
logic-universal-axiomatization
18
0
logic-naught-test
8
0
logic-implication
4
0
logic-downwards-lowenheim-skolem-thm
7
0
logic-ahrenfeucht-fraisse-game
16
0
linear-subspace
3
0
lang
34
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
ideal-observer-rule
2
0
haskell-functions-preserve-definedness
2
0
groups-orbit-stabilizer-thm
12
0
groups-burnsides-lemma
12
0
group-morphism-kernel
8
0
frobenius-map
7
0
fixpoints-in-haskell
4
0
epsilon-ball
3
0
english-epiphanies
4
0
elementary-class
10
0
dmils
4
0
decidable
8
0
countably-locally-finite
2
0
compute-universal-primrec-func
4
0
compactness-via-ultrafilters
10
0
com-s-m-n-thm
5
0
com-rices-thm
4
0
com-reducibility
16
0
com-pa-undecidable
10
0
com-kleenes-recursion-thm
4
0
com-cannot-enumerate-total-computable-functions
3
0
com-arithmetic-hierarchy
11
0
coffee-experiment
0
0
closure
6
0
chebysheffs-inequality
1
0
cauchys-functional-equation
22
0
cats-yoneda
7
0
cats-opposite-category
7
0
cats-essentially-small
2
0
cats-essentially-discrete
2
0
cats-duality
1
0
boolean-blindness
3
0
automorphism-group
6
0
algebra-monoids-alt
12
0
algebra-F2
1
0
91054561010556502534r
6
0
67210083936299230684r
1
0
57620786326662203227r
3
0
37296177821012678378r
2
0
35314159191589570696r
2
0
31054463805595531256r
0
0
2023-03-17-diagrammatic-proofs
7
0
18936689797941919822r
2
0
18742058673092520958r
1
0
08732960488101308377r
0
0
07794122248289928494r
0
0
05668695102619544207r
4
0
04
12
0
03042114674566132031r
5
0
03
9
0
02
17
0
01
9
0