Pages that link to "Item:Q5676209"
From MaRDI portal
The following pages link to Elementary intuitionistic theories (Q5676209):
Displayed 9 items.
- The eskolemization of universal quantifiers (Q638487) (← links)
- The real-algebraic structure of Scott's model of intuitionistic analysis (Q1059071) (← links)
- Hilbert's Nullstellensatz revisited (Q1117017) (← links)
- On a second order propositional operator in intuitionistic logic (Q1158419) (← links)
- Three ways of recognizing inessential formulas in sequents (Q1167722) (← links)
- Connectification for \(n\)-contraction (Q1891929) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis (Q6047713) (← links)