First-order logic and its extensions

Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 499)


Compactness Theorem Order Type Predicate Symbol Interpolation Theorem Partial Isomorphism 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Baldwin, J.T., Blass, A.R., Glass, A.M., Kueker, D.W.: A note on the elementary theory of finite abelian groups, Algebra universalis 3 (1973), 156–159.MathSciNetCrossRefGoogle Scholar
  2. [2]
    Barwise, K.J.: Axioms for abstract model theory, Annals of math. logic. (1974)Google Scholar
  3. [3]
    Barwise, K.J.: Back and forth thru infinitary logics, in: MAA-Studies in Mathematics 8 (1973), 5–34.Google Scholar
  4. [4]
    Barwise, K.J.: Absolute logic and L∞ω, Annals of Math. Logic 4 (1972), 309–340.zbMATHMathSciNetCrossRefGoogle Scholar
  5. [5]
    Barwise, K.J.: The Hanf number of second order logic, Jour. Symb. Logic 37 (1972), 588–594.zbMATHMathSciNetCrossRefGoogle Scholar
  6. [6]
    Barwise, K.J.: Infinitary logic and admissible sets, Doctoral Dissertation, Stanford (1967).Google Scholar
  7. [7]
    Barwise, K.J.—Kunen, K.: Hanf numbers for fragments of L + ηω, Israel J. Math. 10 (1971), 306–320.zbMATHMathSciNetGoogle Scholar
  8. [8]
    Chang, C.C.: Some remarks on the model theory of infinitary languages, in: The Syntax and Semantics of Infinitary languages, Berlin (1968), 36–63.Google Scholar
  9. [9]
    Chang, C.C.—Keisler, H.J.: Model theory, Amsterdam (1974).Google Scholar
  10. [10]
    Craig, W.—Vaught, R.L.: Finite axiomatizability using additional predicats, Jour. Symb. Logic 23 (1958), 289–308.MathSciNetCrossRefGoogle Scholar
  11. [11]
    Deißler, R.: Untersuchungen über Minimalmodelle, Dissertation, Univ. of Freiburg (1974).Google Scholar
  12. [12]
    Erdös, P.—Rado, R.: A partition calculus in set theory, Bull. Amer. Math. Soc. 62 (1956), 427–489.zbMATHMathSciNetCrossRefGoogle Scholar
  13. [13]
    Feferman, S.: Infinitary properties, local functors and systems of ordinal functions, in: Conference in Mathematical Logic-London 1970, Berlin (1972), 63–97.Google Scholar
  14. [14]
    Feferman, S.: Two notes on abstract model theory I. Properties invariant on the range of definable relations between structures, Fund. Math. 82 (1974), 153–164.zbMATHGoogle Scholar
  15. [15]
    Feferman, S.: Applications of many-sorted interpolation theorems, to appear in: Proceedings of the Tarski Symposium.Google Scholar
  16. [16]
    Feferman, S.: Lectures on proof theory, in: Proceedings of the Summer School in Logic, Leeds 1967, Berlin (1968), 1–107.Google Scholar
  17. [17]
    Flum, J.: Hanf numbers and well-ordering numbers, Arch. Math. Logic 15 (1972), 164–178.zbMATHMathSciNetCrossRefGoogle Scholar
  18. [18]
    Fraïssé, R.: Sur quelques classifications des systèmes de relations, Publ. Sci. Univ. Alger Ser. A 1, 35–182.Google Scholar
  19. [19]
    Fuhrken, G.: Skolem-type normal forms for first-order languages with a generalized quantifier, Fund. Math. 54 (1964), 291–302.zbMATHMathSciNetGoogle Scholar
  20. [20]
    Hanf, W.: Incompleteness in languages with infinitely long expressions, Fund. Math. 53 (1964), 303–323.Google Scholar
  21. [21]
    Hintikka, J.: Distributive normal forms in first-order logic, in: Formal systems and recursive functions, Amsterdam (1965), 48–91.Google Scholar
  22. [22]
    Karp, C.: Finite quantifier equivalence, in: The Theory of Models, Amsterdam (1965), 407–412.Google Scholar
  23. [23]
    Keisler, H. J.: Model theory for infinitary logic, Amsterdam (1971).Google Scholar
  24. [24]
    Lindström, P.: On extensions of elementary logic, Theoria 35 (1969), 1–11.zbMATHMathSciNetCrossRefGoogle Scholar
  25. [25]
    Lindström, P.: On relations between structures, Theoria 32 (1966), 172–185.MathSciNetCrossRefGoogle Scholar
  26. [26]
    Lindström, P.: First order predicate logic with generalized quantifiers, Theoria 32 (1966), 186–195.MathSciNetGoogle Scholar
  27. [27]
    López-Escobar, E. G. K.: On definable well-orderings, Fund. Math. 59 (1965), 13–21.Google Scholar
  28. [28]
    Magidor, M.—Malitz, J.: Compact extensions of L(Q), to appear.Google Scholar
  29. [29]
    Makkai, M.: Svenonius sentences and Lindström's theory on preservation theorems, Fund. Math. 73 (1972), 219–233.zbMATHMathSciNetGoogle Scholar
  30. [30]
    Makkai, M.: Vaught sentences and Lindström's regular relations, in Cambridge Summer School in Mathematical Logic, Berlin (1973), 622–660.Google Scholar
  31. [31]
    Morley, M.: The Hanf number for ω-logic, Jour. Symb. Logic 32 (1967), 437.Google Scholar
  32. [32]
    Schönfeld, W.: Ehrenfeucht-Fraisse Spiel. Disjunktive Normalform und Endlichkeitssatz. Dissertation, Stuttgart (1974).Google Scholar
  33. [33]
    Thomas, W.: Decision problems for some extensions of successor arithmetic, to appear.Google Scholar
  34. [34]
    Vaught, R. L.: The Löwenheim Skolem theorem, in: Proc. of 1964 Int'l. Cong. Logic, Meth. and Phil. Sci., Amsterdam (1965), 81–89.Google Scholar
  35. [35]
    Vaught, R. L: Descriptive set theory in Lw1w, in Cambridge Summer School in Mathematical Logic, Berlin (1973), 574–598.Google Scholar
  36. [36]
    Wolf, Th.: Diplomarbeit Freiburg (1975).Google Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • J. Flum

There are no affiliations available

Personalised recommendations