Abstract
From classical, Fraïissé-homogeneous, ()-categorical theories over finite relational languages, we construct intuitionistic theories that are complete, prove negations of classical tautologies, and admit quantifier elimination. We also determine the intuitionistic universal fragments of these theories.
Citation
Ben Ellison. Jonathan Fleischmann. Dan McGinn. Wim Ruitenburg. "Quantifier Elimination for a Class of Intuitionistic Theories." Notre Dame J. Formal Logic 49 (3) 281 - 293, 2008. https://doi.org/10.1215/00294527-2008-012
Information
