DrPoset’s mathematical logic blog
-
Pressing the word…
This is my very first post. Plans for the next few months: expository posts on 6 or 7 results (hope interesting enough), and maintain some discussion on basic set theory, aiming to develop this area in the neighboring region of my university (this will probably be in Spanish, and if times permits, also in English).
automation axioms behavior Bernstein set bisimilarity book reviews Cantor Cantor Schröder Bernstein cardinal cardinal invariants cardinals choice consistency strength culture curricula descriptive set theory determinacy first-order logic forcing funny stuff gender Hechler forcing infinite infinite games König's Theorem large cardinals Larry Paulson literature Lövenheim-Skolem Theorem mad families Martin's Axiom model theory ordinals popular math poseteo poseting proof assistants recursion Roberto Cignoli Teoría de Conjuntos universes Universidad Nacional de Córdoba well foundedness well order wellorder