Pages that link to "Item:Q2257106"
From MaRDI portal
The following pages link to Full and hat inductive definitions are equivalent in NBG (Q2257106):
Displaying 10 items.
- Deflationism beyond arithmetic (Q2052155) (← links)
- Stage comparison, fixed points, and least fixed points in Kripke-Platek environments (Q2108575) (← links)
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
- Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (Q2144614) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- Forcing for hat inductive definitions in arithmetic (Q2922495) (← links)
- From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts (Q3305630) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)
