Pages that link to "Item:Q2566068"
From MaRDI portal
The following pages link to Reflections on reflections in explicit mathematics (Q2566068):
Displaying 13 items.
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- Mathematical retroreflectors (Q2275863) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- Explicit mathematics and operational set theory: some ontological comparisons (Q2795201) (← links)
- (Q3829503) (← links)
- (Q4364146) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- (Q5472592) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)
