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.Google Scholar

Aczel, P. H. G. 1970 Representability in some systems of second-order arithmetic. Israel Journal of Mathematics, vol. 8 (1970), pp. 309-328.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Africk, H. L. 1974 Scott's interpolation theorem fails for Lω1ω. Journal of Symbolic Logic, vol. 39 (1974), pp. 124-126.Google Scholar

Aldous, D. J. 1984 Weak convergence and the general theory of processes. École d’Été de Probabilités de Saint-Flour. To appear. Google Scholar

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.Google Scholar

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.Google Scholar

Anderson, R. M. 1976 A non-standard representation for Brownian motion and Itô integration. Israel Journal of Mathematics, vol. 25 (1976), pp. 15-46.Google Scholar

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.Google Scholar

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.Google Scholar

Andreka, H. and Nemeti, I. 1978 Loś lemma holds in every category. Studia Scientiarum Mathema- ticarum Hungarica, vol. 13 (1978), pp. 361-376.Google Scholar

Andreka, H. and Nemeti, I. 1979 Injectivity in categories to represent all first-order formulas. I. Demonstratio Mathematica, vol. 12 (1979), pp. 717-732.Google Scholar

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.Google Scholar

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.Google Scholar

Apt, K. R. and Marek, W. 1974 Second order arithmetic and related topics. Annals of Mathematical Logic, vol. 6 (1974), pp. 177-229.Google Scholar

Badger, L. W. 1974 Beth's theorem fails in L<ω. Preliminary report. Notices of the American Mathematical Society, vol. 21 (1974), p. A322. Abstract.Google Scholar

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.Google Scholar

Badger, L. W. 1980 Beth's property fails in L<ω. Journal of Symbolic Logic, vol. 45 (1980), pp. 284-290.Google Scholar

Baldo, A. 1983 Complete interpolation theorems for L2+ kk . Unione Matematica Italiana. Bollettino. B. Serie VI, vol. 2 (1983), pp. 759-777.Google Scholar

Baldwin, J. T. 1975 Conservative extensions and the two cardinal theorem for stable theories. Fundamenta Mathematicae, vol. 88 (1975), pp. 7-9.Google Scholar

Baldwin, J. T. 1980 The number of subdirectly irreducible algebras in a variety, II. Algebra Universalis, vol. 11 (1980), pp. 1-6.Google Scholar

Baldwin, J. T. 1984 First-order theories of abstract dependence relations. Annals of Pure and Applied Logic, vol. 26 (1984), pp. 215-243.Google Scholar

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.Google Scholar

Baldwin, J. T. and Berman, J. D. 1981 Elementary classes of varieties. Houston Journal of Mathematics (Houston, Texas), vol. 7 (1981), pp. 473-492.Google Scholar

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.Google Scholar

Baldwin, J. T. and Lachlan, A. H. 1971 On strongly minimal sets. Journal of Symbolic Logic, vol. 36 (1971), pp. 79-96.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Barwise, K. J. 1969a Applications of strict Π1 1 predicates to infinitary logic. Journal of Symbolic Logic, vol. 34 (1969), pp. 409-423.Google Scholar

Barwise, K. J. 1969b Infinitary logic and admissible sets. Journal of Symbolic Logic, vol. 34 (1969), pp. 226-252.Google Scholar

Barwise, K. J. 1969c Remarks on universal sentences of Lω1ω . Duke Mathematical Journal, vol. 36 (1969), pp. 631-637.Google Scholar

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.Google Scholar

Barwise, K. J. 1972a Absolute logic and L∞ω. Annals of Mathematical Logic, vol. 4 (1972), pp. 309-340.Google Scholar

Barwise, K. J. 1972b The Hanf number of second-order logic. Journal of Symbolic Logic, vol. 37 (1972), pp. 588-594.Google Scholar

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.Google Scholar

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.Google Scholar

Barwise, K. J. 1974a Axioms for abstract model theory. Annals of Mathematical Logic, vol. 7 (1974), pp. 221-265.Google Scholar

Barwise, K. J. 1974b Mostowski's collapsing function and the closed unbounded filter. Fundamenta Mathematicae, vol. 82 (1974), pp. 95-103.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Barwise, K. J. 1979 On branching quantifiers in English. Journal of Philosophical Logic, vol. 8 (1979), pp. 47-80.Google Scholar

