Quantifier Elimination for a Class of Intuitionistic Theories
Ben Ellison, Jonathan Fleischmann, Dan McGinn, and Wim Ruitenburg
Source: Notre Dame J. Formal Logic Volume 49, Number 3 (2008), 281-293.
Abstract
From classical, Fraïissé-homogeneous, ($\leq \omega$)-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.
Primary Subjects: 03C10, 03F55
Secondary Subjects: 03C35, 03C90, 03F05
Keywords: intuitionistic predicate logic; quantifier elimination; Kripke model; Fraïssé homogeneous; normal forms
Full-text: Access denied (no subscription detected)
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1216152551
Digital Object Identifier: doi:10.1215/00294527-2008-012
Mathematical Reviews number (MathSciNet):
MR2428555
References
[1] Bagheri, S. M., "Categoricity and quantifier elimination for intuitionistic theories", pp. 23--41 in Logic in Tehran, vol. 26 of Lecture Notes in Logic, Association for Symbolic Logic, La Jolla, 2006.
Mathematical Reviews (MathSciNet):
MR2262312
Zentralblatt MATH:
1106.03034
[2] Bankston, P., and W. Ruitenburg, "Notions of relative ubiquity for invariant sets of relational structures", The Journal of Symbolic Logic, vol. 55 (1990), pp. 948--86.
Mathematical Reviews (MathSciNet):
MR1071308
Zentralblatt MATH:
0726.03025
Digital Object Identifier: doi:10.2307/2274467
Project Euclid: euclid.jsl/1183743399
[3] Burris, S., "The model completion of the class of $\mathcalL$-structures", Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 33 (1987), pp. 313--14.
Mathematical Reviews (MathSciNet):
MR913293
Zentralblatt MATH:
0608.03011
Digital Object Identifier: doi:10.1002/malq.19870330405
[4] Burris, S., and H. Werner, "Sheaf constructions and their elementary properties", Transactions of the American Mathematical Society, vol. 248 (1979), pp. 269--309.
Mathematical Reviews (MathSciNet):
MR522263
Zentralblatt MATH:
0411.03022
Digital Object Identifier: doi:10.2307/1998970
JSTOR: links.jstor.org
[5] van Dalen, D., Logic and Structure, 4th edition, Universitext. Springer, New York, 2004.
Mathematical Reviews (MathSciNet):
MR2052431
Zentralblatt MATH:
1048.03001
[6] Ellison, B., J. Fleischmann, D. McGinn, and W. Ruitenburg, "Kripke submodels and universal sentences", Mathematical Logic Quarterly, vol. 53 (2007), pp. 311--20.
Mathematical Reviews (MathSciNet):
MR2330601
Zentralblatt MATH:
1123.03008
Digital Object Identifier: doi:10.1002/malq.200610048
[7] Gaifman, H., "Concerning measures in first order calculi", Israel Journal of Mathematics, vol. 2 (1964), pp. 1--18.
Mathematical Reviews (MathSciNet):
MR0175755
Zentralblatt MATH:
0192.03302
Digital Object Identifier: doi:10.1007/BF02759729
[8] Henson, C. W., "Countable homogeneous relational structures and $\aleph \sb0$"-categorical theories, The Journal of Symbolic Logic, vol. 37 (1972), pp. 494--500.
Mathematical Reviews (MathSciNet):
MR0321727
Zentralblatt MATH:
0259.02040
Digital Object Identifier: doi:10.2307/2272734
Project Euclid: euclid.jsl/1183738314
[9] Lynch, J. F., "Almost sure theories", Annals of Mathematical Logic, vol. 18 (1980), pp. 91--135.
Mathematical Reviews (MathSciNet):
MR578540
Zentralblatt MATH:
0433.03020
Digital Object Identifier: doi:10.1016/0003-4843(80)90014-5
[10] Ruitenburg, W., "Very intuitionistic theories and quantifier elimination", The Review of Modern Logic, vol. 10 (2004/05), pp. 99--112.
Mathematical Reviews (MathSciNet):
MR2238775
Project Euclid: euclid.rml/1203432183
[11] Smoryński, C., "Elementary intuitionistic theories", The Journal of Symbolic Logic, vol. 38 (1973), pp. 102--34.
Mathematical Reviews (MathSciNet):
MR0327500
Zentralblatt MATH:
0261.02033
Digital Object Identifier: doi:10.2307/2271732
Project Euclid: euclid.jsl/1183738545
[12] Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics. An Introduction. Vol. 1, vol. 121 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1988.
Mathematical Reviews (MathSciNet):
MR966421
Zentralblatt MATH:
0653.03040
Notre Dame Journal of Formal Logic
