Pages that link to "Item:Q2536048"
From MaRDI portal
The following pages link to On the interpretability of arithmetic in set theory (Q2536048):
Displaying 5 items.
- Decidability and completeness for open formulas of membership theories (Q1903592) (← 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)
