The following pages link to A minimal predicative set theory (Q1344436):
Displaying 12 items.
- Faith \& falsity (Q705533) (← links)
- Pairs, sets and sequences in first-order theories (Q943342) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Decidability and completeness for open formulas of membership theories (Q1903592) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- The predicative Frege hierarchy (Q2271986) (← links)
- CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN (Q3644806) (← links)
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- Strong Logics of First and Second Order (Q5305552) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)
- Rules and arithmetics (Q5937848) (← links)
