25

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