Pages that link to "Item:Q2425351"
From MaRDI portal
The following pages link to On interpretations of arithmetic and set theory (Q2425351):
Displaying 8 items.
- Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
- Amphi-ZF : axioms for Conway games (Q412064) (← links)
- On the concept of finitism (Q510710) (← links)
- Truth in generic cuts (Q636338) (← links)
- The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
- On positive local combinatorial dividing-lines in model theory (Q1734257) (← links)
- Emulating Primality with Multiset Representations of Natural Numbers (Q3105752) (← links)
- EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE (Q5401599) (← links)
