Note Refs Ref by
welcome
⭐⭐⭐⭐
2
0
cats-welcome
⭐⭐⭐⭐
6
0
distributive-laws-conceptualization
⭐⭐⭐
25
1
groups-cayleys-thm
⭐⭐
18
6
pullback-pushforward
⭐⭐
5
5
sp24-uniformity
⭐⭐
27
0
orbit-group
⭐⭐
27
0
on-cxxxx
⭐⭐
5
0
haskell-russells-paradox
⭐⭐
0
0
constellations
⭐⭐
0
0
arcane-equality
⭐⭐
12
0
uniformity
41
15
flossy-test
5
1
busy-beaver
12
1
topology-via-grazing
24
0
syntheses
16
0
minesweeper-math
20
0
extrusive-posets
48
0
delta-types
35
0
sets-zfc
16
197
algebra-structure
8
82
logic-propositional-logic
8
78
iff
2
75
cats-category
22
69
min-max-im-im-al-um
6
67
finite
4
64
topology
3
60
cats-equivalent
14
60
haskell-definedness
7
55
group-action
7
55
logic-theory
7
54
injective-surjective-bijective
3
54
logic-formula
8
53
logic-structure
2
52
logic-language
8
50
permutation-parity
10
49
groups-group
12
49
fixpoint-combinator
2
48
logic-types
19
47
with-respect-to
15
45
logic-terms
7
45
com-computably-enumerable
17
45
cats-isomorphism
3
40
uniqueness
6
39
cats-initial-terminal
11
39
closed-under
2
38
operation
3
36
equivalence
20
36
cats-full-faithful
9
36
diagrams
9
33
cats-representable
16
32
tag-list
14
29
cyclic-permutation
8
27
com-index
9
27
com-computable
10
27
sets-cardinal
13
26
linear-function
1
25
cats-functor
27
24
le-rx-g0DX9Q2GcP
2
23
closures-and-completions
22
22
le-rx-qYCk3zY1hQ
8
20
cats-product-category
2
19
88382438277620604993r
4
19
witness
1
18
topology-continuity
7
18
cats-natural-transformation
25
18
algebra-associativity
5
17
cats-limit
6
16
logic-compactness
22
15
symmetric-group
8
14
sets-partition
4
14
le-rx-O3gETm7u0v
0
14
com-minimal-index
7
13
cats-product
12
13
transitive-set
1
12
topology-net
11
12
linear-ordering
6
12
com-turing-machine
4
12
cats-concrete-category
2
12
preorder
3
11
le-rx-UJNMN8g88O
7
11
first-order-logic
8
11
com-universal-tm
3
11
com-encoding
12
11
cats-monoid
5
11
topology-bounded
3
10
permutation
9
10
pbty-sample-space
5
10
le-rx-Hyw4XPkb1X
3
10
groups-grp
17
10
cats-zigzag
3
10
cats-homomorphism
21
10
units-of-a-ring
1
9
tfae
1
9
idempotents-and-projections
8
9
homomorphism
11
9
substructure
6
8
modular-arithmetic
9
8
le-rx-yp4gIcakvr
5
8
fixpoint
3
8
covering
1
8
com-recursive
6
8
cats-monic-epic
27
8
topology-subspace.z
1
7
logic-elementary-substructure
13
7
le-rx-GmBkua1SQg
2
7
jmt
1
7
sets-well-ordering
11
6
partial-ordering
10
6
ordering-relation
11
6
metric
5
6
logic-prime-atomic
8
6
le-rx-OVwGLO3hvj
5
6
le-rx-nNIUwaNXF8
4
6
inclusion-function
1
6
groups-subgroup
1
6
elementary-equivalent
7
6
directed-set
4
6
cats-endo-auto
2
6
cats-cone
5
6
sets-axiom-of-choice
7
5
neighborhood
3
5
linear-map
3
5
le-rx-Ix7512m7hC
5
5
group-action-orbit
7
5
cats-slice-category
10
5
algebra-ring
6
5
topology-hausdorff
10
4
tagged-union
2
4
sets-segment
1
4
sets-ordinal
7
4
random-variable
4
4
monoid
4
4
logic-types-topology
14
4
logic-categorical
8
4
le-rx-mIBiiztKGr
9
4
le-rx-Kp7aXmTu4m
0
4
le-rx-kgOqrrnvs4
0
4
le-rx-KdXvvS5XDm
1
4
le-rx-G7ZeFZw41f
3
4
le-rx-aIIWrG1G9a
1
4
gcd
6
4
filter
3
4
dense-ordering
2
4
cats-category-of-elements
10
4
algebra-unital
3
4
ultrafilter
12
3
topology-finite-product-topology
7
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-definable
7
3
logic-category-of-models
12
3
le-rx-w3W3GLnw9H
4
3
le-rx-mBKahEA8Md
4
3
le-rx-AIKSRFJgi5
0
3
indicator-function
2
3
groups-dihedral-group
5
3
cycle-decomposition
12
3
cats-constant-functor
5
3
83349988328802175134r
2
3
proofs-and-refutations
3
2
pbty-expected-value
5
2
multiplicative-groups-of-integers
14
2
le-rx-XbEqFA4lDZ
6
2
le-rx-KqeSyaLxQU
3
2
le-rx-Ag8Cq47XND
4
2
le-rx-2PRRwzMxER
3
2
le-rx-27bQZnnVJQ
1
2
le-rx-1JTczKYJlW
3
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-free-group-functor
10
2
bezouts-identity
3
2
92665576244699242719r
4
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
7
1
time-to-think
6
1
the-trainable-cat
5
1
the-book
5
1
telling-more-than-we-can-know
3
1
tarski-vaught-test
6
1
skolems-paradox
17
1
seven-sketches
35
1
quantifier-elimination
23
1
probability-space
3
1
probability-measure.z
3
1
parametricity
9
1
order-topology
5
1
logic-universal-formula
6
1
logic-ultraproduct
19
1
le-rx-slx1RopVeB
3
1
le-rx-pclve6EAHC
7
1
le-rx-P24MuQSyvm
5
1
le-rx-OWzSEQGABi
5
1
le-rx-LvcZuZYRmh
10
1
le-rx-LDxQPXyFcP
0
1
le-rx-CwEIpy3W0L
0
1
le-rx-5zsqLWBaow
2
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
euclidean-algorithm
1
1
einsteins-dreams
2
1
covert-operationality
8
1
consolations
4
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
ac0
12
1
68263999241221610449r
0
1
67685964973299609277r
4
1
38025068987426347854r
1
1
why-is-inheritance-bad
13
0
vague-notes
30
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
25
0
ucb-metamathematics-b-01
24
0
ucb-metamathematics-03
0
0
ucb-metamathematics-02
0
0
ucb-catthy-07
11
0
ucb-catthy-06
28
0
ucb-catthy-05
20
0
ucb-catthy-04
18
0
ucb-catthy-03
19
0
ucb-catthy-02
14
0
ucb-catthy-01
14
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
15
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
24
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
17
0
linear-subspace
3
0
lexi-embedding
11
0
lecture-on-hask
19
0
le-rx-znqDwbUXbu
0
0
le-rx-yv4wO7ASG2
6
0
le-rx-yLK75j6Oi9
0
0
le-rx-yDwEpaX8Ot
0
0
le-rx-xcAcwf6ZCh
0
0
le-rx-x2xe3xmbJv
9
0
le-rx-wgntXTCryH
3
0
le-rx-VOPjfGN3v4
1
0
le-rx-uSC97xJvtL
0
0
le-rx-TUk04u8DFm
0
0
le-rx-RLFOviBxBO
0
0
le-rx-qHwXHheQHn
0
0
le-rx-PZHZW7mn5q
2
0
le-rx-py62AaTy5x
0
0
le-rx-pKvbirdVTi
4
0
le-rx-OsIdqcf3n4
1
0
le-rx-NDnqulhAfi
1
0
le-rx-MkBwRr9BdR
6
0
le-rx-mC1eaFmldX
0
0
le-rx-K4lfoFUGer
0
0
le-rx-j1FGY3gpZj
8
0
le-rx-fm3GYcChue
4
0
le-rx-epVIYOl1lV
2
0
le-rx-Dea8RhD7tv
3
0
le-rx-AyOhTqmy2Y
13
0
le-rx-AHlwoF0AQh
0
0
le-rx-9W7i5AU28Y
0
0
le-rx-9ge55N1SBY
0
0
le-rx-7zzsej4U70
0
0
le-rx-7xfGoxx4q4
0
0
le-rx-5YgnfikGMm
0
0
le-rx-5kt4uBcnrN
3
0
le-rx-5jV0F4tlXQ
7
0
le-rx-4Re2y44roS
4
0
le-rx-1Czl2hB3JB
0
0
le-misc-notes
18
0
lang
35
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
group-direct-product
4
0
frobenius-map
8
0
fixpoints-in-haskell
4
0
epsilon-ball
3
0
english-epiphanies
4
0
elementary-class
10
0
dmils
5
0
decidable
8
0
countably-locally-finite
2
0
counseling-process
0
0
compute-universal-primrec-func
3
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
9
0
cats-opposite-category
7
0
cats-essentially-small
2
0
cats-essentially-discrete
2
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
12
17
0
11
5
0
10
3
0
09
13
0
08732960488101308377r
0
0
08
7
0
07794122248289928494r
1
0
07
5
0
06
7
0
05668695102619544207r
4
0
05
7
0
04
12
0
03042114674566132031r
5
0
03
9
0
02
17
0
01
9
0