Barwise, K. J. 1980 Infinitary logics. In: Modern logic: A Survey, edited by Agazzi, E.. D. Reidel Publishing Company, 1980, pp. 93-112.Google Scholar

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.Google Scholar

Barwise, K. J. 1983 Information and semantics. The Behavioral and Brain Sciences, vol. 6 (1983), p. 65.Google Scholar

Barwise, K. J. and Cooper, R. 1981 Generalized quantifiers and natural language. Linguistics and Philosophy, vol. 4 (1981), pp. 159-219.Google Scholar

Barwise, K. J. and Eklof, P. C. 1969 Lefschetz's principle. Journal of Algebra, vol. 13 (1969), pp. 554-570.Google Scholar

Barwise, K. J. and Eklof, P. C. 1970 Infinitary properties of Abelian torsion groups. Annals of Mathematical Logic, vol. 2 (1970), pp. 25-68.Google Scholar

Barwise, K. J. and Fisher, E. R. 1970 The Shoenfield absoluteness lemma. Israel Journal of Mathematics, vol. 8 (1970), pp. 329-339.Google Scholar

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.Google Scholar

Barwise, K. J., Kaufmann, M. J. and Makkai, M. 1978 Stationary logic. Annals of Mathematical Logic, vol. 13 (1978), pp. 171 224.Google Scholar

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.Google Scholar

Barwise, K. J. And Kunen, K. 1971 Hanf numbers for fragments of L∞ω. Israel Journal of Mathematics, vol. 10 (1971), pp. 306-320.Google Scholar

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.Google Scholar

Barwise, K. J. and Moschovakis, Y. N. 1978 Global inductive definability. Journal of Symbolic Logic, vol. 43 (1978), pp. 521-534.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Baudisch, A. 1980 The theory of Abelian p-groups with the quantifier I is decidable. Fundamenta Mathematicae, vol. 108 (1980), pp. 183-197.Google Scholar

Baudisch, A. 1981a The elementary theory of Abelian groups with fi-chains of pure subgroups. Fundamenta Mathematicae, vol. 112 (1981), pp. 147-157.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Baudisch, A. 1984 Magidor-Malitz quantifiers in modules. Journal of Symbolic Logic, vol. 49 (1984), pp. 1-8.Google Scholar

Baudisch, A., Seese, D. G., and Tuschik, H.-P. 1983 ω-trees in stationary logic. Fundamenta Mathematicae, vol. 119 (1983), pp. 205-215.Google Scholar

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.Google Scholar

Baumgartner, J. E. 1973 All א1-dense sets of reals can be isomorphic. Fundamenta Mathematicae, vol. 79 (1973), pp. 101-106.Google Scholar

Baumgartner, J. E. 1974 The Hanf number for complete Lω1ω sentences (without GCH). Journal of Symbolic Logic, vol. 39 (1974), pp. 575-578.Google Scholar

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.Google Scholar

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.Google Scholar

Baumgartner, J. E. and Laver, R. 1979 Iterated perfect-set forcing. Annals of Mathematical Logic, vol. 17 (1979), pp. 271-288.Google Scholar

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.Google Scholar

Baur, W. 1975 א0-categorical modules. Journal of Symbolic Logic, vol. 40 (1975), pp. 213 220.Google Scholar

Baur, W. 1976 Elimination of quantifiers for modules. Israel Journal of Mathematics, vol. 25 (1976), pp. 64-70.Google Scholar

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.Google Scholar

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.Google Scholar

Bell, J. L. 1974 On compact cardinals. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 20 (1974), pp. 389-393.Google Scholar

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.Google Scholar

Benda, M. 1969 Reduced products and non-standard logics. Journal of Symbolic Logic, vol. 34 (1969), pp. 424-436.Google Scholar

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.Google Scholar

Benda, M. 1978 Compactness for omitting of types. Annals of Mathematical Logic, vol. 14 (1978), pp. 39-56.Google Scholar

Ben-David, S. 1978a On Shelah's compactness of cardinals. Israel Journal of Mathematics, vol. 31 (1978), pp. 34-56.Google Scholar

