Note	⭐	Refs	Ref by
welcome	⭐⭐⭐⭐	2	0
cats-welcome	⭐⭐⭐⭐	6	0
distributive-laws-conceptualization	⭐⭐⭐	25	1
pullback-pushforward	⭐⭐	5	5
groups-cayleys-thm	⭐⭐	18	5
on-cxxxx	⭐⭐	5	0
haskell-russells-paradox	⭐⭐	0	0
constellations	⭐⭐	0	0
arcane-equality	⭐⭐	12	0
adt-differentiation	⭐⭐	14	0
uniformity	⭐	41	14
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	⭐	37	0
sets-zfc		16	195
algebra-structure		8	79
logic-propositional-logic		8	74
iff		2	74
cats-category		22	68
min-max-im-im-al-um		6	65
finite		4	62
topology		3	60
cats-equivalent		14	60
logic-theory		7	54
logic-formula		8	54
injective-surjective-bijective		3	54
haskell-definedness		7	54
group-action		7	53
logic-language		8	51
logic-structure		2	50
permutation-parity		10	49
groups-group		12	48
logic-types		19	47
fixpoint-combinator		2	46
with-respect-to		15	45
com-computably-enumerable		16	44
logic-terms		7	43
cats-isomorphism		3	39
cats-initial-terminal		11	39
uniqueness		6	38
closed-under		2	38
equivalence		17	36
operation		3	35
cats-full-faithful		9	35
diagrams		9	33
cats-representable		16	31
tag-list		14	29
cyclic-permutation		8	27
com-computable		10	27
com-index		9	26
sets-cardinal		13	25
linear-function		1	24
le-rx-g0DX9Q2GcP		2	23
cats-functor		27	23
closures-and-completions		22	22
le-rx-qYCk3zY1hQ		8	20
cats-product-category		2	19
topology-continuity		7	18
cats-natural-transformation		25	18
witness		1	17
algebra-associativity		5	17
88382438277620604993r		4	17
cats-limit		6	16
logic-compactness		22	15
sets-partition		4	14
le-rx-O3gETm7u0v		0	14
symmetric-group		8	13
com-minimal-index		7	13
transitive-set		1	12
topology-net		11	12
com-turing-machine		4	12
cats-product		9	12
preorder		3	11
linear-ordering		6	11
le-rx-UJNMN8g88O		7	11
first-order-logic		8	11
com-universal-tm		3	11
com-encoding		12	11
cats-monoid		5	11
cats-homomorphism		21	11
topology-bounded		3	10
pbty-sample-space		5	10
le-rx-Hyw4XPkb1X		3	10
groups-grp		17	10
cats-zigzag		3	10
cats-concrete-category		2	10
tfae		1	9
homomorphism		11	9
units-of-a-ring		1	8
substructure		6	8
permutation		9	8
modular-arithmetic		9	8
le-rx-yp4gIcakvr		5	8
covering		1	8
com-recursive		5	8
cats-monic-epic		26	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
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
fixpoint		3	6
elementary-equivalent		7	6
directed-set		4	6
cats-cone		5	6
sets-axiom-of-choice		7	5
ordering-relation		11	5
neighborhood		3	5
linear-map		3	5
le-rx-Ix7512m7hC		5	5
cats-slice-category		10	5
cats-endo-auto		2	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
group-action-orbit		7	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-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
group-direct-product		4	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		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		19	0
ucb-catthy-04		18	0
ucb-catthy-03		19	0
ucb-catthy-02		13	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		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		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-CwEIpy3W0L		0	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
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