25

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