Ben-David, S. 1978b Correction to: “On Shelah's compactness of cardinals”. Israel Journal of Mathematics, vol. 31 (1978), p. 394.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Bochvar, D. A. 1940 Über einen Aussagenkalkül mit abzählbaren logischen Summen und Produkten. Matematičeskiĭ Sbornik, vol. 7 (1940), pp. 65-100.Google Scholar

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.Google Scholar

Boos, W. 1976 Infinitary compactness without strong inaccessibility. Journal of Symbolic Logic, vol. 41 (1976), pp. 33-38.Google Scholar

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.Google Scholar

Broesterhuizen, G.A. 1975a A generalized Loś ultraproduct theorem. Colloquium Mathematicum, vol. 33 (1975), pp. 161-173.Google Scholar

Broesterhuizen, G.A. 1975b Structures for a logic with additional generalized quantifier. Colloquium Mathematicum, vol. 33 (1975), pp. 1-12.Google Scholar

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.Google Scholar

Bruce, K. B. 1977 Forcing in stationary logic. Preliminary report. Notices of the American Mathematical Society, vol. 24 (1977), p. A21. Abstract.Google Scholar

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.Google Scholar

Bruce, K. B. 1978b Model-theoretic forcing in logic with a generalized quantifier. Annals of Mathematical Logic, vol. 13 (1978), pp. 225-265.Google Scholar

Bruce, K. B. 1980 Model constructing in stationary logic, I. Forcing. Journal of Symbolic Logic, vol. 45 (1980), pp. 439-454.Google Scholar

Bruce, K. B. 1981 Definable ultrapowers and compactness in stationary logic. Journal of Symbolic Logic, vol. 46 (1981), p. 193. Abstract.Google Scholar

Bruce, K. B. and Keisler, H. J. 1979 LA(F). Journal of Symbolic Logic, vol. 44 (1979), pp. 15-28.Google Scholar

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.Google Scholar

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.Google Scholar

Büchi, J. R. 1965a Decision methods in the theory of ordinals. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 767-770.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Burgess, J. P. 1978a Consistency proofs in model theory: a contribution to Jensenlehre. Annals of Mathematical Logic, vol. 14 (1978), pp. 1-12.Google Scholar

Burgess, J. P. 1978b On the Hanf number of Souslin logic. Journal of Symbolic Logic, vol. 43 (1978), pp. 568-571.Google Scholar

Burgess, J. P. and Miller, D. E. 1975 Remarks on invariant descriptive set theory. Fundamenta Mathematicae, vol. 90 (1975), pp. 53-75.Google Scholar

Burris, S. N. 1973 Scott sentences and a problem of Vaught for mono-unary algebras. Fundamenta Mathematicae, vol. 80 (1973), pp. 111-115.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Caicedo Ferrer, X. 1981a Back-and-forth systems for arbitrary quantifiers. Journal of Symbolic Logic, vol. 46 (1981), p. 183. Abstract.Google Scholar

Caicedo Ferrer, X. 1981b On extensions of L ωω (Q1). Notre Dame Journal of Formal Logic, vol. 22 (1981), pp. 85-93.Google Scholar

Caicedo Ferrer, X. 1981c Independent sets of axioms in Lκα. Canadian Mathematical Bulletin, vol. 24 (1981), pp. 219-223.Google Scholar

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.Google Scholar

Calais, J.-P. 1972 Partial isomorphisms and infinitary languages. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 18 (1972), pp. 435-456.Google Scholar

Call, R. L. 1972 Sequent methods in systems with generalized quantifiers. Journal of Symbolic Logic, vol. 37 (1972), p. 433. Abstract.Google Scholar

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.Google Scholar

Carstengerdes, W. 1971a Mehrsortige logische Systeme mit unendlich langen Formeln, I. Archiv für Mathematische Logik und Grundlagenforschung, vol. 14 (1971), pp. 38-53.Google Scholar

Carstengerdes, W. 1971b Mehrsortige logische Systeme mit unendlich langen Formeln, II. Archiv für Mathematische Logik und Grundlagenforschung, vol. 14 (1971), pp. 108-126.Google Scholar

Chang, C. C. 1965a A note on the two cardinal problem. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 1148-1155.Google Scholar

Chang, C. C. 1965b A simple proof of the Rabin-Keisler theorem. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 642-643.Google Scholar

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.Google Scholar

