Pages that link to "Item:Q2425351"
From MaRDI portal
The following pages link to On interpretations of arithmetic and set theory (Q2425351):
Displaying 24 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)
- On the virtue of categoricity (Q1981999) (← links)
- Constructive Ackermann's interpretation (Q2120969) (← links)
- Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs (Q2193942) (← links)
- Bases for structures and theories. I. (Q2198318) (← links)
- Cichoń's maximum (Q2320607) (← links)
- Towards a generic view of primality through multiset decompositions of natural numbers (Q2453539) (← links)
- Substandard models of finite set theory (Q3066294) (← links)
- Emulating Primality with Multiset Representations of Natural Numbers (Q3105752) (← links)
- A Groupoid of Isomorphic Data Transformations (Q3637276) (← links)
- INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY (Q5021929) (← links)
- LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS (Q5067870) (← links)
- ON MORITA EQUIVALENCE AND INTERPRETABILITY (Q5107539) (← links)
- Indivisible sets and well‐founded orientations of the Rado graph (Q5108845) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE (Q5401599) (← links)
- Bounded finite set theory (Q6047677) (← links)
- SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT (Q6051422) (← links)