Skip to main content Accessibility help
×
Home
Model-Theoretic Logics
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Export citation
  • Recommend to librarian
  • Buy the print book

Book description

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Send to Kindle
  • Send to Dropbox
  • Send to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
×

Contents


Page 1 of 2



Page 1 of 2


Bibliography
Aanderaa, S. O. 1974 Inductive definitions and their closure ordinals. In: Generalized Recursion Theory, edited by Fenstad, J. E. and Hinman, P. G.. North-Holland Publishing Company, 1974, pp. 207-220.
Aczel, P. H. G. 1970 Representability in some systems of second-order arithmetic. Israel Journal of Mathematics, vol. 8 (1970), pp. 309-328.
Aczel, P. H. G. 1973 Infinitary logic and the Barwise compactness theorem. In: Proceedings of the Bertrand Russell Memorial Logic Conference, edited by Bell, J. L., Cole, J. C., Priest, G. and Slomson, A. B.. University of Leeds, 1973, pp. 234-277.
Aczel, P. H. G. 1975 Quantifiers, games and inductive definitions. In: Proceedings of the Third Scandinavian Logic Symposium, edited by Kanger, S.. North-Holland Publishing Company, 1975, pp. 1-14.
Aczel, P. H. G. 1977 An introduction to inductive definitions. In: Handbook of Mathematical Logic, edited by Barwise, K. J.. North-Holland Publishing Company, 1977, pp. 739-782.
Aczel, P. H. G. and Richter, W. H. 1974 Inductive definitions and reflecting properties of admissible ordinals. In: Generalized Recursion Theory, edited by Fenstad, J. E. and Hinman, P. G.. North-Holland Publishing Company, 1974, pp. 301-381.
Adams, E. W. 1974 The logic of “almost all”. Journal of Philosophical Logic, vol. 3 (1974), pp. 3-17.
Adamson, A. A. 1978 Admissible sets and the saturation of structures. Annals of Mathematical Logic, vol. 14 (1978), pp. 111-157.
Africk, H. L. 1974 Scott's interpolation theorem fails for Lω1ω. Journal of Symbolic Logic, vol. 39 (1974), pp. 124-126.
Aldous, D. J. 1984 Weak convergence and the general theory of processes. École d’Été de Probabilités de Saint-Flour. To appear.
Aleksandrov, P. S. and Uryson, P. S. 1929 Mémoire sur les espaces topologiques compacts. Verhandelingen der Koninklijke Akademie van Wetenschappen te Amsterdam. Af-deeling Natuurkunde (Eerste Sectie), vol. 14 (1929), pp. 1-96.
Anapolitanos, D. A. and Väänänen, J. 1981 Decidability of some logics with free quantifier variables. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 17-22.
Anderson, R. M. 1976 A non-standard representation for Brownian motion and Itô integration. Israel Journal of Mathematics, vol. 25 (1976), pp. 15-46.
Anderson, R. M. 1977 Star-finite probability theory. Doctoral Dissertation, Yale University, 1977, iii+117 pp.
Anderson, R. M. 1981 Almost implies near. Manuscript, Princeton University, 1981, 9 pp.
Anderson, R. M. 1982 Star-finite representations of measure spaces. Transactions of the American Mathematical Society, vol. 271 (1982), pp. 667-687.
Andréka, H., Gergely, T. and Németi, I. 1977 An approach to abstract model theory in category theoretical frame. Journal of Symbolic Logic, vol. 42 (1977), p. 440. Abstract.
Andreka, H. and Nemeti, I. 1978 Loś lemma holds in every category. Studia Scientiarum Mathema- ticarum Hungarica, vol. 13 (1978), pp. 361-376.
Andreka, H. and Nemeti, I. 1979 Injectivity in categories to represent all first-order formulas. I. Demonstratio Mathematica, vol. 12 (1979), pp. 717-732.
Andreka, H. and Nemeti, I. 1982 A general axiomatizability theorem formulated in terms of cone-injective subcategories. In: Universal Algebra, edited by Csákány, B., Fried, E., and Schmidt, E. T.. Colloquia Mathematica Societatis Janos Bolyai, vol. 29. North-Holland Publishing Company, 1982, pp. 13-35.
Andreka, H. and Nemeti, I. 1984 Finitary logics of infintary structures (model theoretic properties). Manuscript, Mathematical Institute, Hungarian Academy of Science, 1984.
Andréka, H., Németi, I. and Sain, I. 1984 Abstract model theoretic approach to algebraic semantics. Manuscript, Mathematical Institute, Hungarian Academy of Science, 1984, 80 pp.
Apelt, H. 1966 Axiomatische Untersuchungen über einige mit der Presburgerschen Arithmetik verwandte Systeme. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 131— 168.
Apt, K. R. and Marek, W. 1974 Second order arithmetic and related topics. Annals of Mathematical Logic, vol. 6 (1974), pp. 177-229.
Badger, L. W. 1974 Beth's theorem fails in L<ω. Preliminary report. Notices of the American Mathematical Society, vol. 21 (1974), p. A322. Abstract.
Badger, L. W. 1975 The Malitz quantifier meets its Ehrenfeucht game. Doctoral Dissertation, University of Colorado, Boulder, 1975, 102 pp.
Badger, L. W. 1977 An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications. Pacific Journal of Mathematics, vol. 72 (1977), pp. 293-304.
Badger, L. W. 1980 Beth's property fails in L<ω. Journal of Symbolic Logic, vol. 45 (1980), pp. 284-290.
Baldo, A. 1983 Complete interpolation theorems for L2+ kk . Unione Matematica Italiana. Bollettino. B. Serie VI, vol. 2 (1983), pp. 759-777.
Baldwin, J. T. 1975 Conservative extensions and the two cardinal theorem for stable theories. Fundamenta Mathematicae, vol. 88 (1975), pp. 7-9.
Baldwin, J. T. 1980 The number of subdirectly irreducible algebras in a variety, II. Algebra Universalis, vol. 11 (1980), pp. 1-6.
Baldwin, J. T. 1984 First-order theories of abstract dependence relations. Annals of Pure and Applied Logic, vol. 26 (1984), pp. 215-243.
Baldwin, J. T. and Berman, J. D. 1975 The number of subdirectly irreducible algebras in a variety. Algebra Universalis, vol. 5 (1975), pp. 379-389.
Baldwin, J. T. and Berman, J. D. 1981 Elementary classes of varieties. Houston Journal of Mathematics (Houston, Texas), vol. 7 (1981), pp. 473-492.
Baldwin, J. T. and Kueker, D. W. 1980 Ramsey quantifiers and the finite cover property. Pacific Journal of Mathematics, vol. 90 (1980), pp. 11-19.
Baldwin, J. T. and Lachlan, A. H. 1971 On strongly minimal sets. Journal of Symbolic Logic, vol. 36 (1971), pp. 79-96.
Baldwin, J. T. and Miller, D. E. 1982 Some contributions to definability theory for languages with generalized quantifiers. Journal of Symbolic Logic, vol. 47 (1982), pp. 572-586.
Baldwin, J. T. and Shelah, S. 1982 Second order quantifiers and the complexity of theories. Manuscript, University of Illinois, Chicago, 1982, 143 pp.
Ball, R. 1984 Distributive Cauchy lattices. Algebra Universalis, vol. 18 (1984), pp. 134-174.
Barwise, K. J. 1967 Infinitary logic and admissible sets. Doctoral Dissertation, Stanford University, 1967, 124 pp.
Barwise, K. J. 1968 Implicit definability and compactness in infinitary languages. In: The Syntax and Semantics of Infinitary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 1-35.
Barwise, K. J. 1969a Applications of strict Π1 1 predicates to infinitary logic. Journal of Symbolic Logic, vol. 34 (1969), pp. 409-423.
Barwise, K. J. 1969b Infinitary logic and admissible sets. Journal of Symbolic Logic, vol. 34 (1969), pp. 226-252.
Barwise, K. J. 1969c Remarks on universal sentences of Lω1ω . Duke Mathematical Journal, vol. 36 (1969), pp. 631-637.
Barwise, K. J. 1971 Infinitary methods in the model theory of set theory. In: Logic Colloquium ’69, edited by Gandy, R. O. and Yates, C. M. E.. North-Holland Publishing Company, 1971, pp. 53-66.
Barwise, K. J. 1972a Absolute logic and L∞ω. Annals of Mathematical Logic, vol. 4 (1972), pp. 309-340.
Barwise, K. J. 1972b The Hanf number of second-order logic. Journal of Symbolic Logic, vol. 37 (1972), pp. 588-594.
Barwise, K. J. 1973a A preservation theorem for interpretations. In: Cambridge Summer School in Mathematical Logic, edited by Mathias, A. R. D. and Rogers, H. Springer-Verlag Lecture Notes in Mathematics, vol. 337 (1973), pp. 618-621.
Barwise, K. J. 1973b Back and forth through infinitary logics. In: Studies in Model Theory, edited by Morley, M. D. Mathematical Association of America, Studies in Mathematics, vol. 8 (1973), pp. 5-34.
Barwise, K. J. 1974a Axioms for abstract model theory. Annals of Mathematical Logic, vol. 7 (1974), pp. 221-265.
Barwise, K. J. 1974b Mostowski's collapsing function and the closed unbounded filter. Fundamenta Mathematicae, vol. 82 (1974), pp. 95-103.
Barwise, K. J. 1975 Admissible Sets and Structures: An Approach to Definability Theory.Springer-Verlag, 1975, xiii+394 pp.
Barwise, K. J. 1976 Some applications of Henkin quantifiers. Israel Journal of Mathematics, vol. 25 (1976), pp. 47-63.
Barwise, K. J. 1977 An introduction to first-order logic. In: Handbook of Mathematical Logic, edited by Barwise, K. J.. North-Holland Publishing Company, 1977, pp. 5-46.
Barwise, K. J. 1978a An application of recursion theory in abstract model theory. Notices of the American Mathematical Society, vol. 25 (1978), p. A385. Abstract.
Barwise, K. J. 1978b Monotone quantifiers and admissible sets. In: Generalized Recursion Theory II, edited by Fenstad, J. E., Gandy, R. O., and Sacks, G. E.. North-Holland Publishing Company, 1978, pp. 1-38.
Barwise, K. J. 1979 On branching quantifiers in English. Journal of Philosophical Logic, vol. 8 (1979), pp. 47-80.
Barwise, K. J. 1980 Infinitary logics. In: Modern logic: A Survey, edited by Agazzi, E.. D. Reidel Publishing Company, 1980, pp. 93-112.
Barwise, K. J. 1981 The role of the omitting types theorem in infinitary logic. Archiv für Mathematische Logik und Grundlagenforschung, vol. 21 (1981), pp. 55-68.
Barwise, K. J. 1983 Information and semantics. The Behavioral and Brain Sciences, vol. 6 (1983), p. 65.
Barwise, K. J. and Cooper, R. 1981 Generalized quantifiers and natural language. Linguistics and Philosophy, vol. 4 (1981), pp. 159-219.
Barwise, K. J. and Eklof, P. C. 1969 Lefschetz's principle. Journal of Algebra, vol. 13 (1969), pp. 554-570.
Barwise, K. J. and Eklof, P. C. 1970 Infinitary properties of Abelian torsion groups. Annals of Mathematical Logic, vol. 2 (1970), pp. 25-68.
Barwise, K. J. and Fisher, E. R. 1970 The Shoenfield absoluteness lemma. Israel Journal of Mathematics, vol. 8 (1970), pp. 329-339.
Barwise, K. J., Gandy, R. O. and Moschovakis, Y. N. 1971 The next admissible set Journal of Symbolic Logic, vol. 36 (1971), pp. 108-120.
Barwise, K. J., Kaufmann, M. J. and Makkai, M. 1978 Stationary logic. Annals of Mathematical Logic, vol. 13 (1978), pp. 171 224.
Barwise, K. J., Kaufmann, M. J. and Makkai, M. 1981 A correction to “Stationary logic”. Annals of Mathematical Logic, vol. 20 (1981), pp. 231-232.
Barwise, K. J. And Kunen, K. 1971 Hanf numbers for fragments of L∞ω. Israel Journal of Mathematics, vol. 10 (1971), pp. 306-320.
Barwise, K. J. and Makkai, M. 1976 The completeness theorem for stationary logic. Preliminary report. Notices of the American Mathematical Society, vol. 23 (1976), p. A594. Abstract.
Barwise, K. J. and Moschovakis, Y. N. 1978 Global inductive definability. Journal of Symbolic Logic, vol. 43 (1978), pp. 521-534.
Barwise, K. J. and Schlipf, J. S. 1975 On recursively saturated models of arithmetic. In: Model Theory and Algebra, edited by Saracino, D. H. and Weispfenning, V. B.. Springer- Verlag Lecture Notes in Mathematics, vol. 498 (1975), pp. 42-55.
Barwise, K. J. and Schlipf, J. S. 1976 An introduction to recursively saturated and resplendent models. Journal of Symbolic Logic, vol. 41 (1976), pp. 531-536.
Baudisch, A. 1976 Elimination of the quantifiers Qa in the theory of Abelian groups. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 24 (1976), pp. 543-549.
Baudisch, A. 1977a Decidability of the theory of Abelian groups with Ramsey quantifiers. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 25 (1977), pp. 733-739.
Baudisch, A. 1977b Theorien von Klassen Abelscher Gruppen mit verallgemein-erten Quantoren. Habilitationsschrift, Humboldt-Universität, 1977, 133 pp.
Baudisch, A. 1977c The theory of Abelian groups with the quantifier (≤ x). Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 23 (1977), pp. 447-462.
Baudisch, A. 1979 Uncountable n-cubes in models of א0 -categorical theories. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 27 (1979), pp. 1-9.
Baudisch, A. 1980 The theory of Abelian p-groups with the quantifier I is decidable. Fundamenta Mathematicae, vol. 108 (1980), pp. 183-197.
Baudisch, A. 1981a The elementary theory of Abelian groups with fi-chains of pure subgroups. Fundamenta Mathematicae, vol. 112 (1981), pp. 147-157.
Baudisch, A. 1981b Formulas of L(aa) where aa is not in the scope of “” Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 249-254.
Baudisch, A. 1982 Decidability and stability of free nilpotent Lie algebras and free nilpotent p-groups of finite exponent. Annals of Mathematical Logic, vol. 23 (1982), pp. 1-25.
Baudisch, A. 1983 Corrections and supplements to “Decidability of the theory of Abelian groups with Ramsey quantifiers”. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 31 (1983), pp. 99-105.
Baudisch, A. 1984 Magidor-Malitz quantifiers in modules. Journal of Symbolic Logic, vol. 49 (1984), pp. 1-8.
Baudisch, A., Seese, D. G., and Tuschik, H.-P. 1983 ω-trees in stationary logic. Fundamenta Mathematicae, vol. 119 (1983), pp. 205-215.
Baudisch, A., Seese, D. G., Tuschik, H.-P. and Weese, M. 1980 Decidability and Generalized Quantifiers. Akademie-Verlag, Berlin, 1980, xii+235 pp.
Baudisch, A. and Weese, M. 1977 The Lindenbaum algebras of the theories of well-orderings and Abelian groups with the quantifier Q α . In: Set Theory and Hierarchy Theory V, edited by Lachlan, A. H., Srebrny, M. and Zarach, A.. Springer-Verlag Lecture Notes in Mathematics, vol. 619 (1977), pp. 59-74.
Baumgartner, J. E. 1973 All א1-dense sets of reals can be isomorphic. Fundamenta Mathematicae, vol. 79 (1973), pp. 101-106.
Baumgartner, J. E. 1974 The Hanf number for complete Lω1ω sentences (without GCH). Journal of Symbolic Logic, vol. 39 (1974), pp. 575-578.
Baumgartner, J. E. 1975 Ineffability properties of cardinals, I. In: Infinite and Finite Sets, edited by Hajnal, A., Rado, R. and Sós, V. T.. North-Holland Publishing Company, 1975, pp. 109-130.
Baumgartner, J. E. 1976 Ineffability properties of cardinals, II. In: Logic, Methodology and Philosophy of Science V, edited by Butts, R. E. and Hintikka, K. J. J.. North-Holland Publishing Company, 1976, pp. 87-106.
Baumgartner, J. E. and Laver, R. 1979 Iterated perfect-set forcing. Annals of Mathematical Logic, vol. 17 (1979), pp. 271-288.
Baumgartner, J. E., Malitz, J. J. and Reinhardt, W. N. 1970 Embedding trees in the rationals. Proceedings of the National Academy of Sciences of the USA, vol. 67 (1970), pp. 1748-1753.
Baur, W. 1975 א0-categorical modules. Journal of Symbolic Logic, vol. 40 (1975), pp. 213 220.
Baur, W. 1976 Elimination of quantifiers for modules. Israel Journal of Mathematics, vol. 25 (1976), pp. 64-70.
Bell, J. L. 1970 Weak compactness in restricted second-order languages. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 18 (1970), pp. 111-114.
Bell, J. L. 1972 On the relationship between weak compactness in Lω1ω, and restricted second-order languages. Archiv für Mathematische Logik und Grundlagenforschung, vol. 15 (1972), pp. 74-78.
Bell, J. L. 1974 On compact cardinals. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 20 (1974), pp. 389-393.
Bell, J. L. and Slomson, A. B. 1969 Models and Ultraproducts: An Introduction. North-Holland Publishing Company, 1969, ix+322 pp.
Benda, M. 1968 Ultraproducts and non-standard logics. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 16 (1968), pp. 453-456.
Benda, M. 1969 Reduced products and non-standard logics. Journal of Symbolic Logic, vol. 34 (1969), pp. 424-436.
Benda, M. 1970 Reduced products, filters and Boolean ultrapowers. Doctoral Dissertation, University of Wisconsin, Madison, 1970, vii-f 60 pp.
Benda, M. 1972 On reduced products and filters. Annals of Mathematical Logic, vol. 4 (1972), pp. 1-29.
Benda, M. 1978 Compactness for omitting of types. Annals of Mathematical Logic, vol. 14 (1978), pp. 39-56.
Ben-David, S. 1978a On Shelah's compactness of cardinals. Israel Journal of Mathematics, vol. 31 (1978), pp. 34-56.
Ben-David, S. 1978b Correction to: “On Shelah's compactness of cardinals”. Israel Journal of Mathematics, vol. 31 (1978), p. 394.
Benyamini, Y., Rudin, M. E. and Wage, M. L. 1977 Continuous images of weakly compact subsets of Banach spaces. Pacific Journal of Mathematics, vol. 70 (1977), pp. 309-324.
Bergstra, J. A. and Tucker, J. V. 1984 Hoare's logic for programming languages with two data types. (Note). Theoretical Computer Science, vol. 28 (1984), pp. 215-222.
Berman, J. D. See: Baldwin, J. T. and Berman, J. D. 1975; Baldwin, J. T. and Berman, J. D. 1981.
Beth, E. W. 1953 On Padoa's method in the theory of definition. Indagationes Mathematicae, vol. 15 (1953), pp. 330-339.
Bochvar, D. A. 1940 Über einen Aussagenkalkül mit abzählbaren logischen Summen und Produkten. Matematičeskiĭ Sbornik, vol. 7 (1940), pp. 65-100.
Boos, W. 1975 Lectures on large cardinal axioms. In: ISILC Logic Conference, edited by Müller, G. H., Oberschelp, A. and Potthoff, K.. Springer-Verlag Lecture Notes in Mathematics, vol. 499 (1975), pp. 25-88.
Boos, W. 1976 Infinitary compactness without strong inaccessibility. Journal of Symbolic Logic, vol. 41 (1976), pp. 33-38.
Bourgain, J., Rosenthal, H. P. and Schechtman, G. 1981 An ordinal L p-index for Banach spaces, with application to complemented subspaces of L p . Annals of Mathematics, vol. 114 (1981), pp. 193-228.
Broesterhuizen, G.A. 1975a A generalized Loś ultraproduct theorem. Colloquium Mathematicum, vol. 33 (1975), pp. 161-173.
Broesterhuizen, G.A. 1975b Structures for a logic with additional generalized quantifier. Colloquium Mathematicum, vol. 33 (1975), pp. 1-12.
Brown, W. E. 1972 Infinitary languages, generalized quantifiers and generalized products. Doctoral Dissertation, Dartmouth College, 1972, 118 pp.
Bruce, K. B. 1975 Model-theoretic forcing with a generalized quantifier. Doctoral Dissertation, University of Wisconsin, Madison, 1975, 163 pp.
Bruce, K. B. 1976 Model-theoretic forcing in L(Q). Journal of Symbolic Logic, vol. 41 (1976), p. 281. Abstract.
Bruce, K. B. 1977 Forcing in stationary logic. Preliminary report. Notices of the American Mathematical Society, vol. 24 (1977), p. A21. Abstract.
Bruce, K. B. 1978a Ideal models and some not so ideal problems in the model theory of L(Q). Journal of Symbolic Logic, vol. 43 (1978), pp. 304-321.
Bruce, K. B. 1978b Model-theoretic forcing in logic with a generalized quantifier. Annals of Mathematical Logic, vol. 13 (1978), pp. 225-265.
Bruce, K. B. 1980 Model constructing in stationary logic, I. Forcing. Journal of Symbolic Logic, vol. 45 (1980), pp. 439-454.
Bruce, K. B. 1981 Definable ultrapowers and compactness in stationary logic. Journal of Symbolic Logic, vol. 46 (1981), p. 193. Abstract.
Bruce, K. B. and Keisler, H. J. 1979 LA(F). Journal of Symbolic Logic, vol. 44 (1979), pp. 15-28.
Büchi, J. R. 1960 Weak second-order arithmetic and finite automata. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 66-92.
Büchi, J. R. 1962 On a decision method in restricted second order arithmetic. In: Logic, Methodology and Philosophy of Science, edited by Nagel, E., Suppes, P. and Tarski, A.. Stanford University Press, 1962, pp. 1-11.
Büchi, J. R. 1965a Decision methods in the theory of ordinals. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 767-770.
Büchi, J. R. 1965b Transfinite automata recursions and weak second order theory of ordinals. In: Logic, Methodology and Philosophy of Science, edited by Bar-Hillel, Y.. North-Holland Publishing Company, 1965, pp. 3-23.
Büchi, J. R. 1973 The monadic second-order theory of ω 1. In: Decidable Theories, II: Monadic Second Order Theory of All Countable Ordinals, edited by Müller, G.H. and Siefkes, D.. Springer-Verlag Lecture Notes in Mathematics, vol. 328 (1973), pp. 1-127.
Büchi, J. R. 1977 Using determinancy of games to eliminate quantifiers. In: Fundamentals of Computation Theory, edited by Karpiński, M.. Springer-Verlag Lecture Notes in Computer Science, vol. 56 (1977), pp. 367-378.
Büchi, J. R. 1981 Winning state-strategies for Boolean Fσ-games. Manuscript, Purdue University, 1981, 45 pp.
Büchi, J. R. 1983 State-strategies for games in Fσδ ∩Gσδ. Journal of Symbolic Logic, vol. 48 (1983), pp. 1171-1198.
See also: Danhof, K. J. and Biichi, J. R. 1973.
Büchi, J. R. and Land Weber, L. H. 1969a Definability in the monadic second-order theory of successors. Journal of Symbolic Logic, vol. 34 (1969), pp. 166-170.
Büchi, J. R. and Land Weber, L. H. 1969b Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, vol. 138 (1969), pp. 295-311.
Büchi, J. R. and Siefkes, D. 1973 Axiomatization of the monadic second order theory of ω 1. In: Decidable Theories, II: Monadic Second Order Theory of All Countable Ordinals, edited by Müller, G. H. and Siefkes, D.. Springer-Verlag Lecture Notes in Mathematics, vol. 328 (1973), pp. 129-217.
Büchi, J. R. and Siefkes, D. 1983 The complete extensions of the monadic second order theory of countable ordinals. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 29 (1983), pp. 289-312.
Buchi, J. R. and Zaiontz, C. 1983 Deterministic automata and the monadic theory of ordinals < ω 2 - Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 29 (1983), pp. 313-336.
Buechler, S. 1979a Ideal models and uniform validity. Manuscript, University of Maryland, 1979, 25 pp.
Buechler, S. 1979b Uniform validity and stationary logic. Manuscript, University of Maryland, 1979, 25 pp.
Burgess, J. P. 1977 Descriptive set theory and infinitary languages. In: Set Theory and Foundations of Mathematics, edited by Andjelić, T.. Institut Mathematique (Belgrad), Recueil des Travaux, N.S., vol. 2 (1977), pp. 9-30.
Burgess, J. P. 1978a Consistency proofs in model theory: a contribution to Jensenlehre. Annals of Mathematical Logic, vol. 14 (1978), pp. 1-12.
Burgess, J. P. 1978b On the Hanf number of Souslin logic. Journal of Symbolic Logic, vol. 43 (1978), pp. 568-571.
Burgess, J. P. and Miller, D. E. 1975 Remarks on invariant descriptive set theory. Fundamenta Mathematicae, vol. 90 (1975), pp. 53-75.
Burris, S. N. 1973 Scott sentences and a problem of Vaught for mono-unary algebras. Fundamenta Mathematicae, vol. 80 (1973), pp. 111-115.
Burris, S. N. and McKenzie, R. 1981 Decidable varieties with modular congruence lattices. Bulletin of the American Mathematical Society, vol. 4 (1981), pp. 350-352.
Burstall, R. M. See: Goguen, J. A. and Burstall, R. M. 1984.
Caicedo Ferrer, X. 1977a A back-and-forth characterization of elementary equivalence in stationary logic. Technical Report, Department of Mathematics, University of Maryland, 1977, 22 pp.
Caicedo Ferrer, X. 1977b On extensions of L(Q1). Preliminary report Notices of the American Mathematical Society, vol. 24 (1977), p. A437. Abstract.
Caicedo Ferrer, X. 1978 Maximality and interpolation in abstract logics (back-and-forth techniques). Doctoral Dissertation, University of Maryland, 1978, 146 pp.
Caicedo Ferrer, X. 1980 Back-and-forth systems for arbitrary quantifiers. In: Mathematical Logic in Latin America, edited by Arruda, A. I., Chuaqui, R. and DaCosta, N. C. A.. North-Holland Publishing Company, 1980, pp. 83-102.
Caicedo Ferrer, X. 1981a Back-and-forth systems for arbitrary quantifiers. Journal of Symbolic Logic, vol. 46 (1981), p. 183. Abstract.
Caicedo Ferrer, X. 1981b On extensions of L ωω (Q1). Notre Dame Journal of Formal Logic, vol. 22 (1981), pp. 85-93.
Caicedo Ferrer, X. 1981c Independent sets of axioms in Lκα. Canadian Mathematical Bulletin, vol. 24 (1981), pp. 219-223.
Calais, J.-P. 1969 La méthode de Fraïssé dans les langages infinis. Comptes Rendus Hebdomadaires des Seances de l'Academie des Sciences, Serié A, vol. 268 (1969), pp. 785-788 and pp. 845-348.
Calais, J.-P. 1972 Partial isomorphisms and infinitary languages. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 18 (1972), pp. 435-456.
Call, R. L. 1972 Sequent methods in systems with generalized quantifiers. Journal of Symbolic Logic, vol. 37 (1972), p. 433. Abstract.
Campbell, P. J. 1971 Suslin logic. Doctoral Dissertation, Cornell University, 1971, 78 pp.
Carnap, R. 1935 Ein Gültigkeitskriterium für die Sätze der klassischen Mathematik. Monatshefte für Mathematik und Physik, vol. 42 (1935), pp. 163-190.
Carstengerdes, W. 1971a Mehrsortige logische Systeme mit unendlich langen Formeln, I. Archiv für Mathematische Logik und Grundlagenforschung, vol. 14 (1971), pp. 38-53.
Carstengerdes, W. 1971b Mehrsortige logische Systeme mit unendlich langen Formeln, II. Archiv für Mathematische Logik und Grundlagenforschung, vol. 14 (1971), pp. 108-126.
Chang, C. C. 1965a A note on the two cardinal problem. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 1148-1155.
Chang, C. C. 1965b A simple proof of the Rabin-Keisler theorem. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 642-643.
Chang, C. C. 1967 Ultraproducts and other methods of constructing models. In: Sets, Models, and Recursion Theory, edited by Crossley, J. N.. North-Holland Publishing Company, 1967, pp. 85-121.
Chang, C. C. 1968a A generalization of the Craig interpolation theorem. Notices of the American Mathematical Society, vol. 15 (1968), p. 934. Abstract.
Chang, C. C. 1968b Infinitary properties of models generated from indiscernibles. In: Logic, Methodology and Philosophy of Science III, edited by van Rootselaar, B. and Staal, J. F.. North-Holland Publishing Company, 1968, pp. 9-21.
Chang, C. C. 1968c Some remarks on the model theory of infinitary languages. In: The Syntax and Semantics of Infinitary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 36-63.
Chang, C. C. 1971a Sets constructive using Lκκ. In: Axiomatic Set Theory, Part I, edited by D. S. Scott. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 13 (1971), pp. 1-8.
Chang, C. C. 1971b Two interpolation theorems. Symposia Mathematica, vol. 5 (1971), pp. 5-19.
Chang, C. C. 1973 Modal model theory. In: Cambridge Summer School in Mathematical Logic, edited by Mathias, A. R. D. and Rogers, H.. Springer-Verlag Lecture Notes in Mathematics, vol. 337 (1973), pp. 599-617.
Chang, C. C. and Keisler, H. J. 1962 Applications of ultraproducts of pairs of cardinals to the theory of models. Pacific Journal of Mathematics, vol. 12 (1962), pp. 835-845.
Chang, C. C. and Keisler, H. J. 1973 Model Theory. North-Holland Publishing Company, 1973, xti+550 pp.
Chang, C. C. and Keisler, H. J. 1977 Model Theory (Second Edition). North-Holland Publishing Company, 1977, xii+554 pp.
Chang, C. C. and Moschovakis, Y. N. 1968 On Σ1 1-relations on special models. Notices of the American Mathematical Society, vol. 15 (1968), p. 934. Abstract.
Chang, C. C. and Moschovakis, Y. N. 1970 The Suslin-Kleene theorem for Vκ with cofinality (κ) — ω. Pacific Journal of Mathematics, vol. 35 (1970), pp. 565-569.
Chase, S. U. 1963 On group extensions and a problem of J. H. C. Whitehead. In: Topics in Abelian Groups, edited by Irwin, J. M. and Walker, E. A.. Scott, Foresman and Company, 1963, pp. 173-193.
Cberlin, G. L. 1976 Model-theoretic algebra. Journal of Symbolic Logic, vol. 41 (1976), pp. 537 545.
Cherlin, G. L. and Schmitt, P. H. A decidable L t-theory of topological Abelian groups. Manuscript, University of Heidelberg, 1980, 58 pp.
Cherlin, G. L. and Schmitt, P. H. Undecidable L t theories of topological Abelian groups. Journal of Symbolic Logic, vol. 46 (1981), pp. 761-772.
Cherlin, G. L. and Schmitt, P. H. 1983 Locally pure topological Abelian groups: Elementary invariants. Annals of Pure and Applied Logic, vol. 24 (1983), pp. 49-85.
Choueka, Y. A. 1974 Theories of automata on uj-tapes: A simplified approach. Journal of Computer and System Sciences, vol. 8 (1974), pp. 117-141.
Church, A. 1963 Logic, arithmetic, and automata. In: Proceedings of the International Congress of Mathematicians. 1962, edited by Stenstrom, V.. Institute Mittag-Leffler, Djursholm, 1963, pp. 23-35.
Cleave, J. P. 1969a Local properties of systems. The Journal of the London Mathematical Society, vol. 44 (1969), pp. 121-130.
Cleave, J. P. 1969b Addendum: Local properties of systems. The Journal of the London Mathematical Society, vol. 44 (1969), p. 384.
Cocchiarella, N. B. 1975 A second order logic of variable-binding operators. Reports on Mathematical Logic, vol. 5 (1975), pp. 3-18.
Cole, J. C. and Dickmann, M. A. 1972 Non-axiomatizability results in infinitary languages for higher-order structures. In: Conference in Mathematical Logic, London ’70, edited by Hodges, W.. Springer-Verlag Lecture Notes in Mathematics, vol. 255 (1972), pp. 29-41.
Combase, J. 1984 On the existence of finitely determinate models for some theories in stationary logic. Journal of Symbolic Logic, vol. 49 (1984), p. 687. Abstract.
Comfort, W. W. and Negrepontis, S. 1974 The Theory of Ultrafilters.Springer-Verlag, 1974, x+482 pp.
Compton, K. J. 1980 Applications of logic to finite combinatorics. Doctoral Dissertation, University of Wisconsin, 1980, iv+120 pp.
Cooper, R. See: Barwise, K. J. and Cooper, R. 1981.
Corcoran, J., Hatcher, W. S., and Herring, J. M. 1972 Variable binding term operators. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 18 (1972), pp. 177-182.
Corcoran, J. and Herring, J. M. 1971 Notes on a semantic analysis of variable binding term operators. Logique et Analyse, vol. 14 (1971), pp. 644-657.
Corrada, M. and de Alcantara, L. P. 1980 Notes on many-sorted systems. In: Proceedings of the Third Brazilian Conference on Mathematical Logic, edited by Arruda, A. I., DaCosta, N. C. A. and Sette, A. M.. Sociedade Brasileira de Logica, 1980, pp. 83-108.
Coven, C. W. 1971 Forcing for infinitary languages. Doctoral Dissertation, Yale University, 1971, 91 pp.
Cowles, J. R. 1975 Abstract logic and extensions of first-order logic. Doctoral Dissertation, University of Pennsylvania, 1975, 74 pp.
Cowles, J. R. 1976 Ordered structures and logics with Ramsey quantifiers. Notices of the American Mathematical Society, vol. 23 (1976), p. A450. Abstract.
Cowles, J. R. 1977 The theory of differential closed fields in logics with cardinal quantifiers. Archiv für Mathematische Logik und Grundlagenforschung, vol. 18 (1977), pp. 105-114.
Cowles, J. R. 1979a The relative expressive power of some logics extending first-order logic. Journal of Symbolic Logic, vol. 44 (1979), pp. 129-146.
Cowles, J. R. 1979b The theory of Archimedean real closed fields in logics with Ramsey quantifiers. Fundamenta Mathematicae, vol. 103 (1979), pp. 65-76.
Cowles, J. R. 1980 Field theories in the logic with the Härtig quantifier. Abstracts of Papers Presented to the American Mathematical Society, vol. 1 (1980), p. 175. Abstract.
Cowles, J. R. 1981a Generalized Archimedean fields and logics with Malitz quantifiers. Fundamenta Mathematicae, vol. 112 (1981), pp. 45-59.
Cowles, J. R. 1981b The Henkin quantifier and real closed fields. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 549-555.
Craig, W. 1957a Linear reasoning. A new form of the Herbrand-Gentzen theorem. Journal of Symbolic Logic, vol. 22 (1957), pp. 250-268.
Craig, W. 1957b Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Journal of Symbolic Logic, vol. 22 (1957), pp. 269-285.
Craig, W. 1962 Relative characterizability and generalized existential quantifiers. Preliminary report. Notices of the American Mathematical Society, vol. 9 (1962), p. 153. Abstract.
Craig, W. 1965 Satisfaction for n-th order languages defined in n-th order languages. Journal of Symbolic Logic, vol. 30 (1965), pp. 13-25.
Craig, W. and Vaught, R. L. 1958 Finite axiomatizability using additional predicates. Journal of Symbolic Logic, vol. 23 (1958), pp. 289-308.
Čudnovskiĭ, D. V. See: Čudnovskiĭ, G. V. and Čudnovskiĭ, D. V. 1971.
Čudnovskiĭ, G. V. 1968 Some results in the theory of infinitely long expressions. Soviet Mathematics, Doklady, vol. 9 (1968), pp. 556-559.
Čudnovskiĭ, G. V. 1970 Problems of the theory of models related to categoricity. Algebra and Logic, vol. 9 (1970), pp. 50-74.
Čudnovskiĭ, G. V. and Čudnovskiĭ, D. V. 1971 Regular and descending incomplete ultrafilters. Soviet Mathematics, Doklady, vol. 12 (1971), pp. 901-905.
Cutland, N. J. 1971 The theory of hyper arithmetic and Π1 1 models . Doctoral Dissertation, University of Bristol, 1971, vii+147 pp.
Cutland, N. J. 1972a Π1 1 models and Π1 1 categoricity. In : Conference in Mathematical Logic, London ’70, edited by Hodges, W.. Springer-Verlag Lecture Notes in Mathematics, vol. 255 (1972), pp. 42-62.
Cutland, N. J. 1972b Σ1 -compactness and ultraproducts. Journal of Symbolic Logic, vol. 37 (1972), pp. 668-672.
Cutland, N. J. 1973 Model theory on admissible sets. Annals of Mathematical Logic, vol. 5 (1973), pp. 257-290.
Cutland, N. J. 1976 Compactness without languages. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 22 (1976), pp. 113-115.
Cutland, N. J. 1978 Σ1 -compactness in languages stronger than L A . Journal of Symbolic Logic, vol. 43 (1978), pp. 508-520.
Cutland, N. J. 1982 On the existence of solutions to stochastic differential equations on Loeb spaces. Zeitschrift für Wahrscheinlichkeitstheorie und Ver-wandte Gebiete, vol. 60 (1982), pp. 335-357.
Cutland, N. J. 1983 Nonstandard measure theory and its applications. Bulletin of the London Mathematical Society, vol. 15 (1983), pp. 529-589.
Cutland, N. J. and Kaufmann, M. J. 1979 On well-founded Σ1 -compactness. Preliminary report. Notices of the American Mathematical Society, vol. 26 (1979), p. A247. Abstract.
Cutland, N. J. and Kaufmann, M. J. 1980 Σ1 -well-founded compactness. Annals of Mathematical Logic, vol. 18 (1980), pp. 271-296.
Dacosta, N. C. A. and Pinter, C. 1976 α-logic and infinitary languages. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 22 (1976), pp. 105- 112.
Dahn, B. 1974 Contributions to the model theory for non-classical logics. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 20 (1974), pp. 473-479.
Dahn, B. 1979 Invariant logics. Journal of Symbolic Logic, vol. 44 (1979), p. 445. Abstract.
Daley, R. F. See: Manders, K. L. and Daley, R. F. 1982.
Danhof, K. J. and Büchi, J. R. 1973 Variations on a theme of Cantor in the theory of relational structures. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 19 (1973), pp. 411-426.
de Alcantara, L. P. See: Corrada, M. and de Alcantara, L. P. 1980.
Dellacherie, C. and Meyer, P. A. 1981 Probabilities and Potential. North-Holland Publishing Company, 1981, x+129 pp.
Devlin, K. J. 1973a Aspects of Constructibility. Springer-Verlag Lecture Notes in Mathematics, vol. 354, 1973, xii+240 pp.
Devlin, K. J. 1973b On forcing with Souslin trees. Technical Report, University of Oslo, 1973, 14 pp.
Devlin, K. J. 1975 Indescribability properties and small large cardinals. In: ISILC Logic Conference, edited by Müller, G.H., Oberschelp, A. and Potthoff, K.. Springer-Verlag Lecture Notes in Mathematics, vol. 499 (1975), pp. 89-114.
Devlin, K. J. 1977 Constructibility. In: Handbook of Mathematical Logic, edited by Barwise, K. J.. North-Holland Publishing Company, 1977, pp. 453-489.
Devlin, K. J. and Johnsbråten, H. 1974 The Souslin Problem. Springer-Verlag Lecture Notes in Mathematics, vol. 405, 1974, viii+132 pp.
Devlin, K. J. and Shelah, S. 1978 A weak version of ◊ which follows from a weak version of 2X0 < 2X1. Israel Journal of Mathematics, vol. 29 (1978), pp. 239-247.
Dickmann, M. A. 1970 Model Theory of Infinitary Languages. Aarhus Lecture Notes Series. Matematisk Institut, Aarhus Universitet, vol. 20, 1970, viii+390 pp.
Dickmann, M. A. 1973 The problem of non-finite axiomatizability of א1-categorical theories. In: Proceedings of the Bertrand Russell Memorial Logic Conference, edited by Bell, J. L., Cole, J. C., Priest, G. and Slomson, A. B.. University of Leeds, 1973, pp. 141-216.
Dickmann, M. A. 1975 Large Infinitary Languages: Model Theory.North-Holland Publishing Company, 1975, xv+464 pp.
Dickmann, M. A. 1977 Deux applications de la méthode de va–et–vient. Publications du Département de Mathématiques, Faculté des Sciences de Lyon, vol. 14 (1977), pp. 63-92.
See also: Cole, J. C. and Dickmann, M. A. 1972.
Donder, H.-D., Jensen, R. B. and Koppelberg, B. J. 1981 Some applications of the core model. In: Set Theory and Model Theory, edited by Jensen, R. B. and Prestel, A.. Springer-Verlag Lecture Notes in Mathematics, vol. 872 (1981), pp. 55-97.
Doner, J. E. 1965 Decidability of the weak second-order theory of two successors. Notices of the American Mathematical Society, vol. 12 (1965), p. 819. Abstract.
Doner, J. E. 1970 Tree acceptors and some of their applications. Journal of Computer and System Sciences, vol. 4 (1970), pp. 406-451.
Doner, J. E., Mostowski, A. and Tarski, A. 1978 The elementary theory of well-ordering — a metamathematical study. In: Logic Colloquium ’77, edited by Macintyre, A. J.,Pacholski, L. and Paris, J.B.. North-Holland Publishing Company, 1978, pp. 1-54.
Doraczynski, R. 1973 Elimination of bound variables in logic with an arbitrary quantifier. Studia Logica, vol. 32 (1973), pp. 117-129.
Drake, F. R. 1974 Set Theory: An Introduction to Large Cardinals. North-Holland Publishing Company, 1974, xii+351 pp.
Duriel, M. 1977a Generalized quantifiers and elementary extensions of countable models. Journal of Symbolic Logic, vol. 42 (1977), pp. 341-348.
Duriel, M. 1977b Generalized quantifiers in models of set theory. Journal of Symbolic Logic, vol. 42 (1977), p. 448. Abstract.
Dürbaum, H. See: Kowalsky, H.-J. and Diirbaum, H. 1953.
Easton, W. B. 1970 Powers of regular cardinals. Annals of Mathematical Logic, vol. 1 (1970), pp. 139-178.
Ebbinghaus, H. D. 1968 On the logic with the added quantifier Q (there are uncountably many). Notices of the American Mathematical Society, vol. 15 (1968), p. 547. Abstract.
Ebbinghaus, H. D. 1969 Über für-fast-alle-Quantoren. Archiv für Mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 179-193.
Ebbinghaus, H. D. 1971 On models with large automorphism groups. Archiv für Mathematische Logik und Grundlagenforschung, vol. 14 (1971), pp. 179- 197.
Ebbinghaus, H. D. 1975a Modelltheorie und Logik. Jahresbericht der Deutschen Mathema-tiker-Vereinigung, vol. 76 (1975), pp. 165-182.
Ebbinghaus, H. D. 1975b Zum L(Q)-Interpolationsproblem. Mathematische Zeitschrift, vol. 142 (1975), pp. 271-279.
Ebbinghaus, H. D. and Flum, J. 1974 Eine Maximalitätseigenschaft der Prädikatenlogik erster Stufe. Mathematische-Physikalische Semesterberichte, Gottingen, vol. 21 (1974), pp. 182-202.
Ebbinghaus, H. D., Flum, J. and Thomas, W. 1984 Mathematical Logic. Springer-Verlag, 1984, x+216 pp.
Ebbinghaus, H. D. and Ziegler, M. 1982 Interpolation in Logiken monotoner Systeme. Archiv für Mathematische Logik und Grundlagenforschung, vol. 12 (1982), pp. 1-17.
Ehrenfeucht, A. 1958 Theories having at least continuum many non-isomorphic models in each infinite power. Notices of the American Mathematical Society, vol. 5 (1958), p. 680. Abstract.
Ehrenfeucht, A. 1959a Decidability of the theory of one function. Notices of the American Mathematical Society, vol. 6 (1959), p. 268. Abstract.
Ehrenfeucht, A. 1959b Decidability of the theory of one linear ordering relation. Notices of the American Mathematical Society, vol. 6 (1959), pp. 268-269. Abstract.
Ehrenfeucht, A. 1961 An application of games to the completeness problem for formalized theories. Fundamenta Mathematicae, vol. 49 (1961), pp. 129-141.
Ehrenfeucht, A. 1975 Practical decidability. Journal of Computer and System Sciences, vol. 11 (1975), pp. 392-396.
Ehrenfeucht, A. and Mostowski, A. 1956 Models of axiomatic theories admitting automorphisms. Fundamenta Mathematicae, vol. 43 (1956), pp. 50-68.
Eklof, P. C. 1970 On the existence of L ∞κ-indiscernibles. Proceedings of the American Mathematical Society, vol. 25 (1970), pp. 798-800.
Eklof, P. C. 1973 Lefschetz's principle and local functors. Proceedings of the American Mathematical Society, vol. 37 (1973), pp. 333-339.
Eklof, P. C. 1974 Infinitary equivalence of Abelian groups. Fundamenta Mathematicae, vol. 81 (1974), pp. 305-314.
Eklof, P. C. 1975a Categories of local functors. In: Model Theory and Algebra, edited by Saracino, D. H. and Weispfenning, V. B.. Springer-Verlag Lecture Notes in Mathematics, vol. 498 (1975), pp. 91-116.
Eklof, P. C. 1975b On the existence of k,-free Abelian groups. Proceedings of the American Mathematical Society, vol. 47 (1975), pp. 65-72.
Eklof, P. C. 1976 Infinitary model theory of Abelian groups. Israel Journal of Mathematics, vol. 25 (1976), pp. 97-107.
Eklof, P. C. 1977a Applications of logic to the problem of splitting Abelian groups. In: Logic Colloquium ’76, edited by Hyland, J. M. E. and Gandy, R. O.. North-Holland Publishing Company, 1977, pp. 287-299.
Eklof, P. C. 1977b Classes closed under substructures and direct limits. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 23 (1977), pp. 427-430.
Eklof, P. C. 1977c Methods of logic in Abelian group theory. In: Abelian Group Theory, edited by Arnold, D. M., Hunter, R. H. and Walker, E. A.. Springer-Verlag Lecture Notes in Mathematics, vol. 616 (1977), pp. 251-269.
See also: Barwise, K. J. and Eklof, P. C. 1969; Barwise, K. J. and Eklof, P. C. 1970.
Eklof, P. C. and Fisher, E. R. 1972 The elementary theory of Abelian groups. Annals of Mathematical Logic, vol. 4 (1972), pp. 115-171.
Eklof, P. C. and Mekler, A. H. 1979 Stationary logic of finitely determinate structures. Annals of Mathematical Logic, vol. 17 (1979), pp. 227-269.
Eklof, P. C. and Mekler, A. H. 1981 Infinitary stationary logic and Abelian groups. Fundamenta Mathematicae, vol. 112 (1981), pp. 1-15.
Eklof, P. C. and Mekler, A. H. 1982 Categoricity results for L∞κ -free algebras. Abstracts of Papers Presented to the American Mathematical Society, vol. 3 (1982), pp. 409-410. Abstract.
Eklof, P. C. and Sabbagh, G. 1971 Definability problems for modules and rings. Journal of Symbolic Logic, vol. 36 (1971), pp. 623-649.
Elgot, C. C. 1961 Decision problems of finite automata design and related arithmetics. Transactions of the American Mathematical Society, vol. 98 (1961), pp. 21-51.
Ellentuck, E. 1975 The foundations of Suslin logic. Journal of Symbolic Logic, vol. 40 (1975), pp. 567-575.
Enderton, H. B. 1970a Finite partially ordered quantifiers. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 393-397.
Enderton, H. B. 1970b The unique existential quantifier. Archiv für Mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 52-54.
Enderton, H. B. 1972 A Mathematical Introduction to Logic. Academic Press, 1972, xiii+295 pp.
Engeler, E. 1961a Unendliche Formeln in der Modelltheorie. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 154-160.
Engeler, E. 1961b Zur Beweistheorie von Sprachen mit unendlich langen Formeln. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 213-218.
Engeler, E. 1963a Combinatorial theorems for the construction of models. In: The Theory of Models, edited by Addison, J. W., Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 77-88.
Engeler, E. 1963b A reduction principle for infinite formulas. Mathematische Annalen, vol. 151 (1963), pp. 296-303.
Engelking, R. and Karlowicz, M. 1965 Some theorems of set theory and their topological consequences. Fundamenta Mathematicae, vol. 57 (1965), pp. 275-285.
Erdös, P., Gillman, L. and Henriksen, M. 1955 An isomorphism theorem for real closed fields. Annals of Mathematics, vol. 61 (1955), pp. 542-554.
Erdös, P. and Hajnal, A. 1958 On the structure of set mappings. Acta Mathematica Academiae Scientiarum Hungaricae, vol. 9 (1958), pp. 111-131.
Erdös, P. and Hajnal, A. 1962 Some remarks concerning our paper “On the structure of set mappings”. Acta Mathematica Academiae Scientiarum Hungaricae, vol. 13 (1962), pp. 223-226.
Erdös, P., Hajnal, A. and Rado, R. 1965 Partition relations for cardinal numbers. Acta Mathematica Academiae Scientiarum Hungaricae, vol. 16 (1965), pp. 93-196.
Erdös, P. and Rado, R. 1956 A partition calculus in set theory. Bulletin of the American Mathematical Society, vol. 62 (1956), pp. 427-489.
Eršov, Ju. L. 1964a Decidability of certain non-elementary theories (Russian). Algebra i Logika, vol. 3, no. 2 (1964), pp. 45-47.
Eršov, Ju. L. 1964b Decidability of the elementary theory of relatively complemented lattices and of the theory of filters (Russian). Algebra i Logika, vol. 3, no. 3 (1964), pp. 17-38.
Eršov, Ju. L. 1974 Theories of non-Abelian varieties of groups. In: Proceedings of the Tarski Symposium, edited by Henkin, L. A.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 25 (1974), pp. 255-264.
Fagin, R. 1976 Probabilities on finite models. Journal of Symbolic Logic, vol. 41 (1976), pp. 50-58.
Fajardo, S. V. 1980 Compacidad y decidibilidad de logicas monddicas con cuantificadores cardinales. Revista Colombiana de Matematicas, vol. 14 (1980), pp. 173-196.
Falevič, B.JA. 1959 Incompleteness theorems in systems with infinite induction (Russian). In: Trudy Tret'ego Vsesojuznogo Matematičeskogo S'ezda, edited by Abramov, A. A., Boltjanskiĭ, V. G. and Nikol'skiĭ, S. M.. Izda- tePstvo Akademii Nauk SSSR, Moskva, 1959, pp. 89-90.
Feferman, S. 1968a Lectures on proof theory. In: Proceedings of the Summer School in Logic, Leeds, 1967, edited by Löb, M.H.. Springer-Verlag Lecture Notes in Mathematics, vol. 70 (1968), pp. 1-107.
Feferman, S. 1968b Persistent and invariant formulas for outer extensions. Compositio Mathematica, vol. 20 (1968), pp. 29-52.
Feferman, S. 1972 Infinitary properties, local functors, and systems of ordinal functions. In: Conference in Mathematical Logic, London ’70, edited by Hodges, W.. Springer- Verlag Lecture Notes in Mathematics, vol. 255 (1972), pp. 63-97.
Feferman, S. 1974a Applications of many-sorted interpolation theorems. In: Proceedings of the Tarski Symposium, edited by Henkin, L. A.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 25 (1974), pp. 205-223.
Feferman, S. 1974b Two notes on abstract model theory, I: Properties invariant on the range of definable relations between structures. Fundamenta Mathematicae, vol. 82 (1974), pp. 153-165.
Feferman, S. 1975 Two notes on abstract model theory, II: Languages for which the set of valid sentences is s.i.i.d. Fundamenta Mathematicae, vol. 89 (1975), pp. 111-130.
Feferman, S. and Kreisel, G. 1966 Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 480-485.
Feferman, S. and Vaught, R. L. 1959 The first-order properties of algebraic systems. Fundamenta Mathematicae, vol. 47 (1959), pp. 57-103.
Felgner, U. 1971 Comparison of the axioms of local and universal choice. Fundamenta Mathematicae, vol. 71 (1971), pp. 43-62.
Felscher, W. 1965 Zur Algebra unendlich langer Zeichenreihen. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 5-16.
Fenstad, J. E. 1967 Representations of probabilities defined on first-order languages. In: Sets, Models, and Recursion Theory, edited by Crossley, J. N.. North-Holland Publishing Company, 1967, pp. 156-172.
Ferro, R. 1974 Interpolation theorems for second order positive languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality. Doctoral Dissertation, University of California at Los Angeles, 1974, 91 pp.
Ferro, R. 1975 Limits to some interpolation theorems. Rendiconti del Seminario Matematico delPUniversità di Padova, vol. 54 (1975), pp. 201- 213.
Ferro, R. 1976 Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinal- ity. Rendiconti del Seminario Matematico dell'Università di Padova, vol. 55 (1976), pp. 123-141.
Ferro, R. 1978 Interpolation theorems for L 2+ k,k . Journal of Symbolic Logic, vol. 43 (1978), pp. 535-549.
Ferro, R. 1981 An analysis of Karp's interpolation theorem and the notion of inconsistency property. Rendiconti del Seminario Matematico dell'Università di Padova, vol. 65 (1981), pp. 111-118.
Ferro, R. 1982 ω-satisfiability, ω-consistency property and the downward Löwenheim-Skolem theorem for Lκκ. Rendiconti del Seminario Matematico dell'Università di Padova, vol. 66 (1982), pp. 7-19.
Ferro, R. 1983 Seq-consistency property and interpolation theorems. Rendiconti del Seminario Matematico dell'Università di Padova, vol. 70 (1983), pp. 133-145.
Fischer, M. J. and Rabin, M. O. 1974 Super-exponential complexity of Presburger arithmetic. In: Complexity of Computation, edited by Karp, R. M.. SIAM-AMS Proceedings, vol. 7 (1974), pp. 27-41.
Fisher, E. R. 1977 Abelian Structures, I. In: Abelian Group Theory, edited by Arnold, D. M., Hunter, R. H. and Walker, E. A.. Springer-Verlag Lecture Notes in Mathematics, vol. 616 (1977), pp. 270-322.
See also: Barwise, K. J. and Fisher, E. R. 1970; Eklof, P. C. and Fisher, E. R. 1972.
Flum, J. 1971a Ganzgeschlossene und prädikatengeschlossene Logiken, I. Archiv für Mathematische Logik und Grundlagenforschung, vol. 14 (1971), pp. 24-37.
Flum, J. 1971b Ganzgeschlossene und prddikatengeschlossene Logiken, II. Archiv für Mathematische Logik und Grundlagenforschung, vol. 14 (1971), pp. 99-107.
Flum, J. 1971c A remark on infinitary languages. Journal of Symbolic Logic, vol. 36 (1971), pp. 461-462.
Flum, J. 1972a Die Automorphismenmengen der Modelle einer L Q-Theorie. Archiv für Mathematische Logik und Grundlagenforschung, vol. 15 (1972), pp. 83-85.
Flum, J. 1972b Hanf numbers and well-ordering numbers. Archiv für Mathematische Logik und Grundlagenforschung, vol. 15 (1972), pp. 164-178.
Flum, J. 1975a L(Q)-preservation theorems. Journal of Symbolic Logic, vol. 40 (1975), pp. 410-418.
Flum, J. 1975b First-order logic and its extensions. In: ISILC Logic Conference, edited by Müller, G. H., Oberschelp, A. and Potthoff, K.. Springer-Verlag Lecture Notes in Mathematics, vol. 499 (1975), pp. 248-310.
Flum, J. 1984 Model Itheorie - topologische Modelltheorie. Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 86 (1984), pp. 69-82.
See also: Ebbinghaus, H. D. and Flum, J. 1974; Ebbinghaus, H. D., Flum, J. and Thomas, W. 1984.
Flum, J. and Ziegler, M. 1980 Topological Model Theory. Springer-Verlag Lecture Notes in Mathematics, vol. 769, 1980, x+151 pp.
Fraïssé, R. 1954a Sur l'extension aux relations de quelques propriétés des ordres. Annales Scientifiques de l’École Normale Supérieure, vol. 71 (1954), pp. 363-388.
Fraïssé, R. 1954b Sur quelques classifications des systèmes des relations. Publications Scientifiques de l'Université d'Alger. Série A, vol. 1 (1954), pp. 35-182.
Fraïssé, R. 1955a Sur quelques classifications des relations basées sur des isomorphismes restreints, I: Étude générale. Publications Scientifiques de l'Université d'Alger. Série A, vol. 2 (1955), pp. 15-60.
Fraïssé, R. 1955b Sur quelques classifications des relations basées sur des isomorphismes restreints, II: Applications aux relations d'ordre, et construction d'exemples montrant que ces classifications sont distinctes. Publications Scientifiques de l'Université d'Alger. Série A, vol. 2 (1955), pp. 273-295.
Fraïssé, R. 1956a Sur quelques classifications des relations basées sur des isomorphismes restreints, HI: Comparison des parentés introduites dans la première partie avec des parentés précédemment étudiées. Publications Scientifiques de l'Universite d'Alger. Serie A, vol. 3 (1956), pp. 143-159.
Fraïssé, R. 1956b Étude de certains opérateurs dans les classes de relations, définis a partir d'isomorphismes restreints. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 59-75.
Fraïssé, R. 1974 Isomorphisme local et équivalence associes à un cardinal; utilité en cal-cul des formules infinies à quanteurs finis. In: Proceedings of the Tarski Symposium, edited by Henkin, L. A.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 25 (1974), pp. 241-254.
Frayne, T. E., Morel, A. C. and Scott, D. S. 1962 Reduced direct products. Fundamenta Mathematicae, vol. 51 (1962), pp. 195-228.
Friedman, H. M. 1970a Why first-order logic? Manuscript, Stanford University and the University of Wisconsin, 1970, 16 pp.
Friedman, H. M. 1970b Conceptual guide to “Why first-order logic?”. Manuscript, Stanford University and the University of Wisconsin, 1970, 4 pp.
Friedman, H. M. 1971a Back and forth, L(Q), Loou;(Q) and Bethfs theorem. Manuscript, Stanford University, 1971.
Friedman, H. M. 1971b The Beth and Craig theorems in infinitary languages. Manuscript, University of Wisconsin, 1971, 37 pp.
Friedman, H. M. 1971 Beth's theorem in cardinality logics. Israel Journal of Mathematics, vol. 14 (1973), pp. 205-212.
Friedman, H. M. 1974 On existence proofs of Hanf numbers. Journal of Symbolic Logic, vol. 39 (1974), pp. 318-324.
Friedman, H. M. 1975a Adding propositional connectives to countable infinitary logic. Mathematical Proceedings of the Cambridge Philosophical Society, vol. 77 (1975), pp. 1-6.
Friedman, H. M. 1975b Large models of countable height. Transactions of the American Mathematical Society, vol. 201 (1975), pp. 227-239.
Friedman, H. M. 1975c One hundred and two problems in mathematical logic. Journal of Symbolic Logic, vol. 40 (1975), pp. 113-129.
Friedman, H. M. 1977 Adding propositional connectives to countable infinitary logics. Mathematical Proceedings of the Cambridge Philosophical Society, vol. 77 (1977), pp. 1-6.
Friedman, H. M. 1978 On the logic of measure and category I. Manuscript, Ohio State University, 1978, 13 pp.
Friedman, H. M. 1979a Addendum to “On the logic of measure and category I”. Manuscript, Ohio State University, 1979, 8 pp.
Friedman, H. M. 1979b Borel structures in mathematics I. Manuscript, Ohio State University, 1979, 9 pp.
Friedman, H. M. 1979c On the naturalness of definable operations. Houston Journal of Mathematics (Houston, Texas), vol. 105 (1979), pp. 325-330.
Friedman, H. M. and Jensen, R. B. 1968 Note on admissible ordinals. In: The Syntax and Semantics of Infinitary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 77-79.
Friedman, S. D. 1981 Uncountable admissibles, II: Compactness. Israel Journal of Mathematics, vol. 40 (1981), pp. 129-149.
Friedman, S. D. 1982a Steel forcing and Barwise compactness. Annals of Mathematical Logic, vol. 22 (1982), pp. 31-46.
Friedman, S. D. 1982b Uncountable admissibles, I: Forcing. Transactions of the American Mathematical Society, vol. 270 (1982), pp. 61-73.
Friedman, S. D. 1984 Model theory for L∞ω1 . Annals of Pure and Applied Logic, vol. 26 (1984), pp. 103-122.
Friedman, S. D. and Shelah, S. 1983 Tall α-recursive structures. Proceedings of the American Mathematical Society, vol. 88 (1983), pp. 672-678.
Fuchino, S. 1983 Klassifikationstheorie nicht-elementarer Klassen. Master's Thesis, Freie Universität zu Berlin, 1983, 60 pp.
Fuchs, L. 1970 Infinite Abelian Groups. Volume I. Academic Press, 1970, xi+290 pp.
Fuchs, L. 1973 Infinite Abelian Groups. Volume II. Academic Press, 1973, ix+363 pp.
Fuhrken, E. G. 1962a Countable first-order languages with a generalized quantifier. Journal of Symbolic Logic, vol. 27 (1962), p. 479. Abstract.
Fuhrken, E. G. 1962b First-order languages with a generalized quantifier: Minimal models of first-order theories. Doctoral Dissertation, University of California, Berkeley, 1962, 65 pp.
Fuhrken, E. G. 1964 Skolem-type normal forms for first-order languages with a generalized quantifier. Fundamenta Mathematicae, vol. 54 (1964), pp. 291-302.
Fuhrken, E. G. 1965 Languages with added quantifier “there exist at least א α ”. In: The Theory of Models, edited by Addison, J. W., Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 121-131.
Fuhrken, E. G. 1970 On the degree of compactness of the languages Qα. Manuscript, University of Colorado, University of Minnesota, 1970, 3 pp.
Fuhrken, E. G. 1972 A remark on the Hdrtig quantifier. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 18 (1972), pp. 227-228.
Gaifman, H. 1964 Concerning measures on first-order calculi. Israel Journal of Mathematics, vol. 2 (1964), pp. 1-18.
Gaifman, H. 1967a A generalization of Mahlo's method for obtaining large cardinal numbers. Israel Journal of Mathematics, vol. 5 (1967), pp. 188-200.
Gaifman, H. 1967b Uniform extension operators for models and their applications. In: Sets, Models, and Recursion Theory, edited by Crossley, J. N.. North-Holland Publishing Company, 1967, pp. 122-155.
Gaifman, H. 1974 Operations on relational structures, functors and classes, I. In: Proceedings of the Tarski Symposium, edited by Henkin, L. A.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 25 (1974), pp. 21-39.
Gaifman, H. and Snir, M. 1982 Probabilities over rich languages, testing and randomness. Journal of Symbolic Logic, vol. 47 (1982), pp. 495-548.
Gale, D. and Stewart, F. M. 1953 Infinite games with perfect information. In: Contributions to the Theory of Games. Volume II, edited by Kuhn, H. W. and Tucker, A. W.. Annals of Mathematics Studies. Princeton University Press, vol. 28 (1953), pp. 245-266.
Gandy, R. O. See: Barwise, K. J., Gandy, R. O. and Moschovakis, Y. N. 1971.
Garavaglia, S. C. 1976 Model theory of topological structures. Doctoral Dissertation, Yale University, 1976, 179 pp.
Garavaglia, S. C. 1978a Model theory of topological structures. Annals of Mathematical Logic, vol. 14 (1978), pp. 13-37.
Garavaglia, S. C. 1978b Relative strength of Malitz quantifiers. Notre Dame Journal of Formal Logic, vol. 19 (1978), pp. 495-503.
Garland, S. J. 1972 Generalized interpolation theorems. Journal of Symbolic Logic, vol. 37 (1972), pp. 343-351.
Garson, J. W. and Rescher, N. 1968 Topological logic. Journal of Symbolic Logic, vol. 33 (1968), pp. 537-548.
Geiser, J. R. 1967 Nonstandard logic. Doctoral Dissertation, M. I. T., 1967, 184 pp.
Geiser, J. R. 1968 Nonstandard logic. Journal of Symbolic Logic, vol. 33 (1968), pp. 236-250.
Georgescu, G. 1980 Generalized quantifiers on polyadic algebras. Revue Roumaine de Mathematiques Pures et Appliquées, vol. 25 (1980), pp. 1027-1032.
Georgescu, G. 1982 Algebraic analysis of the topological logic L(I). Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 28 (1982), pp. 447-454.
Georgescu, G. 1984 Algebraic logic for the quantifier “there exist uncountable many”. Journal of Symbolic Logic, vol. 49 (1984), p. 691. Abstract.
Georgis, Z. II. 1984 Malitz quantifiers and well orderings. Journal of Symbolic Logic, vol. 49 (1984), pp. 691-692. Abstract.
Gergely, T. See: Andréka, H., Gergely, T. and Nemeti, I. 1977.
Gill am, D. W H. 1977 Morley numbers for generalized languages. Fundamenta Mathematicae, vol. 94 (1977), pp. 145-153.
Gillman, L. 1956 Some remarks on ηα sets. Fundamenta Mathematicae, vol. 43 (1956), pp. 77-82.
See also: Erdos, P., Gillman, L. and Henriksen, M. 1955.
Giorgetta, D. and Shelah, S. 1984 Existentially closed structures in the power of the continuum. Annals of Pure and Applied Logic, vol. 26 (1984), pp. 123-148.
Gloede, K. 1975 Set theory for infinitary languages. In: ISILC Logic Conference, edited by Müller, G. H., Oberschelp, A. and Potthoff, K.. Springer-Ver-lag Lecture Notes in Mathematics, vol. 499 (1975), pp. 311-362.
Gloede, K. 1977 The metamathematics of infinitary set theoretical systems. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 23 (1977), pp. 19-44.
Gogol, D. 1973 Low cardinality models for a type of infinitary theory. Fundamenta Mathematicae, vol. 81 (1973), pp. 29-34.
Gogol, D. 1975 Formulas with two generalized quantifiers. Notre Dame Journal of Formal Logic, vol. 16 (1975), pp. 133-136.
Goguen, J. A. and Burstall, R. M. 1984 Introducing institutions. In: Logics of Programs, edited by Clarke, E. and Kozen, D.. Springer-Verlag Lecture Notes in Computer Science, vol. 164 (1984), pp. 221-256.
Gold, B. 1978 Compact and ω-compact formulas in Lω1ω . Archiv für Mathematische Logik und Grundlagenforschung, vol. 19 (1978), pp. 50-64.
Goldblatt, R.I. 1979 Topoi, the Categorial Analysis of Logic. North-Holland Publishing Company, 1979, xv+486 pp.
Goldblatt, R.I. 1981 Localised quantifiers. Journal of Symbolic Logic, vol. 46 (1981), p. 204. Abstract.
Golz, H.-J. 1980 Untersuchungen zur Elimination verallgemeinerter Quantoren in Körpertheorien. Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissenschaftliche Reihe, vol. 29-(1980), pp. 391-397.
Gordon, R. and Robson, J. C. 1973 Krull Dimension. Memoirs of the American Mathematical Society, vol. 133, 1973, ii+78 pp.
Gostanian, R. and Hrbáček, K. 1976 On the failure of the weak Beth property. Proceedings of the American Mathematical Society, vol. 58 (1976), pp. 245-249.
Gostanian, R. and Hrbáček, K. 1980 Propositional extensions of Lω1ω . Dissertationes Mathematicae (Rozprawy Matematyczne), vol. 169 (1980), pp. 5-54.
Grant, P. W. 1978 The completeness of Lω ω . Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 357-364.
Grätzer, G. 1968 Universal Algebra. D. Van Nostrand Company, Inc., 1968, xvi+368 pp.
Green, J. 1972 Consistency properties for uncountable finite-quantifier languages. Doctoral Dissertation, University of Maryland, 1972, 127 pp.
Green, J. 1974 Σ1 compactness for next admissible sets. Journal of Symbolic Logic, vol. 39 (1974), pp. 105-116.
Green, J. 1975 A note on P-admissible sets with urelements. Notre Dame Journal of Formal Logic, vol. 16 (1975), pp. 415-417.
Green, J. 1978 κ-Suslin logic. Journal of Symbolic Logic, vol. 43 (1978), pp. 659- 666.
Green, J. 1979 Some model theory for game logics. Journal of Symbolic Logic, vol. 44 (1979), pp. 147-152.
Gregory, J. 1970 Elementary extensions and uncountable models for infinitary finite- quantifier language fragments. Preliminary report. Notices of the American Mathematical Society, vol. 17 (1970), pp. 967-968. Abstract.
Gregory, J. 1971 Incompleteness of a formal system for infinitary finite-quantifier formulas. Journal of Symbolic Logic, vol. 36 (1971), pp. 445-455.
Gregory, J. 1973 Uncountable models and infinitary elementary extensions. Journal of Symbolic Logic, vol. 38 (1973), pp. 460-470.
Gregory, J. 1974 Beth definability in infinitary languages. Journal of Symbolic Logic, vol. 39 (1974), pp. 22-26.
Grossberg, R. and Shelah, S. 1983 On universal locally finite groups. Israel Journal of Mathematics, vol. 44 (1983), pp. 289-302.
Grzegorczyk, A. 1951 Undecidability of some topological theories. Fundamenta Mathematicae, vol. 38 (1951), pp. 137-152.
Grzegorczyk, A., Mostowski, A. and Ryll-Nardzewski, C. 1961 Definability of sets of models of axiomatic theories. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 9 (1961), pp. 163-167.
Gudder, S. P. 1979 Stochastic methods in quantum mechanics. North-Holland Publishing Company, 1979, xii+219 pp.
Guichard, D. R. 1980 A many-sorted interpolation theorem for L(Q). Proceedings of the American Mathematical Society, vol. 80 (1980), pp. 469-474.
Gurevič, R. 1982 Löwenheim-Skolem problem for functors. Israel Journal of Mathematics, vol. 42 (1982), pp. 273-276.
Gurevich, Y. 1964 Elementary properties of ordered Abelian groups (Russian). Algebra i Logika, vol. 3, no. 1 (1964), pp. 5-39.
Gurevich, Y. 1965 Elementary properties of ordered Abelian groups. American Mathematical Society Translations, vol. 46 (1965), pp. 165-192.
Gurevich, Y. 1977a Expanded theory of ordered Abelian groups. Annals of Mathematical Logic, vol. 12 (1977), pp. 193-228.
Gurevich, Y. 1977b Monadic theory of order and topology, I. Israel Journal of Mathematics, vol. 27 (1977), pp. 299-319.
Gurevich, Y. 1979a Modest theory of short chains, I. Journal of Symbolic Logic, vol. 44 (1979), pp. 481-490.
Gurevich, Y. 1979b Monadic theory of order and topology, II. Israel Journal of Mathematics, vol. 34 (1979), pp. 45-71.
Gurevich, Y. 1980 Two notes on formalized topology. Fundamenta Mathematicae, vol. 107 (1980), pp. 145-148.
Gurevich, Y. 1982 Crumbly spaces. In: Logic, Methodology and Philosophy of Science VI, edited by Cohen, L. J., Loś, J., Pfeiffer, H. and Podewski, K.-P.. North-Holland Publishing Company, 1982, pp. 179-191.
Gurevich, Y. and Harrington, L. A. 1982 Trees, automata, and games. In: Theory of Computing, edited by Lewis, H. R.. Association for Computing Machinery, 1982, pp. 60-65.
Gurevich, Y., Magidor, M. and Shelah, S. 1983 The monadic theory of ω 2 - Journal of Symbolic Logic, vol. 48 (1983), pp. 387-398.
Gurevich, Y. and Schmitt, P. H. 1984 The theory of ordered Abelian groups does not have the independence property. Transactions of the American Mathematical Society, vol. 284 (1984), pp. 171-182.
Gurevich, Y. and Shelah, S. 1979 Modest theory of short chains, II. Journal of Symbolic Logic, vol. 44 (1979), pp. 491-502.
Gurevich, Y. and Shelah, S. 1981a Arithmetic is not interpretable in the monadic theory of the real line (Hebrew). Manuscript, Institute for Advanced Studies of Hebrew University, 1981, 15 pp.
Gurevich, Y. and Shelah, S. 1981b The decision problem for branching time logic. Manuscript, Institute for Advanced Studies of Hebrew University, 1981, 40 pp.
Gurevich, Y. and Shelah, S. 1981c The monadic theory and the “next world”. Technical Report, Institute for Advanced Studies of Hebrew University, 1981, 30 pp.
Gurevich, Y. and Shelah, S. 1982 Monadic theory of order and topology in ZFC. Annals of Mathematical Logic, vol. 23 (1982), pp. 179-198.
Gurevich, Y. and Shelah, S. 1983a Interpreting second-order logic in the monadic theory of order. Journal of Symbolic Logic, vol. 48 (1983), pp. 816-828.
Gurevich, Y. and Shelah, S. 1983b Rabin's uniformization problem. Journal of Symbolic Logic, vol. 48 (1983), pp. 1105-1119.
Gurevich, Y. and Shelah, S. 1983c Random models and the Gödel case of the decision problem. Journal of Symbolic Logic, vol. 48 (1983), pp. 1120-1124.
Hájek, P. 1976 Some remarks on observational model-theoretic languages. In: Set Theory and Hierarchy Theory: A Memorial Tribute to Andrzej Mostowski, edited by Marek, W., Srebrny, M. and Zarach, A.. Springer-Verlag Lecture Notes in Mathematics, vol. 537 (1976), pp. 335-345.
Hájek, P. 1977 Generalized quantifiers and finite sets. In: Set Theory and Hierarchy Theory, edited by Bar-Hillel, Y.. Prace Naukowe Insty- tutu Matematyki Politechniki Wroclawskiej, Wroclaw, vol. 14 (1977), pp. 91-104.
Hajnal, A. See: Erdos, P. and Hajnal, A. 1958; Erdos, P. and Hajnal, A. 1962; Erdos, P., Hajnal, A. and Rado, R. 1965.
Hall, P. 1959 Some constructions for locally finite groups. Proceedings of the Cambridge Philosophical Society, vol. 34 (1959), pp. 305-319.
Halpern, J. D. 1975 Transfer theorems for topological structures. Pacific Journal of Mathematics, vol. 61 (1975), pp. 427-440.
Halpern, J. D. and Lévy, A. 1971 The Boolean prime ideal theorem does not imply the axiom of choice. In: Axiomatic Set Theory, Part I, edited by Scott, D. S.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 13 (1971), pp. 83-134.
Hanf, W. 1960 Models of languages with infinitely long expressions. Abstracts of Contributed Papers from the First Logic, Methodology and Philosophy of Science Congress. Stanford University. 1960, vol. 1 (1960), p. 24. Abstract.
Hanf, W. 1963 Some fundamental problems concerning languages with infinitely long expressions. Doctoral Dissertation, University of California, Berkeley, 1963, 96 pp.
Hanf, W. 1964 Incompactness in languages with infinitely long expressions. Fundamenta Mathematicae, vol. 53 (1964), pp. 309-324.
Hanf, W. 1965 Model theoretic methods in the study of elementary logic. In: The Theory of Models, edited by Addison, J. W., Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 132-145.
Hanf, W. and Scott, D. S, 1961 Classifying inaccessible cardinals. Notices of the American Mathematical Society, vol. 8 (1961), p. 445. Abstract.
Harel, D. 1979a Characterizing second-order logic with first-order quantifiers. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), pp. 419-422.
Harel, D. 1979b First-order Dynamic Logic. Springer-Verlag Lecture Notes in Computer Science, vol. 68, 1979, x+133 pp.
Harel, D. 1983 Dynamic logic. Manuscript, Department of Applied Mathematics, The Weizmann Institute of Science, 1983, vi+151 pp.
Harnik, V. 1974 Lecture notes on Lω1ω . Manuscript, Dartmouth College, 1974.
Harnik, V. 1976 Approximation theorems and model theoretic forcing. Journal of Symbolic Logic, vol. 41 (1976), pp. 59-72.
Harnik, V. 1979 Refinements of Vaught's normal form theorem. Journal of Symbolic Logic, vol. 44 (1979), pp. 289-306.
Harnik, V. and Makkai, M. 1976 Applications of Vaught sentences and the covering theorem. Journal of Symbolic Logic, vol. 41 (1976), pp. 171-187.
Harnik, V. and Makkai, M. 1977 A tree argument in infinitary model theory. Proceedings of the American Mathematical Society, vol. 67 (1977), pp. 309-314.
Harnik, V. and Makkai, M. 1979 New axiomatizations for logics with generalized quantifiers. Israel Journal of Mathematics, vol. 32 (1979), pp. 257-281.
Harrington, L. A. 1980 Extensions of countable infinitary logic which preserve most of its nice properties. Archiv für Mathematische Logik und Grundlagenforschung, vol. 20 (1980), pp. 95-102.
See also: Gurevich, Y. and Harrington, L. A. 1982.
Harrington, L. A., Makkai, M. and Shelah, S. 198? A proof of Vaught's conjecture for ω-stable theories. Israel Journal of Mathematics. To appear.
Harrington, L. A. and Moschovakis, Y. N. 1974 On positive induction vs. nonmonotone induction. Manuscript, University of California, Los Angeles, 1974, 8 pp.
Harrington, L. A. and Shelah, S. 1982 Counting equivalence classes for co-K-Souslin equivalence relations. In: Logic Colloquium ’80, edited by van Dalen, D., Lascar, D. and Smiley, T. J.. North-Holland Publishing Company, 1982, pp. 147-152.
Härtig, H. 1965 Über einen Quantifikator mit zwei Wirkungsbereichen. In: Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications, edited by Kalmar, L.. Akademiai Kiado, Budapest, 1965, pp. 31-36.
Hatcher, W. S. See: Corcoran, J., Hatcher, W. S., and Herring, J. M. 1972.
Hauschild, K. 1975 Über zwei Spiele und ihre Anwendungen in der Modelltheorie. Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissenschaftliche Reihe, vol. 24 (1975), pp. 783-788.
Hauschild, K. 1980 Generalized Härtig quantifiers. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 28 (1980), pp. 523-528.
Hauschild, K. 1981 Zum Vergleich von Hdrtigquantor und Rescherquantor. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 255-264.
Hauschild, K. and Herre, H. 1976 Entscheidungsprobleme für Theorien in nichtelementaren Logiken. Technical Report, Akademie der Wissenschaften der DDR, Zentralin-stitut für Mathematik und Mechanik, Berlin, 1976, 213 pp.
Hauschild, K. and Rautenberg, W. 1971 Interpretierbarkeit in der Gruppentheorie. Algebra Universalis, vol. 1 (1971), pp. 136-151.
Hauschild, K. and Rautenberg, W. 1973 Entscheidungsprobleme der Theorie zweier Äquivalenzrelationen mit beschränkter Zahl von Elementen in den Klassen. Fundamenta Mathematicae, vol. 81 (1973), pp. 35-41.
Hauschild, K. and Wolter, H. 1969 Über die Kategorisierbarkeit gewisser Körper in nichtelementaren Logiken. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 157-162.
Havránek, T. 1975 Statistical quantifiers in observational calculi: An application in GUHA-methods. Theory and Decision, vol. 6 (1975), pp. 213-230.
Heindorf, L. 1979 Entscheidungsprobleme topologischer Räume. Doctoral Dissertation, Humboldt-Universität, Berlin, 1979, 141 pp.
Heindorf, L. 1980 The decidability of the L t-theory of Boolean spaces. Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissenschaftliche Reihe, vol. 29 (1980), pp. 413- 419.
Heindorf, L. 1981 Comparing the expressive power of some languages for Boolean algebras. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 419-434.
Helling, M. 1964 Hanf numbers for some generalizations of first-order languages. Notices of the American Mathematical Society, vol. 11 (1964), p. 679. Abstract.
Helling, M. 1966 Model-theoretic problems for some extensions of first-order languages. Doctoral Dissertation, University of California, Berkeley, 1966, 64 pp.
Helmer, O. 1938 Languages with expressions of infinite length. Erkenntnis, vol. 7 (1938), pp. 138-141.
Henkin, L. A. 1954 A generalization of the concept of w-consistency. Journal of Symbolic Logic, vol. 19 (1954), pp. 183-196.
Henkin, L. A. 1957 A generalization of the concept of u-completeness. Journal of Symbolic Logic, vol. 22 (1957), pp. 1-14.
Henkin, L. A. 1961 Some remarks on infinitely long formulas. In: Infinitistic Methods: Proceedings of the Symposium on Foundations of Mathematics, edited by Anonymous. Pergamon Press and Państwowe Wydawnictwo Naukowe (Polish Scientific Publishers), 1961, pp. 167-183.
Henkin, L. A. 1963 An extension of the Craig-Lyndon theorem. Journal of Symbolic Logic, vol. 28 (1963), pp. 201-216.
Henriksen, M. See: Erdös, P., Gillman, L. and Henriksen, M. 1955.
Henson, C. W. 1979 Analytic sets, Baire sets and the standard part map. Canadian Journal of Mathematics, vol. 31 (1979), pp. 663-672.
Henson, C. W., Jockusch, C. G., Rubel, L. A. and Takeuti, G. 1977 First order topology. Dissertationes Mathematicae (Rozprawy Matematyczne), vol. 143 (1977), pp. 1-38.
Herre, H. 1976 Entscheidungsprobleme für Theorien in Logiken mit verallge- meinerten Quantoren. Habilitationsschrift, Humboldt-Universität, Berlin, 1976, 156 pp.
Herre, H. 1977 Decidability of theories in logics with additional monadic quantifiers. In: Proceedings of the Symposiums on Mathematical Logic in Oulu ’74 and Helsinki ’75, edited by Miettinen, S. and Väänänen, J.. Reports from the Department of Philosophy, University of Helsinki, vol. 2 (1977), pp. 77-80.
See also: Hauschild, K. and Herre, H. 1976; Wolter, H. and Herre, H. 1977.
Herre, H. and Pinus, A. G. 1978 Zum Entscheidungsproblem für Theorien in Logiken mit monad- ischen verallgemeinerten Quantoren. Zeitschrift für Mathema- tische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 375-384.
Herre, H. and Wolter, H. 1975 Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quan-toren. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 229-246.
Herre, H. and Wolter, H. 1977 Entscheidbarkeit der Theorie der linearen Ordnung in LQ1 . Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 23 (1977), pp. 273-282.
Herre, H. and Wolter, H. 1978 Entscheidbarkeit der Theorie der linearen Ordnung in Lq κ für reguläres ωκ. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 73-78.
Herre, H. and Wolter, H. 1979a Decidability of the theory of linear orderings with cardinality quantifier Q α . Notices of the American Mathematical Society, vol. 26 (1979), p. A16. Abstract.
Herre, H. and Wolter, H. 1979b Entscheidbarkeit der Theorie der linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), pp. 345-358.
Herring, J. M. See: Corcoran, J. and Herring, J. M. 1971; Corcoran, J., Hatcher, W. S., and Herring, J. M. 1972.
Herrmann, E. and Wolter, H. 1980 Untersuchungen zu schwachen Logiken der zweiten Stufe. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 26 (1980), pp. 59-68.
Hickin, K. K. 1978 Complete universal locally finite groups. Transactions of the American Mathematical Society, vol. 239 (1978), pp. 213-227.
Hien, B. H. and Sain, I. 1982 Elementary classes in the injective subcategories approach to abstract model theory. Manuscript, Mathematical Institute, Hungarian Academy of Sciences, 1982, 31 pp.
Hill, P. 1973 New criteria for freeness in Abelian groups. Transactions of the American Mathematical Society, vol. 182 (1973), pp. 201-209.
Hintikka, K. J. J. 1955 Reductions in the theory of types. Acta Philosophica Fennica, vol. 8 (1955), pp. 57-115.
Hintikka, K. J. J. and Rantala, V. 1976 A new approach to infinitary languages. Annals of Mathematical Logic, vol. 10 (1976), pp. 95-115.
Hodges, W. 1974 A normal form for algebraic constructions. Bulletin of the London Mathematical Society, vol. 6 (1974), pp. 57-60.
Hodges, W. 1975 A normal form for algebraic constructions, II. Logique et Analyse, vol. 18 (1975), pp. 429-487.
Hodges, W. 1976 On the effectivity of some field constructions. Proceedings of the London Mathematical Society, vol. 32 (1976), pp. 133-162.
Hodges, W. 1980a Constructing pure injective hulls. Journal of Symbolic Logic, vol. 45 (1980), pp. 544-548.
Hodges, W. 1980b Functorial uniform reducibility. Fundamenta Mathematicae, vol. 108 (1980), pp. 77-81.
Hodges, W. 1981 In singular cardinality, locally free algebras are free. Algebra Universalis, vol. 12 (1981), pp. 205-220.
Hodges, W. 1934 Models built on linear orderings. In: Ordered Sets and Their Applications, edited by Pouzet, M. and Richard, D.. North-Holland Publishing Company, 1984, pp. 207-234.
Hodges, W. and Shelah, S. 1981 Infinite games and reduced products. Annals of Mathematical Logic, vol. 20 (1981), pp. 77-108.
Hoover, D. N. 1978a Model theory of probability logic. Doctoral Dissertation, University of Wisconsin, 1978, iii+99 pp.
Hoover, D. N. 1978b Probability logic. Annals of Mathematical Logic, vol. 14 (1978), pp. 287-313.
Hoover, D. N. 1980 First order logic with an oracle. Manuscript, Princeton University, 1980, 9 pp.
Hoover, D. N. 1981 Relations of probability spaces and arrays of random variables. Manuscript, Institute for Advanced Study, Princeton, 1981, 63 pp.
Hoover, D. N. 1982 A normal form theorem for Lω1p , with applications. Journal of Symbolic Logic, vol. 47 (1982), pp. 605-624.
Hoover, D. N. 198? A probabilistic interpolation theorem. Journal of Symbolic Logic. To appear.
Hoover, D. N. and Keisler, H. J. 1984 Adapted probability distributions. Transactions of the American Mathematical Society, vol. 286 (1984), pp. 159-201.
Hoover, D. N. and Perkins, E. 1983a Nonstandard construction of the stochastic integral and applications to stochastic differential equations, I. Transactions of the American Mathematical Society, vol. 275 (1983), pp. 1-36.
Hoover, D. N. and Perkins, E. 1983b Nonstandard construction of the stochastic integral and applications to stochastic differential equations, II. Transactions of the American Mathematical Society, vol. 275 (1983), pp. 37-58.
Hrbáček, K. See: Gostanian, R. and Hrbáček, K. 1976; Gostanian, R. and Hrbáček, K. 1980; Vopěnka, P. and Hrbáček, K. 1966.
Hunter, R. H., Richter, M. M. and Walker, E. A. 1977 Warfield modules. In: Abelian Group Theory, edited by Arnold, D. M., Hunter, R. H. and Walker, E. A.. Springer-Verlag Lecture Notes in Mathematics, vol. 616 (1977), pp. 87-123.
Hutchinson, J. E. 1976a Elementary extensions of countable models of set theory. Journal of Symbolic Logic, vol. 41 (1976), pp. 139-145.
Hutchinson, J. E. 1976b Model theory via set theory. Israel Journal of Mathematics, vol. 24 (1976), pp. 286-304.
Isbell, J.R. 1973 Functorial implicit operations. Israel Journal of Mathematics, vol. 15 (1973), pp. 185-188.
Issel, W. 1969 Semantische Untersuchungen über Quantoren, I. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 353-358.
Issel, W. 1970a Semantische Untersuchungen über Quantoren, II. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 281-296.
Issel, W. 1970b Semantische Untersuchungen über Quantoren, III. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 421-438.
Jacobson, N. 1951 Lectures in Abstract Algebra. Volume I: Basic Concepts. D. Van Nostrand Company, Inc., 1951, xii+217 pp.
Jacobson, N. 1953 Lectures in Abstract Algebra. Volume II: Linear Algebra. D. Van Nostrand Company, Inc., 1953, xii+280 pp.
Jacobson, N. 1964 Lectures in Abstract Algebra. Volume III: Theory of Fields and Galois Theory. D. Van Nostrand Company, Inc., 1964, xi+323 pp.
Jacoby, C. 1980 The classification in L ∞ω , of groups with partial decomposition bases. Doctoral Dissertation, University of California, Irvine, 1980, 91 pp.
Janjczak, A. 1953 Undecidability of some simple formalized theories. Fundamenta Mathematicae, vol. 40 (1953), pp. 131-139.
Jankowskl, A. W. 1980 On closure spaces of filters in complete lattices of sets. Journal of Symbolic Logic, vol. 45 (1980), p. 394. Abstract.
Jankowskl, A. W. 1982 An alternative characterization of elementary logic. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 30 (1982), pp. 9-13.
Jech, T. J. 1971a Lectures in Set Theory. With particular emphasis on the method of forcing. Springer-Verlag Lecture Notes in Mathematics, vol. 217, 1971, yi+137 pp.
Jech, T. J. 1971b Trees. Journal of Symbolic Logic, vol. 36 (1971), pp. 1-14.
Jech, T. J. 1973 Some combinatorial problems concerning uncountable cardinals. Annals of Mathematical Logic, vol. 5 (1973), pp. 165-198.
Jech, T. J. 1978 Set Theory. Academic Press, 1978, xi+621 pp.
Jensen, A. 1965 Some results concerning a general set-theoretical approach to logic. Mathematica Scandinavica, vol. 16 (1965), pp. 5-24.
Jensen, F. V. 1974 Interpolation and definability in abstract logics. Synthese, vol. 27 (1974), pp. 251-257.
Jensen, F. V. 1975 On completeness in cardinality logics. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 23 (1975), pp. 117-122.
Jensen, F. V. 1976 Souslin-Kleene does not imply Beth. Fundamenta Mathematicae, vol. 90 (1976), pp. 269-273.
Jensen, R. B. 1969a Automorphism properties of Souslin continua. Notices of the American Mathematical Society, vol. 16 (1969), p. 576. Abstract.
Jensen, R. B. 1969b Souslin's hypothesis = weak compactness in L. Notices of the American Mathematical Society, vol. 16 (1969), p. 842. Abstract.
Jensen, R. B. 1972 The fine structure of the constructible hierarchy. Annals of Mathematical Logic, vol. 4 (1972), pp. 229-308. Erratum on p. 443.
See also: Donder, H.-D., Jensen, R. B. andKoppelberg, B. J. 1981; Friedman, H. M. and Jensen, R. B. 1968.
Jensen, R. B. and JohnsbrÅten, H. 1974 A new construction of a non-constructible Δ1/3 subset of ω. Fundamenta Mathematicae, vol. 81 (1974), pp. 279-290.
Jensen, R. B. and Karp, C. 1971 Primitive recursive set functions. In: Axiomatic Set Theory, Part I, edited by Scott, D. S.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 13 (1971), pp. 143-176.
Jensen, R. B. and Koppelberg, B. J. 1978 A note on ultrafilters. Notices of the American Mathematical Society, vol. 25 (1978), p. A250. Abstract.
Jervell, H. R. 1975 Conservative endextensions and the quantifier “there exist uncountably many”. In: Proceedings of the Third Scandinavian Logic Symposium, edited by Kanger, S.. North-Holland Publishing Company, 1975, pp. 63-80.
Jockusch, C. G. See: Henson, C. W.,: Jockusch, C. G, Rubel, L. A. and Takeuti, G. 1977.
Johnsbråten, H. See: Devlin, K. J. and Johnsbråten, H. 1974; Jensen, R. B. and Johnsbraten, H. 1974.
Jónsson, B. 1956 Universal relational systems. Mathematica Scandinavica, vol. 4 (1956), pp. 193-208.
Jónsson, B. 1960 Homogeneous universal relational systems. Mathematica Scandinavica, vol. 8 (1960), pp. 137-142.
Jónsson, B. 1980 Congruence varieties. Algebra Universalis, vol. 10 (1980), pp. 355-394.
Kakuda, Y. 1980 Set theory based on the language with the additional quantifier “for almost all”, I. Mathematics Seminar Notes, Kobe University (Japan), vol. 8 (1980), pp. 603-609.
Kanamori, A. 1976 Weakly normal ultrafilters and irregular ultrafilters. Transactions of the American Mathematical Society, vol. 220 (1976), pp. 393-399.
See also: Solovay, R. M., Reinhardt, W. N. and Kanamori, A. 1978.
Kanamori, A. and Magidor, M. 1978 The evolution of large cardinal axioms in set theory. In: Higher Set Theory, edited by Müller, G.H. and Scott, D.S.. Springer-Verlag Lecture Notes in Mathematics, vol. 669 (1978), pp. 99-275.
Kaplan, D. 1966a Rescher's plurality quantification. Journal of Symbolic Logic, vol. 31 (1966), p. 153. Abstract.
Kaplan, D. 1966b Generalized plurality quantification. Journal of Symbolic Logic, vol. 31 (1966), p. 154. Abstract.
Kaplansky, I. 1969 Infinite Abelian Groups. Revised Edition. University of Michigan Press, 1969, viii+95 pp.
Karlowicz, M. See: Engelking, R. and Karlowicz, M. 1965.
Karp, C. 1962 Independence proofs in predicate logic with infinitely long expressions. Journal of Symbolic Logic, vol. 27 (1962), pp. 171-188.
Karp, C. 1963 A note on the representation of α-complete Boolean algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 705-707.
Karp, C. 1964 Languages with Expressions of Infinite Length. North-Holland Publishing Company, 1964, xx+183 pp.
Karp, C. 1965 Finite-quantifier equivalence. In: The Theory of Models, edited by Addison, J. W., Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 407-412.
Karp, C. 1966a Primitive recursive set functions: a formulation with applications to infinitary formal systems. Journal of Symbolic Logic, vol. 31 (1966), p. 294. Abstract.
Karp, C. 1966b Applications of recursive set functions to infinitary logic. Journal of Symbolic Logic, vol. 31 (1966), p. 698. Abstract.
Karp, C. 1967 Non-axiomatizability results for infinitary systems. Journal of Symbolic Logic, vol. 32 (1967), pp. 367-384.
Karp, C. 1968