Chang, C. C. 1968a A generalization of the Craig interpolation theorem. Notices of the American Mathematical Society, vol. 15 (1968), p. 934. Abstract.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Chang, C. C. 1971b Two interpolation theorems. Symposia Mathematica, vol. 5 (1971), pp. 5-19.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Cberlin, G. L. 1976 Model-theoretic algebra. Journal of Symbolic Logic, vol. 41 (1976), pp. 537 545.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Cleave, J. P. 1969a Local properties of systems. The Journal of the London Mathematical Society, vol. 44 (1969), pp. 121-130.Google Scholar

Cleave, J. P. 1969b Addendum: Local properties of systems. The Journal of the London Mathematical Society, vol. 44 (1969), p. 384.Google Scholar

Cocchiarella, N. B. 1975 A second order logic of variable-binding operators. Reports on Mathematical Logic, vol. 5 (1975), pp. 3-18.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Cowles, J. R. 1979b The theory of Archimedean real closed fields in logics with Ramsey quantifiers. Fundamenta Mathematicae, vol. 103 (1979), pp. 65-76.Google Scholar

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.Google Scholar

Cowles, J. R. 1981a Generalized Archimedean fields and logics with Malitz quantifiers. Fundamenta Mathematicae, vol. 112 (1981), pp. 45-59.Google Scholar

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.Google Scholar

Craig, W. 1957a Linear reasoning. A new form of the Herbrand-Gentzen theorem. Journal of Symbolic Logic, vol. 22 (1957), pp. 250-268.Google Scholar

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.Google Scholar

Craig, W. 1962 Relative characterizability and generalized existential quantifiers. Preliminary report. Notices of the American Mathematical Society, vol. 9 (1962), p. 153. Abstract.Google Scholar

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.Google Scholar

Craig, W. and Vaught, R. L. 1958 Finite axiomatizability using additional predicates. Journal of Symbolic Logic, vol. 23 (1958), pp. 289-308.Google Scholar

Č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.Google Scholar

Čudnovskiĭ, G. V. 1970 Problems of the theory of models related to categoricity. Algebra and Logic, vol. 9 (1970), pp. 50-74.Google Scholar

Čudnovskiĭ, G. V. and Čudnovskiĭ, D. V. 1971 Regular and descending incomplete ultrafilters. Soviet Mathematics, Doklady, vol. 12 (1971), pp. 901-905.Google Scholar

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.Google Scholar

Cutland, N. J. 1972b Σ1 -compactness and ultraproducts. Journal of Symbolic Logic, vol. 37 (1972), pp. 668-672.Google Scholar

Cutland, N. J. 1973 Model theory on admissible sets. Annals of Mathematical Logic, vol. 5 (1973), pp. 257-290.Google Scholar

Cutland, N. J. 1976 Compactness without languages. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 22 (1976), pp. 113-115.Google Scholar

Cutland, N. J. 1978 Σ1 -compactness in languages stronger than L A . Journal of Symbolic Logic, vol. 43 (1978), pp. 508-520.Google Scholar

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.Google Scholar

Cutland, N. J. 1983 Nonstandard measure theory and its applications. Bulletin of the London Mathematical Society, vol. 15 (1983), pp. 529-589.Google Scholar

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.Google Scholar

Cutland, N. J. and Kaufmann, M. J. 1980 Σ1 -well-founded compactness. Annals of Mathematical Logic, vol. 18 (1980), pp. 271-296.Google Scholar

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.Google Scholar

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.Google Scholar

Dahn, B. 1979 Invariant logics. Journal of Symbolic Logic, vol. 44 (1979), p. 445. Abstract.Google Scholar

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.Google Scholar

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.Google Scholar

Devlin, K. J. 1977 Constructibility. In: Handbook of Mathematical Logic, edited by Barwise, K. J.. North-Holland Publishing Company, 1977, pp. 453-489.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Doner, J. E. 1970 Tree acceptors and some of their applications. Journal of Computer and System Sciences, vol. 4 (1970), pp. 406-451.Google Scholar

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.Google Scholar

Doraczynski, R. 1973 Elimination of bound variables in logic with an arbitrary quantifier. Studia Logica, vol. 32 (1973), pp. 117-129.Google Scholar

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.Google Scholar

