Elementary intuitionistic theories

DOI10.2307/2271732zbMath0261.02033OpenAlexW2136357238MaRDI QIDQ5676209

Craig Smorynski

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271732

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Intuitionistic mathematics (03F55)

Related Items (9)

Connectification for \(n\)-contraction ⋮ Hilbert's Nullstellensatz revisited ⋮ Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis ⋮ The eskolemization of universal quantifiers ⋮ On a second order propositional operator in intuitionistic logic ⋮ Three ways of recognizing inessential formulas in sequents ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ The real-algebraic structure of Scott's model of intuitionistic analysis

Cites Work

• Certain logical reduction and decision problems
• Solvable cases of the decision problem
• Decidability of some intuitionistic predicate theories
• Sufficient conditions for the undecidability of intuitionistic theories with applications

This page was built for publication: Elementary intuitionistic theories