Provability with finitely many variables
HTML articles powered by AMS MathViewer
- by J. Donald Monk PDF
- Proc. Amer. Math. Soc. 27 (1971), 353-358 Request permission
Abstract:
In first-order logic with equality but with finitely many variables, no finite schema suffices to give a sound and complete axiomatization of the universally valid sentences. The proof uses a rather deep result from algebraic logic.References
- Paul R. Halmos, Algebraic logic, Chelsea Publishing Co., New York, 1962. MR 0131961
- Leon Henkin, Logical systems containing only a finite number of symbols, Séminaire de Mathématiques Supérieures, No. 21, Les Presses de l’Université de Montréal, Montreal, Que., 1967. MR 0239959
- Leon Henkin and Alfred Tarski, Cylindric algebras, Proc. Sympos. Pure Math., Vol. II, American Mathematical Society, Providence, R.I., 1961, pp. 83–113. MR 0124250
- Stanisław Jaśkowski, Sur les variables propositionnelles dépendantes, Studia Soc. Sci. Torun. Sect. A. 1 (1948), 17–21 (French, with Polish summary). MR 25418
- James S. Johnson, Nonfinitizability of classes of representable polyadic algebras, J. Symbolic Logic 34 (1969), 344–352. MR 256862, DOI 10.2307/2270901
- Donald Kalish and Richard Montague, On Tarski’s formalization of predicate logic with identity, Arch. Math. Logik Grundlag. 7 (1965), 81–101 (1965). MR 202576, DOI 10.1007/BF01969434
- J. Donald Monk, Nonfinitizability of classes of representable cylindric algebras, J. Symbolic Logic 34 (1969), 331–343. MR 256861, DOI 10.2307/2270900
- August Pieczkowski, Undecidability of the homogeneous formulas of degree $3$ of the predicate calculus, Studia Logica 22 (1968), 7–16 (English, with Russian and Polish summaries). MR 236013, DOI 10.1007/BF02125281
- Alfred Tarski, Contributions to the theory of models. III, Nederl. Akad. Wetensch. Proc. Ser. A. 58 (1955), 56–64 = Indagationes Math. 17, 56–64 (1955). MR 0066303
Additional Information
- © Copyright 1971 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 27 (1971), 353-358
- MSC: Primary 02.18
- DOI: https://doi.org/10.1090/S0002-9939-1971-0276063-5
- MathSciNet review: 0276063