Duriel, M. 1977b Generalized quantifiers in models of set theory. Journal of Symbolic Logic, vol. 42 (1977), p. 448. Abstract.Google Scholar

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.Google Scholar

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.Google Scholar

Ebbinghaus, H. D. 1969 Über für-fast-alle-Quantoren. Archiv für Mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 179-193.Google Scholar

Ebbinghaus, H. D. 1971 On models with large automorphism groups. Archiv für Mathematische Logik und Grundlagenforschung, vol. 14 (1971), pp. 179- 197.Google Scholar

Ebbinghaus, H. D. 1975a Modelltheorie und Logik. Jahresbericht der Deutschen Mathema-tiker-Vereinigung, vol. 76 (1975), pp. 165-182.Google Scholar

Ebbinghaus, H. D. 1975b Zum L(Q)-Interpolationsproblem. Mathematische Zeitschrift, vol. 142 (1975), pp. 271-279.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Ehrenfeucht, A. 1959a Decidability of the theory of one function. Notices of the American Mathematical Society, vol. 6 (1959), p. 268. Abstract.Google Scholar

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.Google Scholar

Ehrenfeucht, A. 1961 An application of games to the completeness problem for formalized theories. Fundamenta Mathematicae, vol. 49 (1961), pp. 129-141.Google Scholar

Ehrenfeucht, A. 1975 Practical decidability. Journal of Computer and System Sciences, vol. 11 (1975), pp. 392-396.Google Scholar

Ehrenfeucht, A. and Mostowski, A. 1956 Models of axiomatic theories admitting automorphisms. Fundamenta Mathematicae, vol. 43 (1956), pp. 50-68.Google Scholar

Eklof, P. C. 1970 On the existence of L ∞κ-indiscernibles. Proceedings of the American Mathematical Society, vol. 25 (1970), pp. 798-800.Google Scholar

Eklof, P. C. 1973 Lefschetz's principle and local functors. Proceedings of the American Mathematical Society, vol. 37 (1973), pp. 333-339.Google Scholar

Eklof, P. C. 1974 Infinitary equivalence of Abelian groups. Fundamenta Mathematicae, vol. 81 (1974), pp. 305-314.Google Scholar

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.Google Scholar

Eklof, P. C. 1975b On the existence of k,-free Abelian groups. Proceedings of the American Mathematical Society, vol. 47 (1975), pp. 65-72.Google Scholar

Eklof, P. C. 1976 Infinitary model theory of Abelian groups. Israel Journal of Mathematics, vol. 25 (1976), pp. 97-107.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Eklof, P. C. and Mekler, A. H. 1979 Stationary logic of finitely determinate structures. Annals of Mathematical Logic, vol. 17 (1979), pp. 227-269.Google Scholar

Eklof, P. C. and Mekler, A. H. 1981 Infinitary stationary logic and Abelian groups. Fundamenta Mathematicae, vol. 112 (1981), pp. 1-15.Google Scholar

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.Google Scholar

Eklof, P. C. and Sabbagh, G. 1971 Definability problems for modules and rings. Journal of Symbolic Logic, vol. 36 (1971), pp. 623-649.Google Scholar

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.Google Scholar

Ellentuck, E. 1975 The foundations of Suslin logic. Journal of Symbolic Logic, vol. 40 (1975), pp. 567-575.Google Scholar

Enderton, H. B. 1970a Finite partially ordered quantifiers. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 393-397.Google Scholar

Enderton, H. B. 1970b The unique existential quantifier. Archiv für Mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 52-54.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Engeler, E. 1963b A reduction principle for infinite formulas. Mathematische Annalen, vol. 151 (1963), pp. 296-303.Google Scholar

Engelking, R. and Karlowicz, M. 1965 Some theorems of set theory and their topological consequences. Fundamenta Mathematicae, vol. 57 (1965), pp. 275-285.Google Scholar

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.Google Scholar

Erdös, P. and Hajnal, A. 1958 On the structure of set mappings. Acta Mathematica Academiae Scientiarum Hungaricae, vol. 9 (1958), pp. 111-131.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Eršov, Ju. L. 1964a Decidability of certain non-elementary theories (Russian). Algebra i Logika, vol. 3, no. 2 (1964), pp. 45-47.Google Scholar

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.Google Scholar

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.Google Scholar

