The following pages link to (Q4110995):
Displayed 18 items.
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Saturation and simple extensions of models of Peano arithmetic (Q762144) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Definable sets and expansions of models of Peano arithmetic (Q1102945) (← links)
- On expandability of models of Peano arithmetic. I (Q1236114) (← links)
- On expandability of models of Peano arithmetic. II (Q1236115) (← links)
- On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze (Q1857358) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- Set theoretical analogues of the Barwise-Schlipf theorem (Q2159934) (← links)
- Characterizations of ordinal analysis (Q2683775) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Recursively Saturated Models of Set Theory (Q3902995) (← links)
- A Generalized Kleene-Moschovakis Theorem (Q4116438) (← links)
- A Rather Classless Model (Q4132525) (← links)
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
- The Barwise-Schlipf theorem (Q5146566) (← links)