Pages that link to "Item:Q3644806"
From MaRDI portal
The following pages link to CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN (Q3644806):
Displaying 9 items.
- Some notes on truths and comprehension (Q722023) (← links)
- Transductions in arithmetic (Q904144) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- HUME’S PRINCIPLE, BEGINNINGS (Q3006003) (← links)
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- The small‐is‐very‐small principle (Q5108874) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- Finitely axiomatized theories lack self‐comprehension (Q6051417) (← links)