Fagin, R. 1976 Probabilities on finite models. Journal of Symbolic Logic, vol. 41 (1976), pp. 50-58.Google Scholar

Fajardo, S. V. 1980 Compacidad y decidibilidad de logicas monddicas con cuantificadores cardinales. Revista Colombiana de Matematicas, vol. 14 (1980), pp. 173-196.Google Scholar

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.Google Scholar

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.Google Scholar

Feferman, S. 1968b Persistent and invariant formulas for outer extensions. Compositio Mathematica, vol. 20 (1968), pp. 29-52.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Feferman, S. and Vaught, R. L. 1959 The first-order properties of algebraic systems. Fundamenta Mathematicae, vol. 47 (1959), pp. 57-103.Google Scholar

Felgner, U. 1971 Comparison of the axioms of local and universal choice. Fundamenta Mathematicae, vol. 71 (1971), pp. 43-62.Google Scholar

Felscher, W. 1965 Zur Algebra unendlich langer Zeichenreihen. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 5-16.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Ferro, R. 1978 Interpolation theorems for L 2+ k,k . Journal of Symbolic Logic, vol. 43 (1978), pp. 535-549.Google Scholar

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.Google Scholar

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.Google Scholar

Ferro, R. 1983 Seq-consistency property and interpolation theorems. Rendiconti del Seminario Matematico dell'Università di Padova, vol. 70 (1983), pp. 133-145.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Flum, J. 1971b Ganzgeschlossene und prddikatengeschlossene Logiken, II. Archiv für Mathematische Logik und Grundlagenforschung, vol. 14 (1971), pp. 99-107.Google Scholar

Flum, J. 1971c A remark on infinitary languages. Journal of Symbolic Logic, vol. 36 (1971), pp. 461-462.Google Scholar

Flum, J. 1972a Die Automorphismenmengen der Modelle einer L Q-Theorie. Archiv für Mathematische Logik und Grundlagenforschung, vol. 15 (1972), pp. 83-85.Google Scholar

Flum, J. 1972b Hanf numbers and well-ordering numbers. Archiv für Mathematische Logik und Grundlagenforschung, vol. 15 (1972), pp. 164-178.Google Scholar

Flum, J. 1975a L(Q)-preservation theorems. Journal of Symbolic Logic, vol. 40 (1975), pp. 410-418.Google Scholar

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.Google Scholar

Flum, J. 1984 Model Itheorie - topologische Modelltheorie. Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 86 (1984), pp. 69-82.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Frayne, T. E., Morel, A. C. and Scott, D. S. 1962 Reduced direct products. Fundamenta Mathematicae, vol. 51 (1962), pp. 195-228.Google Scholar

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.Google Scholar

Friedman, H. M. 1974 On existence proofs of Hanf numbers. Journal of Symbolic Logic, vol. 39 (1974), pp. 318-324.Google Scholar

Friedman, H. M. 1975a Adding propositional connectives to countable infinitary logic. Mathematical Proceedings of the Cambridge Philosophical Society, vol. 77 (1975), pp. 1-6.Google Scholar

Friedman, H. M. 1975b Large models of countable height. Transactions of the American Mathematical Society, vol. 201 (1975), pp. 227-239.Google Scholar

Friedman, H. M. 1975c One hundred and two problems in mathematical logic. Journal of Symbolic Logic, vol. 40 (1975), pp. 113-129.Google Scholar

Friedman, H. M. 1977 Adding propositional connectives to countable infinitary logics. Mathematical Proceedings of the Cambridge Philosophical Society, vol. 77 (1977), pp. 1-6.Google Scholar

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.Google Scholar

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.Google Scholar

Friedman, S. D. 1981 Uncountable admissibles, II: Compactness. Israel Journal of Mathematics, vol. 40 (1981), pp. 129-149.Google Scholar

Friedman, S. D. 1982a Steel forcing and Barwise compactness. Annals of Mathematical Logic, vol. 22 (1982), pp. 31-46.Google Scholar

Friedman, S. D. 1982b Uncountable admissibles, I: Forcing. Transactions of the American Mathematical Society, vol. 270 (1982), pp. 61-73.Google Scholar

Friedman, S. D. 1984 Model theory for L∞ω1 . Annals of Pure and Applied Logic, vol. 26 (1984), pp. 103-122.Google Scholar

