25 Answers votes newest views recent 6Mathematical “urban legends” 12Elementary+Short+Useful (2) 10Completion of ZFC 10Irreversible chess 5Independence of P = NP? 9Essential reads in the philosophy of mathematics and set theory 8How much of ZFC does Quine’s New Foundations prove? 6History of Logic Development 9Is the space of continuous functions from a compact metric space into a Polish space Polish? 8An undergraduate’s guide to the foundational theorems of logic 4A Game of Knights and Queens 10Axiomatic Set Theory 4effective/constructive/algorithmic probability theory 11Higher categories in logic 9Set-Theoretic Issues/Categories 4Reference Request: Non-Standard Models of PA 4Modal logic - satisfiability 1Limiting set theory using symmetry 8A question about Quine’s set theory NF. 6Does model-complete in a language with a constant symbol imply EQ? 4Why does the Kleene Hierarchy not collapse? 4Is there any literature about inner-replacement rule? 2Is it correct to state that basic primitive recursive functions are in fact combinators? 3FTA in first order setting 3Is there a general theory of models that has as instances classical FOL, classical propositional logic, etc.?