Abstract
Simple formula should contain only few quantifiers. In the paper the methods to estimate quantity and quality of quantifiers needed to express a sentence equivalent to given one.
Similar content being viewed by others
References
J. Barwise and S. Feferman, Model-Theoretic Logics, in series Perspectives in Mathematical Logic, Springer-Verlag, 1985.
X. Caicedo, Back-and-forth systems for arbitrary quantifiers, Mathematical Logic in Latin America, A. I. Arruda, R. Chuaqui and N.C.A. da Costa (eds.), North-Holland Publ. Co. (1980), pp. 83–102.
C. C. Chang and H. J. Keisler, Model Theory, North-Holland Publ. Co., 1973.
P. M. Cohn, Universal Algebra, Harper & Row Publ. Co., 1965.
A. Ehrenfeucht, An application of games to the completeness problem for formalised theories, Fundamenta Mathematicae 49 (1961), pp. 129–141.
J. Flum, First-order logic and it extensions, Lecture Notes in Mathematic 488, Springer-Verlag (1975), pp. 248–310.
R. Fraissé, Sur quelques classifications des systèmes de relations, Publ. Sci. Univ. Alger, Ser. A, vol. 1 (1954), pp. 35–182.
K. Härtig, Über einen Quantifikator mit zwei Wirkungsbereichen, in Colloq. sur les fondements des mathem. et leurs applications, Tihany 1962, Budapest/Paris (1965), pp. 31–36.
L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, North-Holland Publ. Co., 1971.
N. Immerman, Upper and lower bounds for first-order expressibility, Journal Comp. Syst. Sci. 25 (1982), pp. 76–98.
N. Immerman and D. Kozen, Definability with bounded number of bound variables, Proc. Symp. on Logic in Comp. Sc. 1987, pp. 236–244.
H. J. Keisler, Theory of models with generalised atomic formulas, Journal of Symbolic Logic 25 (1960), pp. 1–26.
H. J. Keisler, Logic with the quantifier “there exist uncountable many”, Annals of Mathematical Logic 1 (1970), pp. 1–93.
S. C. Kleene, Recursive predicates and quantifiers, Transaction of the American Mathematical Society 53 (1943), pp. 41–73.
A. Krawczyk and M. Krynicki, Ehrenfeucht games for generalized quantifiers, Lecture Notes in Mathematic 537 (1976), pp. 145–152.
M. Krynicki, Linear Ordered Quantifiers, to appear in Bull. Pol. Acad. of Sc. ser. Mathematics.
M. Krynicki, Quantifiers determined by partial orderings, to appear in Zeitsch. für Math. Logik und Grundlagenforsch.
M. Krynicki and L. W. Szczerba, Refinement of Kleene-Mostowski hierarchy for formulas, Seminarberichte Humboldt Universität zu Berlin, Proceedings of the 4TH Easter Conference on Model Theory, Humboldt Universität, Berlin 1986.
H. Lessan, On models of arithmetics, Doctoral thesis, Manchester, 1978.
P. Lindström, First order predicate logic with generalized quantifiers, Theoria 32 (1966), pp. 186–195.
J. Łoś, On the extending of models I, Fundamenta Mathematicae 42 (1955), pp. 38–54.
J. Łoś and R. Suszko, On the extending of models IV: Infinite sums of models, Fundamenta Mathematicae 44 (1957), pp. 52–60.
J. A. Makowsky and S. Tulipani, Some model theory for monotone quantifiers, Archive für Mathemat. Logik und Grundlagenforsch. 18 (1977), pp. 115–134.
A. Mostowski, On a generalization of quantifiers, Fundamenta Mathematicae 44 (1957), pp. 12–36.
A. Mostowski, On definable sets of positive integers, Fundamenta Mathematicae 14 (1957), pp. 52–60.
A. Mostowski, Thirty Years of Foundational Studies, Barnes and Noble Inc., 1966.
C. Ryll-Nardzewski, The role of the axiom of induction in elementary arithmetic, Fundamenta Mathematicae 39 (1952), pp. 239–263.
M. Schacher and E. G. Straus, Some applications of a non-Archimedian analogue of Descartes rule of signs, Acta Arithmetica 25 (1974), pp. 353.
A. M. Sette and J. S. Sette, Functionalisation of first-order language with finitely many predicates, in Mathematical Logic, A. I. Arruda, N.C.A. da Costa and R. Chuaqui (eds.), Marcel Dekker Inc., 1978, pp. 7–11.
A. M. Sette and L. W. Szczerba, Characterisations of elementary interpretations in category theory, in Mathematical Logic, L.P. de Alcantara (ed.), Marcel Dekker Inc., 1985, pp. 243–292.
L. W. Szczerba, Rough Quantifiers, Bull. Pol. Acad. of Sc. ser. Mathematics 35 (1987), pp. 251–254.
A. Tarski, Contributions to the theory of models, Indagationes Math. 16 (1954), pp. 572–588.
M. Weese, Generalized Ehrenfeucht games, Fundamenta Mathematicae 109 (1980), pp. 103–112.
Author information
Authors and Affiliations
About this article
Cite this article
Krynicki, M., Szczerba, L. On simplicity of formulas. Stud Logica 49, 401–419 (1990). https://doi.org/10.1007/BF00370372
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370372