Friedman, S. D. and Shelah, S. 1983 Tall α-recursive structures. Proceedings of the American Mathematical Society, vol. 88 (1983), pp. 672-678.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Gaifman, H. 1964 Concerning measures on first-order calculi. Israel Journal of Mathematics, vol. 2 (1964), pp. 1-18.Google Scholar

Gaifman, H. 1967a A generalization of Mahlo's method for obtaining large cardinal numbers. Israel Journal of Mathematics, vol. 5 (1967), pp. 188-200.Google Scholar

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.Google Scholar

Gaifman, H. and Snir, M. 1982 Probabilities over rich languages, testing and randomness. Journal of Symbolic Logic, vol. 47 (1982), pp. 495-548.Google Scholar

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.Google Scholar

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.Google Scholar

Garavaglia, S. C. 1978b Relative strength of Malitz quantifiers. Notre Dame Journal of Formal Logic, vol. 19 (1978), pp. 495-503.Google Scholar

Garland, S. J. 1972 Generalized interpolation theorems. Journal of Symbolic Logic, vol. 37 (1972), pp. 343-351.Google Scholar

Garson, J. W. and Rescher, N. 1968 Topological logic. Journal of Symbolic Logic, vol. 33 (1968), pp. 537-548.Google Scholar

Geiser, J. R. 1967 Nonstandard logic. Doctoral Dissertation, M. I. T., 1967, 184 pp.Google Scholar

Geiser, J. R. 1968 Nonstandard logic. Journal of Symbolic Logic, vol. 33 (1968), pp. 236-250.Google Scholar

Georgescu, G. 1980 Generalized quantifiers on polyadic algebras. Revue Roumaine de Mathematiques Pures et Appliquées, vol. 25 (1980), pp. 1027-1032.Google Scholar

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.Google Scholar

Georgescu, G. 1984 Algebraic logic for the quantifier “there exist uncountable many”. Journal of Symbolic Logic, vol. 49 (1984), p. 691. Abstract.Google Scholar

Georgis, Z. II. 1984 Malitz quantifiers and well orderings. Journal of Symbolic Logic, vol. 49 (1984), pp. 691-692. Abstract.Google Scholar

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.Google Scholar

Gillman, L. 1956 Some remarks on ηα sets. Fundamenta Mathematicae, vol. 43 (1956), pp. 77-82.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Gogol, D. 1973 Low cardinality models for a type of infinitary theory. Fundamenta Mathematicae, vol. 81 (1973), pp. 29-34.Google Scholar

Gogol, D. 1975 Formulas with two generalized quantifiers. Notre Dame Journal of Formal Logic, vol. 16 (1975), pp. 133-136.Google Scholar

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.Google Scholar

Gold, B. 1978 Compact and ω-compact formulas in Lω1ω . Archiv für Mathematische Logik und Grundlagenforschung, vol. 19 (1978), pp. 50-64.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Gostanian, R. and Hrbáček, K. 1980 Propositional extensions of Lω1ω . Dissertationes Mathematicae (Rozprawy Matematyczne), vol. 169 (1980), pp. 5-54.Google Scholar

Grant, P. W. 1978 The completeness of Lω ω . Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 357-364.Google Scholar

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.Google Scholar

Green, J. 1975 A note on P-admissible sets with urelements. Notre Dame Journal of Formal Logic, vol. 16 (1975), pp. 415-417.Google Scholar

Green, J. 1978 κ-Suslin logic. Journal of Symbolic Logic, vol. 43 (1978), pp. 659- 666.Google Scholar

Green, J. 1979 Some model theory for game logics. Journal of Symbolic Logic, vol. 44 (1979), pp. 147-152.Google Scholar

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.Google Scholar

Gregory, J. 1971 Incompleteness of a formal system for infinitary finite-quantifier formulas. Journal of Symbolic Logic, vol. 36 (1971), pp. 445-455.Google Scholar

Gregory, J. 1973 Uncountable models and infinitary elementary extensions. Journal of Symbolic Logic, vol. 38 (1973), pp. 460-470.Google Scholar

Gregory, J. 1974 Beth definability in infinitary languages. Journal of Symbolic Logic, vol. 39 (1974), pp. 22-26.Google Scholar

Grossberg, R. and Shelah, S. 1983 On universal locally finite groups. Israel Journal of Mathematics, vol. 44 (1983), pp. 289-302.Google Scholar

Grzegorczyk, A. 1951 Undecidability of some topological theories. Fundamenta Mathematicae, vol. 38 (1951), pp. 137-152.Google Scholar

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.Google Scholar

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.Google Scholar

Gurevič, R. 1982 Löwenheim-Skolem problem for functors. Israel Journal of Mathematics, vol. 42 (1982), pp. 273-276.Google Scholar

Gurevich, Y. 1964 Elementary properties of ordered Abelian groups (Russian). Algebra i Logika, vol. 3, no. 1 (1964), pp. 5-39.Google Scholar

Gurevich, Y. 1965 Elementary properties of ordered Abelian groups. American Mathematical Society Translations, vol. 46 (1965), pp. 165-192.Google Scholar

Gurevich, Y. 1977a Expanded theory of ordered Abelian groups. Annals of Mathematical Logic, vol. 12 (1977), pp. 193-228.Google Scholar

Gurevich, Y. 1977b Monadic theory of order and topology, I. Israel Journal of Mathematics, vol. 27 (1977), pp. 299-319.Google Scholar

Gurevich, Y. 1979a Modest theory of short chains, I. Journal of Symbolic Logic, vol. 44 (1979), pp. 481-490.Google Scholar

Gurevich, Y. 1979b Monadic theory of order and topology, II. Israel Journal of Mathematics, vol. 34 (1979), pp. 45-71.Google Scholar

Gurevich, Y. 1980 Two notes on formalized topology. Fundamenta Mathematicae, vol. 107 (1980), pp. 145-148.Google Scholar

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.Google Scholar

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.Google Scholar

Gurevich, Y., Magidor, M. and Shelah, S. 1983 The monadic theory of ω 2 - Journal of Symbolic Logic, vol. 48 (1983), pp. 387-398.Google Scholar

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.Google Scholar

Gurevich, Y. and Shelah, S. 1979 Modest theory of short chains, II. Journal of Symbolic Logic, vol. 44 (1979), pp. 491-502.Google Scholar

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.Google Scholar

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.Google Scholar

Gurevich, Y. and Shelah, S. 1983b Rabin's uniformization problem. Journal of Symbolic Logic, vol. 48 (1983), pp. 1105-1119.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Halpern, J. D. 1975 Transfer theorems for topological structures. Pacific Journal of Mathematics, vol. 61 (1975), pp. 427-440.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Harnik, V. 1979 Refinements of Vaught's normal form theorem. Journal of Symbolic Logic, vol. 44 (1979), pp. 289-306.Google Scholar

Harnik, V. and Makkai, M. 1976 Applications of Vaught sentences and the covering theorem. Journal of Symbolic Logic, vol. 41 (1976), pp. 171-187.Google Scholar

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.Google Scholar

Harnik, V. and Makkai, M. 1979 New axiomatizations for logics with generalized quantifiers. Israel Journal of Mathematics, vol. 32 (1979), pp. 257-281.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Hauschild, K. 1981 Zum Vergleich von Hdrtigquantor und Rescherquantor. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 255-264.Google Scholar

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.Google Scholar

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.Google Scholar

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.Google Scholar

Havránek, T. 1975 Statistical quantifiers in observational calculi: An application in GUHA-methods. Theory and Decision, vol. 6 (1975), pp. 213-230.Google Scholar

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.Google Scholar

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.Google Scholar

Helling, M. 1964 Hanf numbers for some generalizations of first-order languages. Notices of the American Mathematical Society, vol. 11 (1964), p. 679. Abstract.Google Scholar

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.Google Scholar

Henkin, L. A. 1954 A generalization of the concept of w-consistency. Journal of Symbolic Logic, vol. 19 (1954), pp. 183-196.Google Scholar

Henkin, L. A. 1957 A generalization of the concept of u-completeness. Journal of Symbolic Logic, vol. 22 (1957), pp. 1-14.Google Scholar

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.Google Scholar

Henkin, L. A. 1963 An extension of the Craig-Lyndon theorem. Journal of Symbolic Logic, vol. 28 (1963), pp. 201-216.Google Scholar

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.Google Scholar

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.Google Scholar