Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-27T21:40:10.041Z Has data issue: false hasContentIssue false

Bibliography

Published online by Cambridge University Press:  31 March 2017

By
D. S. Scott ,
D. C. McCarty  and
J. E Horty
Edited by
J. Barwise  and
S. Feferman
D. S. Scott
Affiliation:
Carnegie-Mellon University
D. C. McCarty
Affiliation:
Ohio State University
J. Barwise
Affiliation:
Stanford University, California
S. Feferman
Affiliation:
Stanford University, California
Get access
Type
Chapter
Information
Model-Theoretic Logics , pp. 793 - 893
Publisher: Cambridge University Press
Print publication year: 2017

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

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
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
Hickin, K. K. 1978 Complete universal locally finite groups. Transactions of the American Mathematical Society, vol. 239 (1978), pp. 213-227.Google Scholar
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.Google Scholar
Hintikka, K. J. J. 1955 Reductions in the theory of types. Acta Philosophica Fennica, vol. 8 (1955), pp. 57-115.Google Scholar
Hintikka, K. J. J. and Rantala, V. 1976 A new approach to infinitary languages. Annals of Mathematical Logic, vol. 10 (1976), pp. 95-115.Google Scholar
Hodges, W. 1974 A normal form for algebraic constructions. Bulletin of the London Mathematical Society, vol. 6 (1974), pp. 57-60.Google Scholar
Hodges, W. 1975 A normal form for algebraic constructions, II. Logique et Analyse, vol. 18 (1975), pp. 429-487.Google Scholar
Hodges, W. 1976 On the effectivity of some field constructions. Proceedings of the London Mathematical Society, vol. 32 (1976), pp. 133-162.Google Scholar
Hodges, W. 1980a Constructing pure injective hulls. Journal of Symbolic Logic, vol. 45 (1980), pp. 544-548.Google Scholar
Hodges, W. 1980b Functorial uniform reducibility. Fundamenta Mathematicae, vol. 108 (1980), pp. 77-81.Google Scholar
Hodges, W. 1981 In singular cardinality, locally free algebras are free. Algebra Universalis, vol. 12 (1981), pp. 205-220.Google Scholar
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.Google Scholar
Hodges, W. and Shelah, S. 1981 Infinite games and reduced products. Annals of Mathematical Logic, vol. 20 (1981), pp. 77-108.Google Scholar
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.Google Scholar
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.Google Scholar
Hoover, D. N. 198? A probabilistic interpolation theorem. Journal of Symbolic Logic. To appear.Google Scholar
Hoover, D. N. and Keisler, H. J. 1984 Adapted probability distributions. Transactions of the American Mathematical Society, vol. 286 (1984), pp. 159-201.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
Isbell, J.R. 1973 Functorial implicit operations. Israel Journal of Mathematics, vol. 15 (1973), pp. 185-188.Google Scholar
Issel, W. 1969 Semantische Untersuchungen über Quantoren, I. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 353-358.Google Scholar
Issel, W. 1970a Semantische Untersuchungen über Quantoren, II. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 281-296.Google Scholar
Issel, W. 1970b Semantische Untersuchungen über Quantoren, III. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 421-438.Google Scholar
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.Google Scholar
Jankowskl, A. W. 1980 On closure spaces of filters in complete lattices of sets. Journal of Symbolic Logic, vol. 45 (1980), p. 394. Abstract.Google Scholar
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.Google Scholar
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.Google Scholar
Jech, T. J. 1973 Some combinatorial problems concerning uncountable cardinals. Annals of Mathematical Logic, vol. 5 (1973), pp. 165-198.Google Scholar
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.Google Scholar
Jensen, F. V. 1974 Interpolation and definability in abstract logics. Synthese, vol. 27 (1974), pp. 251-257.Google Scholar
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.Google Scholar
Jensen, F. V. 1976 Souslin-Kleene does not imply Beth. Fundamenta Mathematicae, vol. 90 (1976), pp. 269-273.Google Scholar
Jensen, R. B. 1969a Automorphism properties of Souslin continua. Notices of the American Mathematical Society, vol. 16 (1969), p. 576. Abstract.Google Scholar
Jensen, R. B. 1969b Souslin's hypothesis = weak compactness in L. Notices of the American Mathematical Society, vol. 16 (1969), p. 842. Abstract.Google Scholar
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.Google Scholar
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.Google Scholar
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.Google Scholar
Jensen, R. B. and Koppelberg, B. J. 1978 A note on ultrafilters. Notices of the American Mathematical Society, vol. 25 (1978), p. A250. Abstract.Google Scholar
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.Google Scholar
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.Google Scholar
Jónsson, B. 1960 Homogeneous universal relational systems. Mathematica Scandinavica, vol. 8 (1960), pp. 137-142.Google Scholar
Jónsson, B. 1980 Congruence varieties. Algebra Universalis, vol. 10 (1980), pp. 355-394.Google Scholar
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.Google Scholar
Kanamori, A. 1976 Weakly normal ultrafilters and irregular ultrafilters. Transactions of the American Mathematical Society, vol. 220 (1976), pp. 393-399.Google Scholar
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.Google Scholar
Kaplan, D. 1966a Rescher's plurality quantification. Journal of Symbolic Logic, vol. 31 (1966), p. 153. Abstract.Google Scholar
Kaplan, D. 1966b Generalized plurality quantification. Journal of Symbolic Logic, vol. 31 (1966), p. 154. Abstract.Google Scholar
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.Google Scholar
Karp, C. 1963 A note on the representation of α-complete Boolean algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 705-707.Google Scholar
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.Google Scholar
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.Google Scholar
Karp, C. 1966b Applications of recursive set functions to infinitary logic. Journal of Symbolic Logic, vol. 31 (1966), p. 698. Abstract.Google Scholar
Karp, C. 1967 Non-axiomatizability results for infinitary systems. Journal of Symbolic Logic, vol. 32 (1967), pp. 367-384.Google Scholar
Karp, C. 1968 An algebraic proof of the Barwise compactness theorem. In: The Syntax and Semantics of Infinitary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 80-95.Google Scholar
Karp, C. 1972 From countable to cofinality w in infinitary model theory. Journal of Symbolic Logic, vol. 37 (1972), pp. 430-431. Abstract.Google Scholar
Karp, C. 1974 Infinite-quantifier languages and w-chains of models. In: Proceedings of the Tarski Symposium, edited by Henkin, L. A.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 25 (1974), pp. 225-232.Google Scholar
See also: Jensen, R. B. and Karp, C. 1971.
Karttunen, M. 1979 Infinitary languages N∞λ and generalized partial isomorphisms. In: Essays on Mathematical and Philosophical Logic, edited by Hintikka, K. J. J., Niiniluoto, I., and Saarinen, E.. Reidel, D. Publishing Company, 1979, pp. 153-168.
Kaufmann, M. J. 1977a A new omitting types theorem for L(Q). Notices of the American Mathematical Society, vol. 24 (1977), p. A-438. Abstract.Google Scholar
Kaufmann, M. J. 1977b Back-and-forth systems for stationary logic. Preliminary report. Notices of the American Mathematical Society, vol. 24 (1977), pp. A-549-A-550. Abstract.Google Scholar
Kaufmann, M. J. 1978a Some results in stationary logic. Doctoral Dissertation, University of Wisconsin, 1978, iii+141 pp.
Kaufmann, M. J. 1978b Some results in stationary logic. Journal of Symbolic Logic, vol. 43 (1978), pp. 369-370. Abstract.Google Scholar
Kaufmann, M. J. 1979 A new omitting types theorem for L(Q). Journal of Symbolic Logic, vol. 44 (1979), pp. 217-231.Google Scholar
Kaufmann, M. J. 1981a Filter logics. Journal of Symbolic Logic, vol. 46 (1981), p. 192. Abstract.Google Scholar
Kaufmann, M. J. 1981b Filter logics: filters on ω 1. Annals of Mathematical Logic, vol. 20 (1981), pp. 155-200.Google Scholar
Kaufmann, M. J. 1983a Blunt and topless end extensions of models of set theory. Journal of Symbolic Logic, vol. 48 (1983), pp. 1053-1073.Google Scholar
Kaufmann, M. J. 1983b Set theory with a filter quantifier. Journal of Symbolic Logic, vol. 48 (1983), pp. 263-287.Google Scholar
Kaufmann, M. J. 1984a Filter logics on ω. Journal of Symbolic Logic, vol. 49 (1984), pp. 241-256.Google Scholar
Kaufmann, M. J. 1984b On expandability of models of arithmetic and set theory to models of weak second-order theories. Fundamenta Mathematicae, vol. 122 (1984), pp. 57-60.Google Scholar
See also: Barwise, K. J., Kaufmann, M. J. and Makkai, M. 1978; Barwise, K. J., Kaufmann, M. J. and Makkai, M. 1981; Cutland, N. J. and Kaufmann, M. J. 1979; Cutland, N. J. and Kaufmann, M. J. 1980; Shelah, S. and Kaufmann, M. J. 198?a; Shelah, S. and Kaufmann, M. J. 198?b.
Kaufmann, M. J. and Kranakis, E. 1984 Definable ultrapowers and ultrafilters over admissible ordinals. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 30 (1984), pp. 97-118.Google Scholar
Kechris, A. S. and Moschovakis, Y. N. 1977 Recursion in higher types. In: Handbook of Mathematical Logic, edited by Barwise, K. J.. North-Holland Publishing Company, 1977, pp.681-737.Google Scholar
Kegel, O. H. and Wehrfritz, B. A. F. 1973 Locally Finite Groups. North-Holland Publishing Company, 1973, xi+210 pp.
Keisler, H. J. 1962 Some applications of the theory of models to set theory. In: Logic, Methodology and Philosophy of Science, edited by Nagel, E., Suppes, P. and 'Tarski, A.. Stanford University Press, 1962, pp. 80-86.Google Scholar
Keisler, H. J. 1963a A complete first-order logic with infinitary predicates. Fundamenta Mathematicae, vol. 52 (1963), pp. 177-203.Google Scholar
Keisler, H. J. 1963b Limit ultrapowers. Transactions of the American Mathematical Society, vol. 107 (1963), pp. 382-408.Google Scholar
Keisler, H. J. 1964 On cardinalities of ultraproducts. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 70 (1964), pp. 644-647.Google Scholar
Keisler, H. J. 1965a A survey of ultraproducts. In: Logic, Methodology and Philosophy of Science, edited “by Bar-Hillel, Y.. North-Holland Publishing Company, 1965, pp. 112-126.Google Scholar
Keisler, H. J. 1965b Extending models of set theory. Journal of Symbolic Logic, vol. 30 (1965), p. 269. Abstract.Google Scholar
Keisler, H. J. 1965c Finite approximations of infinitely long formulas. In: The Theory of Models, edited by Addison, J. W., Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 158-169.Google Scholar
Keisler, H. J. 1965d Some applications of infinitely long formulas. Journal of Symbolic Logic, vol. 30 (1965), pp. 339-349.Google Scholar
Keisler, H. J. 1966a First order properties of pairs of cardinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 141-144.Google Scholar
Keisler, H. J. 1966b Some model theoretic results for ω-logic. Israel Journal of Mathematics, vol. 4 (1966), pp. 249-261.Google Scholar
Keisler, H. J. 1967a A three-cardinal theorem for ω-logic. Notices of the American Mathematical Society, vol. 14 (1967), p. 256. Abstract.Google Scholar
Keisler, H. J. 1967b Ultraproducts which are not saturated. Journal of Symbolic Logic, vol. 32 (1967), pp. 23-46.Google Scholar
Keisler, H. J. 1968a Formulas with linearly ordered quantifiers. In: The Syntax and Semantics of Infinitary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 96-130.Google Scholar
Keisler, H. J. 1968b Models with orderings. In: Logic, Methodology and Philosophy of Science III, edited by van Rootselaar, B. and Staal, J.F.. North-Holland Publishing Company, 1968, pp. 35-62.Google Scholar
Keisler, H. J. 1969a Categorical theories in infinitary logic. Notices of the American Mathematical Society, vol. 16 (1969), p. 437. Abstract.Google Scholar
Keisler, H. J. 1969b Infinite quantifiers and continuous games. In: Applications of Model Theory to Algebra, Analysis, and Probability, edited by Luxemburg, W. A. J.. Holt, Rinehart and Winston, 1969, pp. 228-264.Google Scholar
Keisler, H. J. 1970 Logic with the quantifier “there exist uncountably many”. Annals of Mathematical Logic, vol. 1 (1970), pp. 1-93.Google Scholar
Keisler, H. J. 1971a Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers. North-Holland Publishing Company, 1971, x-f 208 pp.
Keisler, H. J. 1971b Model theory. In: Actes du Congrès International des Mathématiciens. Tome I, edited by Berger, M.. Gauthier-Villars, Paris, 1971, pp. 141-150.Google Scholar
Keisler, H. J. 1973 Forcing and the omitting types theorem. In: Studies in Model Theory, edited by Morley, M. D.. Mathematical Association of America, Studies in Mathematics, vol. 8 (1973), pp. 96-133.Google Scholar
Keisler, H. J. 1974 Models with tree structures. In: Proceedings of the Tarski Symposium, edited by Henkin, L. A.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 25 (1974), pp. 331-348.Google Scholar
Keisler, H. J. 1975 Constructions in model theory. In: Model Theory and Applications, edited by Mangani, P.. Edizioni Cremonese, Rome, 1975, pp. 56- 108.Google Scholar
Keisler, H. J. 1976 Foundations of Infinitesimal Calculus. Prindle, Weber & Schmidt, 1976, x+214 pp.
Keisler, H. J. 1977a Fundamentals of model theory. In: Handbook of Mathematical Logic, edited by Barwise, K. J.. North-Holland Publishing Company, 1977, pp. 47-103.Google Scholar
Keisler, H. J. 1977b Hyperfinite model theory. In: Logic Colloquium ’76, edited by Hyland, J. M. E. and Gandy, R. O.. North-Holland Publishing Company, 1977, pp. 5-110.Google Scholar
Keisler, H. J. 1977c The monotone class theorem in infinitary logic. Proceedings of the American Mathematical Society, vol. 64 (1977), pp. 129-134.Google Scholar
Keisler, H. J. 1979 Hyperfinite probability theory and probability logic. Manuscript, University of Wisconsin, 1979, 133 pp.
Keisler, H. J. 1980 Reshuffling theorems for finite Markov processes. Abstracts of Papers Presented to the American Mathematical Society, vol. 1 (1980), p. 146. Abstract.Google Scholar
Keisler, H. J. 1984 An Infinitesimal Approach to Stochastic Analysis. Memoirs of the American Mathematical Society, vol. 48, 1984, x+184 pp.
See also: Bruce, K. B. and Keisler, H. J. 1979; Chang, C. C. and Keisler, H. J. 1962; Chang, C. C. and Keisler, H. J. 1973; Chang, C. C. and Keisler, H. J. 1977; Hoover, D. N. and Keisler, H. J. 1984.
Keisler, H.J. and Morley, M.D. 1967 On the number of homogeneous models of a given power. Israel Journal of Mathematics, vol. 5 (1967), pp. 73-78.Google Scholar
Keisler, H.J. and Morley, M.D. 1968 Elementary extensions of models of set theory. Israel Journal of Mathematics, vol. 6 (1968), pp. 49-65.Google Scholar
Keisler, H.J. and Silver, J. H. 1971 End extensions of models of set theory. In: Axiomatic Set Theory, Part I, edited by Scott, D. S.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 13 (1971), pp. 177-187.Google Scholar
Keisler, H.J. and Tarski, A. 1964 From accessible to inaccessible cardinals. Fundamenta Mathematicae, vol. 53 (1964), pp. 225-308.Google Scholar
Keisler, H. J. and Walkoe, W. J. 1973 The diversity of quantifier prefixes. Journal of Symbolic Logic, vol. 38 (1973), pp. 79-85.Google Scholar
Kierstead, H. A. 1979 Countable models of 'wj- categorical theories in Lω1ω . Journal of Symbolic Logic, vol. 44 (1979), p. 662. Abstract.Google Scholar
Kierstead, H. A. 1980 Countable models of ω 1 -categorical theories in admissible languages. Annals of Mathematical Logic, vol. 19 (1980), pp. 127-175.Google Scholar
Kierstead, H. A. and Remmel, J. B. 1983 Indiscernibles and decidable models. Journal of Symbolic Logic, vol. 48 (1983), pp. 21-32.Google Scholar
Kino, A. 1966 Definability of ordinals in logic with infinitely long expressions. Journal of Symbolic Logic, vol. 31 (1966), pp. 365-375.Google Scholar
Kino, A. 1967 Correction to a paper on definability of ordinals in infinite logic. Journal of Symbolic Logic, vol. 32 (1967), pp. 343-344.Google Scholar
See also: Myhill, J. and Kino, A. 1975.
Kino, A. and Takeuti, G. 1963 On predicates with constructive infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 15 (1963), pp. 176-190.Google Scholar
Kleene, S. C. 1955a Hierarchies of number-theoretic predicates. Bulletin of the American Mathematical Society, vol. 61 (1955), pp. 193-213.Google Scholar
Kleene, S. C. 1955b On the forms of the predicates in the theory of constructive ordinals, II. American Journal of Mathematics, vol. 77 (1955), pp. 405-428.Google Scholar
Knight, J. F. 1976 Hanf numbers for omitting types over particular theories. Journal of Symbolic Logic, vol. 41 (1976), pp. 583-588.Google Scholar
Knight, J. F. 1977 A complete Lω1ω -sentence characterizing א1. Journal of Symbolic Logic, vol. 42 (1977), pp. 59-62.Google Scholar
Kogalovskiĭ, S. R. 1966 On higher order logic. Soviet Mathematics, Doklady, vol. 7 (1966), pp. 1642-1645.Google Scholar
Kokorin, A. I. and Pinus, A. G. 1978 Decidability problems of extended theories. Russian Mathematical Surveys, vol. 33 (1978), pp. 53-96.Google Scholar
Kolaitis, P. G. 1980 Recursion and nonmonotone induction in a quantifier. In: The Kleene Symposium, edited by Barwise, .K. J., Keisler, H. J. and Kunen, K.. North-Holland Publishing Company, 1980, pp. 367-389.Google Scholar
Koppelberg, B. J, See: Donder, H.-D., Jensen, R. B. and Koppelberg, B. J. 1981; Jensen, R. B. and Koppelberg, B. J. 1978.
Kopperman, R. D. 1967a Application of infinitary languages to metric spaces. Pacific Journal of Mathematics, vol. 23 (1967), pp. 299-310.Google Scholar
Kopperman, R. D. 1967b On the axiomatizability of uniform spaces. Journal of Symbolic Logic, vol. 32 (1967), pp. 289-294.Google Scholar
Kopperman, R. D. 1967c The Lω1ω -theory of Hilbert spaces. Journal of Symbolic Logic, vol. 32 (1967), pp. 295-304.Google Scholar
Kopperman, R. D. 1969 Applications of infinitary languages to analysis. In: Applications of Model Theory to Algebra, Analysis, and Probability, edited by Luxemburg, W. A. J.. Holt, Rinehart and Winston, 1969, pp. 265-273.Google Scholar
Kopperman, R. D. 1972 Model Theory and its Applications. Allyn and Bacon, 1972, x+333 pp.
Kopperman, R. D. and Mathias, A. R. D. 1968 Some problems in group theory. In: The Syntax and Semantics of Infinitary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 131-138.Google Scholar
Kosciuk, S. 1982 Non-standard stochastic methods in diffusion theory. Doctoral Dissertation, University of Wisconsin, Madison, 1982, v+54 pp.
Kotlarski, H. 1974 On the existence of well-ordered models. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 22 (1974), pp. 459-462.Google Scholar
Kotlarski, H. 1978 Some remarks on well-ordered models. Fundamenta Mathematicae, vol. 99 (1978), pp. 123-132.Google Scholar
Kowalsky, H.-J. and Dürbaum, H. 1953 Arithmetische Kennzeichnung von Körpertopologien. Journal für die Reine und Angewandte Mathematik, vol. 191 (1953), pp. 135-152.Google Scholar
Kranakis, E. See: Kaufmann, M. J. and Kranakis, E. 1984.
Krauss, P. H. 1969 Representation of symmetric probability models. Journal of Symbolic Logic, vol. 34 (1969), pp. 183-193.Google Scholar
Krauss, P. H. and Scott, D. S. 1966 Assigning probabilities to logical formulas. In: Aspects of Inductive Logic, edited by Hintikka, K. J. J. and Suppes, P.. North-Holland Publishing Company, 1966, pp. 219-264.Google Scholar
Krawczyk, A. 1975 On a class of models for sentences of languages LA Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 23 (1975), pp. 381-385.Google Scholar
Krawczyk, A. 1977 On classes of models for sentences of languages LA. 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. 81-88.Google Scholar
Krawczyk, A. and Krynicki, M. 1976 Ehrenfeucht games for generalized quantifiers. 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. 145-152.Google Scholar
Krawczyk, A. and Marek, W. 1977 On the rules of proof generated by hierarchies. 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. 227-239.Google Scholar
Kreisel, G. 1965 Model-theoretic invariants. In: The Theory of Models, edited by Addison, J. W., Ilenkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 190-205.Google Scholar
Kreisel, G. 1967 Review of [Craig 1965]. Mathematical Reviews, vol. 33 (1967), pp. 659-660.Google Scholar
Kreisel, G. 1968 Choice of infinitary languages by means of definability criteria: generalized recursion theory. In: The Syntax and Semantics of Infinitary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 139-151.Google Scholar
See also: Feferman, S. and Kreisel, G. 1966; Simpson, S. G., Kreisel, G. and Mine, G.E. 1975.
Kreisel, G. and Krivine, J. L. 1967 Elements of Mathematical Logic (Model Theory). North-Holland Publishing Company, 1967, xi+222 pp.
Kreisel, G. and Sacks, G.E. 1965 Metarecursive sets. Journal of Symbolic Logic, vol. 30 (1965), pp. 318-338.Google Scholar
Kripke, S. A. 1964a Transfinite recursions on admissible ordinalsy I. Journal of Symbolic Logic, vol. 29 (1964), p. 161. Abstract.Google Scholar
Kripke, S. A. 1964b Transfinite recursions on admissible ordinahj II. Journal of Symbolic Logic, vol. 29 (1964), pp. 161-162. Abstract.Google Scholar
Krivine, J. L. 1974 Langages à valeurs réelles et applications. Fundamenta Mathematicae, vol. 81 (1974), pp. 213-253.Google Scholar
See also: Kreisel, G. and Krivine, J. L. 1967.
Krivine, J. L. and McAloon, K. 1973 Forcing and generalized quantifiers. Annals of Mathematical Logic, vol. 5 (1973), pp. 199-255.Google Scholar
Krynicki, M. 1977a Some consequences of the omitting and realizing types properties. 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. 33-43.Google Scholar
Krynicki, M. 1977b Henkin quantifier and decidability. 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. 89-90.Google Scholar
Krynicki, M. 1979 On the expressive power of the language using the Henkin quantifier. In: Essays on Mathematical and Philosophical Logic, edited by Hintikka, K. J. J., Niiniluoto, I., and Saarinen, E.. Reidel, D. Publishing Company, 1979, pp. 259-265.Google Scholar
Krynicki, M. 1982 On some approximations of second-order languages. Manuscript, Batna University, 1982, 12 pp.
See also: Krawczyk, A. and Krynicki, M. 1976.
Krynicki, M. and Lachlan, A. H. 1979 On the semantics of the Henkin quantifier. Journal of Symbolic Logic, vol. 44 (1979), pp. 184-200.Google Scholar
Krynicki, M., Lachlan, A. H. and Väänänen, J. 1984 Vector spaces and binary quantifiers. Notre Dame Journal of Formal Logic, vol. 25 (1984), pp. 72-78.Google Scholar
Krynicki, M. and Väänänen, J. 1982 On orderings of the family of all logics. Archiv für Mathematische Logik und Grundlagenforschung, vol. 22 (1982), pp. 141-158.Google Scholar
Kueker, D. W. 1967 Some results on definability theory. Doctoral Dissertation, University of California, Los Angeles, 1967, 77 pp.
Kueker, D. W. 1968 Definability, automorphisms, and 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. 152-165.Google Scholar
Kueker, D. W. 1970 Generalized interpolation and definability. Annals of Mathematical Logic, vol. 1 (1970), pp. 423-468.Google Scholar
Kueker, D. W. 1972 Löwenheim-Skolem and interpolation theorems in infinitary languages. Bulletin of the American Mathematical Society, vol. 78 (1972), pp. 211-215.Google Scholar
Kueker, D. W. 1973 Free and almost free algebras. Notices of the American Mathematical Society, vol. 20 (1973), p. A-31. Abstract.Google Scholar
Kueker, D. W. 1975 Back-and-forth arguments in infinitary logic. In: Infinitary Logic: In Memoriam Carol Karp, edited by Kueker, D. W.. Springer-Verlag Lecture Notes in Mathematics, vol. 492 (1975), pp. 17-71.Google Scholar
Kueker, D. W. Countable approximations and Löwenheim-Skolem theorems. Annals of Mathematical Logic, vol. 11 (1977), pp. 57-103.
Kueker, D. W. 1978 Uniform theorems in infinitary logic. In: Logic Colloquium ’77, edited by Macintyre, A. J., Pacholski, L. and Paris, J. B.. North-Holland Publishing Company, 1978, pp. 161-170.Google Scholar
Kueker, D. W. 1980 Almost-free algebras of power Ni. Manuscript, University of Maryland, 1980, 9 pp.
Kueker, D. W. 1981 L∞1ω-elementarily equivalent models of power ω 1. In : Logic Year 1979-80, edited by Lerman, M., Schmerl, J. H. and Soare, R. I.. Springer-Verlag Lecture Notes in Mathematics, vol. 859 (1981), pp. 120-131.Google Scholar
See also: Baldwin, J. T. and Kueker, D. W. 1980.
Kunen, K. 1968a Implicit definability and infinitary languages. Journal of Symbolic Logic, vol. 33 (1968), pp. 446-451.Google Scholar
Kunen, K. 1968b Inaccessibility properties of cardinals. Doctoral Dissertation, Stanford University, 1968, 112 pp.
Kunen, K. 1970 Some applications of iterated ultrapowers in set theory. Annals of Mathematical Logic, vol. 1 (1970), pp. 179-227.Google Scholar
Kunen, K. 1977 Combinatorics. In: Handbook of Mathematical Logic, edited by Barwisey, K. J.. North-Holland Publishing Company, 1977, pp. 371-401.Google Scholar
Kunen, K. 1980 Set Theory: An Introduction to Independence Proofs. North-Holland Publishing Company, 1980, xvi+313 pp.
See also: Barwise, K. J. and Kunen, K. 1971.
Kunen, K. and Prikry, K. L. 1971 On descendingly incomplete ultrafilters. Journal of Symbolic Logic, vol. 36 (1971), pp. 650-652.Google Scholar
Kunen, K. and van Douwen, E. K. 1982 L-spaces and S-spaces in P(ω). Topology and its Applications, vol. 14 (1982), pp. 143-149.Google Scholar
Kuratowski, K. 1966 Topology. Volume I. Academic Press and Państwowe Wydawnictwo Naukowe (Polish Scientific Publishers), 1966, xx+560 pp.
Kuratowski, K. 1968 Topology. Volume II. Academic Press and Państwowe Wydawnictwo Naukowe (Polish Scientific Publishers), 1968, xiv+608 pp.
Kuratowski, K. and Mostowski, A. 1968 Set Theory (First Edition). Państwowe Wydawnictwo Naukowe (Polish Scientific Publishers) and North-Holland Publishing Company, 1968, xi+417 pp.
Kuratowski, K. and Mostowski, A. 1976 Set Theory with an Introduction to Descriptive Set Theory (Second Edition). Państwowe Wydawnictwo Naukowe (Polish Scientific Publishers) and North-Holland Publishing Company, 1976, xiv+514 pp.
Kurepa, D. 1952 Sur une propriété caractéristique du continu linéaire et le problème de Souslin. Académie Serbe des Sciences, Publications de FInstitut Mathématique (Belgrade), vol. 4 (1952), pp. 97-108.Google Scholar
Lachlan, A. H. 1973 A property of stable theories. Fundamenta Mathematicae, vol. 77 (1973), pp. 9-20.Google Scholar
See also: Baldwin, J. T. and Lachlan, A. H. 1971; Krynicki, M. and Lachlan, A. H. 1979; Krynicki, M., Lachlan, A. H. and Väänänen, J. 1984.
Landraitls, C. K. 1980 Lω1ω equivalence between countable and uncountable linear orderings. Fundamenta Mathematicae, vol. 107 (1980), pp. 99-112.
Landweber, L. H. See: Büchi, J. R. and Landweber, L. H. 1969a; Büchi, J. R. and Landweber, L. H. 1969b.
Langford, C. H. 1926 Some theorems on deducibility. Annals of Mathematics, vol. 28 (1926), pp. 16-40.Google Scholar
Lascar, D. and Poizat, B. 1979 An introduction to forking. Journal of Symbolic Logic, vol. 44 (1979), pp. 330-350.Google Scholar
Lassaigne, R. 1971a Produits réduits et langages infinis. Thèse de 3 e cycle. Doctoral Dissertation, Universite de Paris VII, 1971, 53 pp.Google Scholar
Lassaigne, R. 1971b Produits réduits et langages infinis. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Série A, vol. 273 (1971), pp. 791-794.Google Scholar
See also: Ressayre, J. P. and Lassaigne, R. 1974.
Läuchli, H. 1968 A decision procedure for the weak second-order theory of linear order. In: Contributions to Mathematical Logic, edited by Schmidt, H. A., Schütte, K. and Thiele, H.-J.. North-Holland Publishing Company, 1968, pp. 189-197.Google Scholar
Läuchli, H. and Leonard, J. 1966 On the elementary theory of linear order. Fundamenta Mathematicae, vol. 59 (1966), pp. 109-116.Google Scholar
Laver, R. 1971 On Fraïssé's order type conjecture. Annals of Mathematics, vol. 93 (1971), pp. 89-111.Google Scholar
See also: Baumgartner, J. E. and Laver, R. 1979.
Lee, V. and Nadel, M. E. 1977 Remarks on generic models. Fundamenta Mathematicae, vol. 95 (1977), pp. 73-84.Google Scholar
Leonard, J. See: Läuchli, H. and Leonard, J. 1966.
LeTourneau, J. J. 1968 Decision problems related to the concept of operation. Doctoral Dissertation, University of California, Berkeley, 1968, 119 pp.
Lévy, A. 1965 A Hierarchy of Formulas in Set Theory. Memoirs of the American Mathematical Society, vol. 57, 1965, 76 pp.
Lévy, A. 1971 The sizes of indescribable cardinals. In: Axiomatic Set Theory, Part I, edited by Scott, D. S.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 13 (1971), pp. 205-218.Google Scholar
See also: Halpern, J. D. and Levy, A. 1971.
Lindström, P. 1966a First order predicate logic with generalized quantifiers. Theoria, vol. 32 (1966), pp. 186-195.Google Scholar
Lindström, P. 1966b On characterizability in Lω1ω0. Theoria, vol. 32 (1966), pp. 165-171.
Lindström, P. 1968 Remarks on some theorems of Keisler. Journal of Symbolic Logic, vol. 33 (1968), pp. 571-576.Google Scholar
Lindström, P. 1969 On extensions of elementary logic. Theoria, vol. 35 (1969), pp. 1-11.Google Scholar
Lindström, P. 1973a A characterization of elementary logic. In: Modality, Morality and other Problems of Sense and Nonsense, edited by Hansson, B.. CWK Gleerup Bokförlag, 1973, pp. 189-191.Google Scholar
Lindström, P. 1973b A note on weak second order logic with variables for elementarily definable relations. 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. 221-233.Google Scholar
Lindström, P. 1974 On characterizing elementary logic. In: Logical Theory and Semantic Analysis, edited by Stenlund, S.. Reidel, D. Publishing Company, 1974, pp. 129-146.Google Scholar
Lindström, P. 1978 Omitting uncountable types and extensions of elementary logic. Theoria, vol. 44 (1978), pp. 152-156.Google Scholar
Lindström, P. 1983 A note on a modification of the Tarski union lemma and extensions of elementary logic. Filosofiska Meddelanden, röda serien, of the Institute for Philosophy of the Göteborg University, vol. 23 (1983), pp. 162-166.Google Scholar
Lindström, T. L. 1980a Hyperfinite stochastic integration, I. The nonstandard theory. Mathematica Scandinavica, vol. 46 (1980), pp. 265-292.Google Scholar
Lindström, T. L. 1980b Hyperfinite stochastic integration, II: Comparison with the standard theory. Mathematica Scandinavica, vol. 46 (1980), pp. 293-314.Google Scholar
Lindström, T. L. 1980c Hyperfinite stochastic integration, III: Hyperfinite representations of standard martingales. Mathematica Scandinavica, vol. 46 (1980), pp. 315-331.Google Scholar
Lindström, T. L. 1980d Addendum to “Hyperfinite stochastic integration, HI”. Mathematica Scandinavica, vol. 46 (1980), pp. 332-333.Google Scholar
Lipner, L. 1970 Some Aspects of Generalized Quantifiers. Doctoral Dissertation, University of California, Berkeley, 1970, 97 pp.
Lipner, L. 1973 Qα-theories of products. Journal of Symbolic Logic, vol. 38 (1973), p. 353. Abstract.Google Scholar
Lipparini, P. 1982 Some results about compact logics. Atti della Accademia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali. Serie VIII, vol. 72 (1982), pp. 308-311.Google Scholar
Lipparini, P. 198?a Duality for compact logics and substitution in abstract model theory. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. To appear.Google Scholar
Lipparini, P. 198?b Robinson equivalence relations through limit ultrapowers. Unione Matematica Italiana. Bollettino. B. Serie VI. To appear.Google Scholar
Lipshitz, L. M. and Nadel, M. E. 1978 The additive structure of models of arithmetic. Proceedings of the American Mathematical Society, vol. 68 (1978), pp. 331-336.Google Scholar
Litman, A. 1976 On the monadic theory of ω 1 without A.C. Israel Journal of Mathematics, vol. 23 (1976), pp. 251-266.Google Scholar
Loeb, P. A. 1975 Conversion from non-standard to standard measure spaces and applications in probability theory. Transactions of the American Mathematical Society, vol. 211 (1975), pp. 113-122.Google Scholar
Loeb, P. A. 1979a An introduction to non-standard analysis and hyperfinite probability theory. In: Probabilistic Analysis and Related Topics, Volume 2, edited by Bharucha-Reid, A. T.. Academic Press, 1979, pp. 105-142.Google Scholar
Loeb, P. A. 1979b Weak limits of measures and the standard part map. Proceedings of the American Mathematical Society, vol. 77 (1979), pp. 128-135.Google Scholar
Loeb, P. A. 1984 A functional approach to nonstandard measure theory. In: Conference in Modern Analysis and Probability, edited by Beals, R., Beck, A., Bellow, A. and Hajian, A.. American Mathematical Sociery, 1984, pp. 251-261.Google Scholar
Loeb, P. A. 198? Measure spaces in nonstandard models underlying standard stochastic processes. Proceedings of the International Congress of Mathematicians, Warsaw 1983. To appear.Google Scholar
López-Escobar, E. G. K. 1965a Infinitely long formulas with countable quantifier degrees. Doctoral Dissertation, University of California, Berkeley, 1965, 189 pp.
López-Escobar, E. G. K. 1965b An interpolation theorem for denumerably long formulas. Fundamenta Mathematicae, vol. 57 (1965), pp. 253-272.Google Scholar
López-Escobar, E. G. K. 1965c Universal formulas in the infinitary language Lαβ. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 13 (1965), pp. 383-388.Google Scholar
López-Escobar, E. G. K. 1966a On defining well-order ings. Fundamenta Mathematicae, vol. 59 (1966), pp. 13-21- 299-300.Google Scholar
López-Escobar, E. G. K. 1966b An addition to “On defining well-orderings”. Fundamenta Mathematicae, vol. 59 (1966), pp. 299-300.Google Scholar
López-Escobar, E. G. K. 1967a A complete, infinitary axiomatization of weak second-order logic. Fundamenta Mathematicae, vol. 61 (1967), pp. 93-103.Google Scholar
López-Escobar, E. G. K. 1967b On a theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 15 (1967), pp. 739-743.Google Scholar
López-Escobar, E. G. K. 1967c Remarks on an infinitary language with constructive formulas. Journal of Symbolic Logic, vol. 32 (1967), pp. 305-318.Google Scholar
López-Escobar, E. G. K. 1968 Well-order ings and finite quantifiers. Journal of the Mathematical Society of Japan, vol. 20 (1968), pp. 477-489.Google Scholar
López-Escobar, E. G. K. 1969 A non-interpolation theorem. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 17 (1969), pp. 109-112.Google Scholar
López-Escobar, E. G. K. 1972 The infinitary language Lθθ is not local (with Russian summary). Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 20 (1972), pp. 527-528.Google Scholar
López-Escobar, E. G. K. 1976 On an extremely restricted ω-rule. Fundamenta Mathematicae, vol. 90 (1976), pp. 159-172.Google Scholar
Loś, J. 1954 On the categoricity in power of elementary deductive systems and some related problems. Colloquium Mathematicum, vol. 3 (1954), pp. 58-62.Google Scholar
Loś, J. 1955a On the extending of models, I. Fundamenta Mathematicae, vol. 42 (1955), pp. 38-54.Google Scholar
Loś, J. 1955b Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres. In: Mathematical Interpretation of Formal Systems, edited by Brouwer, L. E. J., Beth, E. W. and Heyting, A.. North-Holland Publishing Company, 1955, pp. 98-113.Google Scholar
Loś, J. 1963 Remarks on the foundations of probability. In : Proceedings of the International Congress of Mathematicians. 1962, edited by Stenström, V.. Institute Mittag-Leffler, Djursholm, 1963, pp. 225-229.Google Scholar
Loś, J., Słomiński, J. and Suszko, R. 1959 On extending of models, V: Embedding theorems for relational models. Fundamenta Mathematicae, vol. 48 (1959), pp. 113-121.Google Scholar
Loś, J. and Suszko, R. 1955 On the extending of models, II: Common extensions. Fundamenta Mathematicae, vol. 42 (1955), pp. 343-347.Google Scholar
Loś, J. and Suszko, R. 1957 On the extending of models, IV: Infinite sums of models. Fundamenta Mathematicae, vol. 44 (1957), pp. 52-60.Google Scholar
Löwenheim, L. 1915 Über Möglichkeiten im Relativkalkül. Mathematische Annalen, vol. 76 (1915), pp. 447-470.Google Scholar
Lynch, J. F. 1980 Almost sure theories. Annals of Mathematical Logic, vol. 18 (1980), pp. 91-135.Google Scholar
Lyndon, R. C. 1959a An interpolation theorem in the predicate calculus. Pacific Journal of Mathematics, vol. 9 (1959), pp. 129-142.Google Scholar
Lyndon, R. C. 1959b Properties preserved under homomorphism. Pacific Journal of Mathematics, vol. 9 (1959), pp. 143-154.Google Scholar
Mac Dowell, R. and Specker, E. P. 1961 Modelle der Arithmetik. 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. 257-263.Google Scholar
Macintyre, A. J. 1976 Existentially closed structures and Jensen's principle ◊. Israel Journal of Mathematics, vol. 25 (1976), pp. 202-210.Google Scholar
Macintyre, A. J. 1978 Generalized quantifiers in arithmetic. Preliminary report. Notices of the American Mathematical Society, vol. 25 (1978), p. A-386. Abstract.Google Scholar
Macintyre, A. J. 1980 Ramsey quantifiers in arithmetic. In: Model Theory of Algebra and Arithmetic, edited by Pacholski, L., Wierzejewski, J. and Wilkie, A.. Springer-Verlag Lecture Notes in Mathematics, vol. 834 (1980), pp. 186-210.Google Scholar
Macintyre, A. J. and Shelah, S. 1976 Uncountable universal locally finite groups. Journal of Algebra, vol. 43 (1976), pp. 168-175.Google Scholar
Mac Lane, S. 1971 Categories for the Working Mathematician. Springer-Verlag, 1971, ix+262 pp.
Maehara, S. 1970 A general theory of completeness proofs. Annals of the Japan Association for Philosophy of Science, vol. 3 (1970), pp. 242-256.Google Scholar
Maehara, S. and Takeuti, G. 1961 A formal system of first-order predicate calculus with infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 357-370.Google Scholar
Magidor, M. 1971 On the role of supercompact and extendible cardinals in logic. Israel Journal of Mathematics, vol. 10 (1971), pp. 147-157.Google Scholar
Magidor, M. 1976 How large is the first strongly compact cardinal? or: A study on identity crises. Annals of Mathematical Logic, vol. 10 (1976), pp. 33-57.Google Scholar
Magidor, M. 1987 On the existence of descendingly complete ultrafilters. Manuscript, Hebrew University, 198?. In preparation.
See also: Gurevich, Y., Magidor, M. and Shelah, S. 1983; Kanamori, A. and Magidor, M. 1978.
Magidor, M. and Malitz, J. J. 1977a Compact extensions of L(Q) (Part 1a). Annals of Mathematical Logic, vol. 11 (1977), pp. 217-261.Google Scholar
Magidor, M. and Malitz, J. J. 1977b Compactness and transfer for a fragment of L2. Journal of Symbolic Logic, vol. 42 (1977), pp. 261-268.Google Scholar
Magidor, M. and Shelah, S. 1983 On λ-freeness. Abstracts of Papers Presented to the American Mathematical Society, vol. 4 (1983), pp. 484-485. Abstract.Google Scholar
Magidor, M., Shelah, S. and Stavi, J. 1984 Countably decomposable admissible sets. Annals of Pure and Applied Logic, vol. 26 (1984), pp. 287-361.Google Scholar
Mahr, B. and Makowsky, J. A. 1983a An axiomatic approach to semantics of specification languages. In: Theoretical Computer Science, edited by Cremers, A. B. and Kriegel, H. P.. Springer-Verlag Lecture Notes in Computer Science, vol. 145 (1983), pp. 211-219.Google Scholar
Mahr, B. and Makowsky, J. A. 1983b Characterizing specification languages which admit initial semantics. In: Proceedings of CAAP ’83, edited by Ausiello, G. and Protasi, M.. Springer-Verlag Lecture Notes in Computer Science, vol. 159 (1983), pp. 300-316.Google Scholar
Mahr, B. and Makowsky, J. A. 1984 Characterizing specification languages which admit initial semantics. Theoretical Computer Science, vol. 31 (1984), pp. 49-59.Google Scholar
Makkai, M. 1964a On PC ∆ -classes in the theory of models. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei (Budapest), vol. 9 (1964), pp. 159-194.Google Scholar
Makkai, M. 1964b Remarks on my paper “On PC∆-classes in the theory of models”. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei (Budapest), vol. 9 (1964), pp. 601-602.Google Scholar
Makkai, M. 1968a A generalization of the interpolation theorem. Notices of the American Mathematical Society, vol. 15 (1968), pp. 804-805. Abstract.Google Scholar
Makkai, M. 1968b Preservation theorems for infinitary logic. Notices of the American Mathematical Society, vol. 15 (1968), p. 196. Abstract.Google Scholar
Makkai, M. 1969a An application of a method of Smullyan to logics on admissible sets. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 17 (1969), pp. 341-346.Google Scholar
Makkai, M. 1969b On the model theory of denumerably long formulas with finite strings of quantifiers. Journal of Symbolic Logic, vol. 34 (1969), pp. 437-459.Google Scholar
Makkai, M. 1969c Preservation theorems for pseudo-elementary classes. Notices of the American Mathematical Society, vol. 16 (1969), p. 425. Abstract.Google Scholar
Makkai, M. 1969d Regular relations and Svenonius formulas. Notices of the American Mathematical Society, vol. 16 (1969), p. 981. Abstract.Google Scholar
Makkai, M. 1969e Structures elementarily equivalent to models of higher power relative to infinitary languages. Notices of the American Mathematical Society, vol. 16 (1969), p. 322. Abstract.Google Scholar
Makkai, M. 1970 Structures elementarily equivalent relative to infinitary languages to models of higher power. Acta Mathematica Academiae Sci-entiarum Hungaricae, vol. 21 (1970), pp. 283-295.Google Scholar
Makkai, M. 1972 Svenonius sentences and Lindström's theory on preservation theorems. Fundamenta Mathematicae, vol. 73 (1972), pp. 219-233.Google Scholar
Makkai, M. 1973a Global definability theory in Lω1ω . Bulletin of the American Mathematical Society, vol. 79 (1973), pp. 916-921.Google Scholar
Makkai, M. 1973b Vaught sentences and Lindstromfs regular relations. In: Cambridge Summer School in Mathematical Logic, edited by Math-ias, A. R. D. and Rogers, H.. Springer-Verlag Lecture Notes in Mathematics, vol. 337 (1973), pp. 622-660.Google Scholar
Makkai, M. 1974a A remark on a paper of J.P.Ressayre. Annals of Mathematical Logic, vol. 7 (1974), pp. 157-162.Google Scholar
Makkai, M. 1974b Generalizing Vaught sentences from ω to strong cofinality ω. Fundamenta Mathematicae, vol. 82 (1974), pp. 105-119.Google Scholar
Makkai, M. 1974c Errata to the paper: ‘Generalizing Vaught sentences from ω to strong cofinality ω’ Fundamenta Mathematicae, vol. 82 (1974), p. 385.Google Scholar
Makkai, M. 1977a Admissible sets and infinitary logic. In: Handbook of Mathematical Logic, edited by Barwise, K. J.. North-Holland Publishing Company, 1977, pp. 233-281.Google Scholar
Makkai, M. 1977b An admissible generalization of a theorem on countable Σ1 1-sete of reals with applications. Annals of Mathematical Logic, vol. 11 (1977), pp. 1-30.Google Scholar
Makkai, M. 1981 An example concerning Scott heights. Journal of Symbolic Logic, vol. 46 (1981), pp. 301-318.Google Scholar
See also: Barwise, K. J. and Makkai, M. 1976; Barwise, K. J., Kaufmann, M. J. and Makkai, M. 1978; Barwise, K. J., Kaufmann, M. J. and Makkai, M. 1981; Harnik, V. and Makkai, M. 1976; Harnik, V. and Makkai, M. 1977; Harnik, V. and Makkai, M. 1979; Harrington, L. A., Makkai, M. and Shelah, S. 198?.
Makkai, M. and Mycielski, J. 1977 An Lω1ω complete and consistent theory without models. Proceedings of the American Mathematical Society, vol. 62 (1977), pp. 131-133.Google Scholar
Makkai, M. and Reyes, G. E. 1976a Model-theoretical methods in the theory of topoi and related categories, I (with Russian summary). Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 24 (1976), pp. 379-384.Google Scholar
Makkai, M. and Reyes, G. E. 1976b Model-theoretical methods in the theory of topoi and related categories, II (with Russian summary). Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 24 (1976), pp. 385-392.Google Scholar
Makowsky, J. A. 1973 Langages engendrés à partir des formules de Scott. Comptes Rendus Hebdomadaires des Seances de l'Academie des Sciences, Série A, vol. 276 (1973), pp. 1585-1587.Google Scholar
Makowsky, J. A. 1975a Beth's theorem in ∆-logics. Notices of the American Mathematical Society, vol. 22 (1975), p. A-33. Abstract.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C.. North-Holland Publishing Company, 1975, pp. 409-428.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C. 1975c Topological model theory. In: Model Theory and Applications, edited byw Mangani, J. C.. Edizioni Cremonese, Rome, 1975, pp. 122-150.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C. 1977a A note on stationary logic. Preliminary report. Notices of the American Mathematical Society, vol. 24 (1977), p. A-438. Abstract.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C. 1977b Elementary equivalence and definability in stationary logic. Technical Report, Freie Universität Berlin, 1977, 21 pp.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C. 1978a Quantifying over countable sets: Positive vs. stationary logic. In: Logic Colloquium ’77, edited by Macintyre, A. J., Pacholski, L. and Paris, J. B.. North-Holland Publishing Company, 1978, pp. 183-193.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C. 1978b Some observations on uniform reduction for properties invariant on the range of definable relations. Fundamenta Mathematicae vol. 99 (1978), pp. 199-203.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C. 1978c Characterizing monadic and equivalence quantifiers. Manuscript, Mathematisches Institut II, Freie Universität Berlin, 1978, 15 pp.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C. 1980 Measuring the expressive power of dynamic logics: An application of abstract model theory. In: Automata, Languages and Programming, edited by de Bakker, J. W. and van Leeuwen, y. Springer-Verlag Lecture Notes in Computer Science, vol. 85 (1980), pp. 409-421.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C. 1981 Errata: Measuring the expressive power of dynamic logics: An application of abstract model theory. In: Automata, Languages and Programming, edited by Even, S. and Kariv, O.. Springer-Verlag Lecture Notes in Computer Science, vol. 115 (1981), p. 551.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C. 1984 Model theoretic issues in theoretical computer science, part I: Relational data bases and abstract data types. In: Logic Colloquium ’82, edited by Lolli, G., Longo, G. and Marcja, A.. North-Holland Publishing Company, 1984, pp. 303-343.Google Scholar
Makowsky, J. A. 1975b Securable quantifiers, κ-unions and admissible sets. In: Logic Colloquium ’73, edited by Rose, H. E. and Shepherdson, J. C. 1985 Some remarks on Vopenka's principle. Journal of Symbolic Logic, vol. 50 (1985), pp. 10-16.Google Scholar
See also: Mahr, B. and Makowsky, J.A. 1983a; Mahr, B. and Makowsky, J.A. 1983b; Mahr, B. and Makowsky, J. A. 1984.
Makowsky, J.A. and Marcja, A. 1977 Problemi di decidibilità in logica topologica. Rendiconti del Sem-inario Matematico dell'Università di Padova, vol. 56 (1977), pp. 67-68.Google Scholar
Makowsky, J.A. and Shelah, s. 1976 The Theorems of Beth and Craig in Abstract Model Theory. Preprint No. 13, Forschungsschwerpunkt Modelltheorie, II. Math. Institut, Freie Universität, Berlin, West Berlin 1976, 66 pp.
Makowsky, J.A. and Shelah, s. 1979a Amalgamation is essentially equivalent to compactness. Notices of the American Mathematical Society, vol. 26 (1979), p. A-526. Abstract.Google Scholar
Makowsky, J.A. and Shelah, s. 1979b The theorems of Beth and Craig in abstract model theory, I: The abstract setting. Transactions of the American Mathematical Society, vol. 256 (1979), pp. 215-239.Google Scholar
Makowsky, J.A. and Shelah, s. 1981 The theorems of Beth and Craig in abstract model theory, II: Compact logics. Archiv für Mathematische Logik und Grundlagenfor-schung, vol. 21 (1981), pp. 13-35.Google Scholar
Makowsky, J.A. and Shelah, s. 1983 Positive results in abstract model theory: A theory of compact logics. Annals of Pure and Applied Logic, vol. 25 (1983), pp. 263-299.Google Scholar
Makowsky, J.A. and Shelah, s. 198?a Some model theory of positive logic. Manuscript, Technion-Israel Institute of Technology and Hebrew University. In preparation.
Makowsky, J.A. and Shelah, s. 198?b The theorems of Beth and Craig in abstract model theory, HI: Infinitary and ∆-logic. Manuscript, Technion-Israel Institute of Technology and Hebrew University. In preparation.
Makowsky, J. A., Shelah, S., and Stavi, J. 1976 ∆-logics and generalized quantifiers. Annals of Mathematical Logic, vol. 10 (1976), pp. 155-192.Google Scholar
Makowsky, J. A. and Tulipani, S. 1977 Some model theory for monotone quantifiers. Archiv für Mathematische Logik und Grundlagenforschung, vol. 18 (1977), pp. 115- 134.Google Scholar
Makowsky, J. A. and Ziegler, M. 1981 Topological model theory with an interior operator. Archiv für Mathematische Logik und Grundlagenforschung, vol. 21 (1981), pp. 37-54.Google Scholar
Mal'cev, A. I. 1971 Quasiprimitive classes of abstract algebras. In: The Metamathematics of Algebraic Systems, edited by Wells, B. F. III. North-Holland Publishing Company, 1971, pp. 27-31.Google Scholar
Mal'cev, A. I. 1973 Algebraic Systems. Springer-Verlag, 1973, ii+317 pp.
Malitz, J. J. 1966 Problems in the model theory of infinite languages. Doctoral Dissertation, University of California, Berkeley, 1966, iii+83 pp.
Malitz, J. J. 1968 The Hanf number for complete Lω1ω sentences. In: The Syntax and Semantics of Infinitary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 166-181.Google Scholar
Malitz, J. J. 1969 Universal classes in infinitary languages. Duke Mathematical Journal, vol. 36 (1969), pp. 621-630.Google Scholar
Malitz, J. J. 1971 Infinitary analogs of theorems from first-order model theory. Journal of Symbolic Logic, vol. 36 (1971), pp. 216-228.Google Scholar
See also: Baumgartner, J. E., Malitz, J. J. and Reinhardt, W. N. 1970; Magidor, M. and Malitz, J. J. 1977a; Magidor, M. and Malitz, J. J. 1977b.
Malitz, J. J. and Reinhardt, W. N. 1972a A complete countable LQ ω1 -theory with maximal models of many cardinalities. Pacific Journal of Mathematics, vol. 43 (1972), pp. 691-700.Google Scholar
Malitz, J. J. and Reinhardt, W. N. 1972b Maximal models in the language with quantifier t(there exist uncountably many”. Pacific Journal of Mathematics, vol. 40 (1972), pp. 139-155.Google Scholar
Malitz, J. J. and Rubin, M. 1978 Extensions of L<ω. Notices of the American Mathematical Society, vol. 25 (1978), p. A-442. Abstract.Google Scholar
Malitz, J. J. and Rubin, M. 1980 Compact fragments of higher-order logic. In: Mathematical Logic in Latin America, edited by Arruda, A. I., Chuaqui, R. and DaCosta, N. C. A.. North-Holland Publishing Company, 1980, pp. 219-238.Google Scholar
Manders, K. L. 1980 First-order logical systems and set-theoretical definability. Manuscript, University of Pittsburgh, 1980, 35 pp.
Manders, K. L. and Daley, R. F. 1982 The complexity of the validity problem for dynamic logic. Information and Control, vol. 54 (1982), pp. 48-69.Google Scholar
Mangani, P. 198? Calcoli generalizzati con “tipi” e logiche generalizzate. Atti della Accademia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali. Serie VIII. To appear.Google Scholar
Manin, Ju. I. 1977 A Course in Mathematical Logic. Springer-Verlag, 1977, xii+286 pp.
Mannila, H. 1982 Restricted compactness notions in abstract logic and topology. Technical Report, University of Helsinki, 1982, 31 pp.
Mannila, H. 1983 A topological characterization of (λ, μ)* - compactness. Annals of Pure and Applied Logic, vol. 25 (1983), pp. 301-305.Google Scholar
Mansfield, R. 1972 The completeness theorem for infinitary logic. Journal of Symbolic Logic, vol. 37 (1972), pp. 31-34.Google Scholar
Mansfield, R. 1975 Omitting types: Application to descriptive set theory. Proceedings of the American Mathematical Society, vol. 47 (1975), pp. 198-200.Google Scholar
Mansoux, A. 1976 Logique sans égalité et (k, p)-quasivalence (with English summary). Comptes Rendus Hebdomadaires des Seances de l'Académie des Sciences, Série A, vol. 283 (1976), pp. 137-140.Google Scholar
Marcja, A. See: Makowsky, J. A. and Marcja, A. 1977.
Marcja, A. and Tulipani, S. 1974 Questioni di teoria dei modelli per linguaggi universali positivi, I (with English summary). Atti della Accademia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali. Serie VIII, vol. 56 (1974), pp. 915-923.Google Scholar
Marek, W. See: Apt, K. R. and Marek, W. 1974; Krawczyk, A. and Marek, W. 1977.
Marek, W. and Mostowski, A. 1975 On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes. 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. 203-220.Google Scholar
Martin, D. A. 1975 Borel determinacy. Annals of Mathematics, vol. 102 (1975), pp. 363-371.Google Scholar
Martin, D. A., Moschovakis, Y. N. and Steel, J. 1982 The extent of definable scales. Bulletin of the American Mathematical Society, vol. 6 (1982), pp. 435-440.Google Scholar
Martin-Löf, P. 1972 Infinite terms and a system of natural deduction. Compositio Mathematica, vol. 24 (1972), pp. 93-103.Google Scholar
Mathias, A. R. D. 1979 Surrealist landscape with figures (a survey of recent results in set theory). Periodica Mathematica Hungarica, vol. 10 (1979), pp. 109- 175.Google Scholar
See also: Kopperman, R. D. and Mathias, A. R. D. 1968.
May, W. and Toubassi, E. 1977 Embedding of totally protective groups. Archiv der Mathematik (Basel), vol. 29 (1977), pp. 465-471.Google Scholar
McAloon, K. See: Krivine, J. L. and McAloon, K. 1973.
McKee, T. A. 1974 Some applications of model theory to topology. Doctoral Dissertation, University of Wisconsin, Madison, 1974, 38 pp.
McKee, T. A. 1975 Infinitary logic and topological homeomorphisms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 405-408.Google Scholar
McKee, T. A. 1976 Sentences preserved between equivalent topological bases. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 22 (1976), pp. 79-84.Google Scholar
McKee, T. A. 1980 Monadic characterization in nonstandard topology. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 26 (1980), pp. 395-397.Google Scholar
Mckenzie, R. 1970 On elementary types of symmetric groups. Algebra Universalis, vol. 1 (1970), pp. 13-20.Google Scholar
See also: Burris, S. N. and McKenzie, R. 1981.
Mcnaughton, R. 1966 Testing and generating infinite sequences by a finite automaton. Information and Control, vol. 9 (1966), pp. 521-530.Google Scholar
Mekler, A. H. 1980a How to construct almost free groups. Canadian Journal of Mathematics, vol. 32 (1980), pp. 1206-1228.Google Scholar
Mekler, A. H. 1980b On residual properties. Proceedings of the American Mathematical Society, vol. 78 (1980), pp. 187-188.Google Scholar
Mekler, A. H. 1984 Stationary logic of ordinals. Annals of Pure and Applied Logic, vol. 26 (1984), pp. 47-68.Google Scholar
See also: Eklof, P. C. and Mekler, A. H. 1979; Eklof, P. C. and Mekler, A. H. 1981; Eklof, P. C. and Mekler, A. H. 1982.
Mekler, A. H. and Shelah, S. 1983 Stationary logic and its friends, II. Manuscript, Simon Frazer University and the Hebrew University, 1983, 23 pp.
Mekler, A. H. and Shelah, S. 198? Stationary logic and its friends, I. Israel Journal of Mathematics. To appear.Google Scholar
Menas, T. K. 1974 On strong compactness and supercompactness. Annals of Mathematical Logic, vol. 7 (1974), pp. 327-359.Google Scholar
Menas, T. K. 1976 Consistency results concerning supercompactness. Transactions of the American Mathematical Society, vol. 223 (1976), pp. 61-91.Google Scholar
Métivier, M. and Pellaumail, J. 1980 Stochastic Integration. Academic Press, 1980, xii+196 pp.
Meyer, A. R. 1975 The inherent complexity of theories of ordered sets. In: Proceedings of the International Congress of Mathematicians. Volume Two, edited by James, R. D.. Canadian Mathematical Congress, 1975, pp. 477-482.Google Scholar
Meyer, P. A. See: Dellacherie, C. and Meyer, P. A. 1981. Miettinen, S. 1977 Some remarks on definability. 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. 69-70.Google Scholar
Miller, D. E. 1978 The invariant Π0 α separation principle. Transactions of the American Mathematical Society, vol. 242 (1978), pp. 185-204.Google Scholar
Miller, D. E. 1979 On classes closed under unions of chains. Journal of Symbolic Logic, vol. 44 (1979), pp. 29-31.Google Scholar
See also: Baldwin, J. T. and Miller, D. E. 1982; Burgess, J. P. and Miller, D. E. 1975.
Mills, G. See: Paris, J.B. and Mills, G. 1979.
MlNC, G. E. See: Simpson, S. G., Kreisel, G. and Mine, G. E. 1975.
Mitchell, B. 1965 Theory of Categories. Academic Press, 1965, xi+273 pp.
Mitchell, W. J. 1972 Aronszajn trees and the independence of the transfer property. Annals of Mathematical Logic, vol. 5 (1972), pp. 21-46.Google Scholar
Molzan, B. 1981a On the number of different theories of Boolean algebras in several logics. In: Workshop on Extended Model Theory, edited by Herre, H.. Akademie der Wissenschaften der DDR, Institut für Mathematik, 1981, pp. 102-112.Google Scholar
Molzan, B. 1981b Die Theorie der Booleschen Algebren in der Logik mit Ramsey-Quanior. Doctoral Dissertation, Humboldt-Universität zu Berlin, 1981, vii+122 pp.
Molzan, B. 1982 The theory of superatomic Boolean algebras in the logic with the binary Ramsey quantifier. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 28 (1982), pp. 365-376.Google Scholar
Monk, J. D. 1965 Model-theoretic methods and results in the theory of cylindric algebras. In: The Theory of Models, edited by Addison, J. W.,Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 238-250.Google Scholar
Monk, J. D. 1976 Mathematical Logic. Springer-Verlag, 1976, x+531 pp.
Monk, L. G. 1975 Elementary-recursive decision procedures. Doctoral Dissertation, University of California, Berkeley, 1975, 89 pp.
Montague, R. 1965 Reductions of higher-order logic. In: The Theory of Models, edited by Addison, J. W., Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 251-264.Google Scholar
Montague, R. and Vaught, R. L. 1959 Natural models of set theory. Fundamenta Mathematicae, vol. 47 (1959), pp. 219-242.Google Scholar
Morel, A. C. See: Frayne, T. E., Morel, A. C. and Scott, D. S. 1962.
Morgenstern, C. F. 1977 Compact extensions of L<ω and topics in set theory. Doctoral Dissertation, University of Colorado, Boulder, 1977, 67 pp.
Morgenstern, C. F. 1979a On amalgamations of languages with Magidor-Malitz quantifiers. Journal of Symbolic Logic, vol. 44 (1979), pp. 549-558.Google Scholar
Morgenstern, C. F. 1979b The measure quantifier. Journal of Symbolic Logic, vol. 44 (1979), pp. 103-108.Google Scholar
Morgenstern, C. F. 1982 On generalized quantifiers in arithmetic. Journal of Symbolic Logic, vol. 47 (1982), pp. 187-190.Google Scholar
Morley, M. D. 1965a Categoricity in power. Transactions of the American Mathematical Society, vol. 114 (1965), pp. 514-538.Google Scholar
Morley, M. D. 1965b Omitting classes of elements. In: The Theory of Models, edited by Addison, J. W., Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 265-273.Google Scholar
Morley, M. D. 1967 The Hanf number for uj.-logic. Journal of Symbolic Logic, vol. 32 (1967), pp. 437-438. Abstract.Google Scholar
Morley, M. D. 1968 Partitions and models. 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. 109-158.Google Scholar
Morley, M. D. 1970 The number of countable models. Journal of Symbolic Logic, vol. 35 (1970), pp. 14-18.Google Scholar
Morley, M. D. 1974 Applications of topology to Lω1ω ,. In: Proceedings of the Tarski Symposium, edited by Henkin, L. A.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 25 (1974), pp. 233-240.Google Scholar
See also: Keisler, H. J. and Morley, M. D. 1967; Keisler, H. J. and Morley, M. D. 1968.
Morley, M. d. and Morley, V. 1967 The Hanf number for κ,-logic. Notices of the American Mathematical Society, vol. 14 (1967), p. 556. Abstract.Google Scholar
Morley, M. D. and Vaught, R. L. 1962 Homogeneous and universal models. Mathematica Scandinavica, vol. 11 (1962), pp. 37-57.Google Scholar
Morley, V. See: Morley, M. D. and Morley, V. 1967.
Moschovakis, Y. N. 1969 Abstract first-order computability, I and II. Transactions of the American Mathematical Society, vol. 138 (1969), pp. 427-504.Google Scholar
Moschovakis, Y. N. 1972 The game quantifier. Proceedings of the American Mathematical Society, vol. 31 (1972), pp. 245-250.Google Scholar
Moschovakis, Y. N. 1974a Elementary Induction on Abstract Structures. North-Holland Publishing Company, 1974, x+218 pp.
Moschovakis, Y. N. 1974b On nonmonotone inductive definability. Fundamenta Mathematicae, vol. 82 (1974), pp. 39-83.Google Scholar
Moschovakis, Y. N. 1980 Descriptive Set Theory. North-Holland Publishing Company, 1980, xii-f 637 pp.
See also: Barwise, K. J. and Moschovakis, Y. N. 1978; Bar-wise, K. J., Gandy, R. O. and Moschovakis, Y. N. 1971; Chang, C. C. and Moschovakis, Y. N. 1968; Chang, C. C. and Moschovakis, Y. N. 1970; Harrington, L. A. and Moschovakis, Y. N. 1974; Kechris, A. S. and Moschovakis, Y. N. 1977; Martin, D. A., Moschovakis, Y. N. and Steel, J. 1982.
Mostowski, A. 1947 On absolute properties of relations. Journal of Symbolic Logic, vol. 12 (1947), pp. 33-42.Google Scholar
Mostowski, A. 1957 On a generalization of quantifiers. Fundamenta Mathematicae, vol. 44 (1957), pp. 12-36.Google Scholar
Mostowski, A. 1961 Concerning the problem of axiomatizability of the field of real numbers in the weak second-order logic. In: Essays on the Foundations of Mathematics, edited by Bar-Hillel, Y., Poznanski, E. I. J., Rabin, M. O. and Robinson, A.. The Magnes Press, The Hebrew University, Jerusalem, 1961, pp. 269-286.Google Scholar
Mostowski, A. 1966 Thirty Years of Foundational Studies. Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930-1964. Barnes and Noble, Inc., 1966, 180 pp.
Mostowski, A. 1968 Craig's interpolation theorem in some extended systems of logic. In: Logic, Methodology and Philosophy of Science III, edited by van Rootselaar, B. and Staal, J.F.. North-Holland Publishing Company, 1968, pp. 87-103.Google Scholar
See also: Doner, J. E., Mostowski, A. and Tarski, A. 1978; Ehren-feucht, A. and Mostowski, A. 1956; Grzegorczyk, A., Mostowski, A. and Ryll-Nardzewski, C. 1961; Kuratowski, K. and Mostowski, A. 1968; Ku-ratowski, K. and Mostowski, A. 1976; Marek, W. and Mostowski, A. 1975; Tarski, A., Mostowski, A. and Robinson, R. M. 1953.
Mostowski, A. and Tarski, A. 1949 Arithmetical classes and types of well-ordered systems. Preliminary report. Bulletin of the American Mathematical Society, vol. 55 (1949), p. 65. Abstract.Google Scholar
Motohashi, N. 1972a A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions. Proceedings of the Japan Academy, vol. 48 (1972), pp. 153-156.Google Scholar
Motohashi, N. 1972b Countable structures for uncountable infinitary languages. Proceedings of the Japan Academy, vol. 48 (1972), pp. 716-718.Google Scholar
Motohashi, N. 1972c Interpolation theorem and characterization theorem. Annals of the Japan Association for Philosophy of Science, vol. 4 (1972), pp. 85-150.Google Scholar
Motohashi, N. 1973 Model theory on a positive second order logic with countable conjunctions and disjunctions. Journal of the Mathematical Society of Japan, vol. 25 (1973), pp. 27-42.Google Scholar
Motohashi, N. 1977 A remark on Scott's interpolation theorem for Lω1ω . Journal of Symbolic Logic, vol. 42 (1977), p. 63.Google Scholar
Muller, D. E. 1963 Infinite sequences and finite machines. In: Switching Circuit Theory and Logical Design . Institute of Electrical and Electronic Engineers, New York, 1963, pp. 3-16.
Mundici, D. 1979a Compattezza = JEP in ogni logica. Notiziario della Unione Matematica Italiana, vol. 8-9 (1979), p. 19.Google Scholar
Mundici, D. 1979b Robinson consistency theorem in soft model theory. Atti della Accademia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali. Serie VIII, vol. 67 (1979), pp. 383-386.Google Scholar
Mundici, D. 1979c Compactness + Craig interpolation = Robinson consistency in any logic. Manuscript, Mathematical Institute, University of Florence, 1979, 8 pp.
Mundici, D. 1980 Natural limitations of algorithmic procedures in logic. Atti della Acca-demia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali. Serie VIII, vol. 69 (1980), pp. 101-105.Google Scholar
Mundici, D. 1981a An algebraic result about soft model-theoretical equivalence relations with an application to H. Friedman's fourth problem. Journal of Symbolic Logic, vol. 46 (1981), pp. 523-530.Google Scholar
Mundici, D. 1981b A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes. Studia Logica, vol. 40 (1981), pp. 253-267.Google Scholar
Mundici, D. 1981c Applications of many-sorted Robinson consistency theorem. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 181-188.Google Scholar
Mundici, D. 1981d Robinson's consistency theorem in soft model theory. Transactions of the American Mathematical Society, vol. 263 (1981), pp. 231-241.Google Scholar
Mundici, D. 1981e Craig's interpolation theorem in computation theory. Atti della Accademia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali. Serie VIII, vol. 70 (1981), pp. 6-11.Google Scholar
Mundici, D. 1982a Duality between logics and equivalence relations. Transactions of the American Mathematical Society, vol. 270 (1982), pp. 111-129.Google Scholar
Mundici, D. 1982b Interpolation, compactness and JEP in soft model theory. Archiv für Mathematische Logik und Grundlagenforschung, vol. 22 (1982), pp. 61-67.Google Scholar
Mundici, D. 1982c Lectures on abstract model theory, I, II, and HI. Technical Report, Mathematical Institute, University of Florence, 1982, 170 pp.
Mundici, D. 1982d L-embedding, amalgamation'and L-elementary equivalence. Atti della Accademia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali. Serie VIII, vol. 72 (1982), pp. 312-314.Google Scholar
Mundici, D. 1982e Variations on Friedman's third and fourth problems. In: Proceedings of the International Conference “Open Days in Model Theory and Set Theory”, edited by Guzicki, W., Marek, W., Pelc, A. and Rauszer, C.. British Logic Colloquium (University of Leeds, 1981), pp. 205-220.Google Scholar
Mundici, D. 1982e Variations on Friedman's third and fourth problems. In: Proceedings of the International Conference “Open Days in Model Theory and Set Theory”, edited by Guzicki, W., Marek, W. 1982f Compactness, interpolation and Friedman's third problem. Annals of Mathematical Logic, vol. 22 (1982), pp. 197-211.Google Scholar
Mundici, D. 1982e Variations on Friedman's third and fourth problems. In: Proceedings of the International Conference “Open Days in Model Theory and Set Theory”, edited by Guzicki, W., Marek, W. 1983a Compactness = JEP in any logic. Fundamenta Mathematicae, vol. 116 (1983), pp. 99-108.Google Scholar
Mundici, D. 1982e Variations on Friedman's third and fourth problems. In: Proceedings of the International Conference “Open Days in Model Theory and Set Theory”, edited by Guzicki, W., Marek, W. 1983b Inverse topological systems and compactness in abstract model theory. In: Proceedings of the First Easter Conference on Model Theory. Seminarberichte, Humboldt-Universität, Berlin, vol. 49 (1983), pp. 73-98.Google Scholar
Mundici, D. 1982e Variations on Friedman's third and fourth problems. In: Proceedings of the International Conference “Open Days in Model Theory and Set Theory”, edited by Guzicki, W., Marek, W. 1984 NP and Craig's interpolation theorem. In: Logic Colloquium ’82, edited by Lolli, G., Longo, G. and Marcja, A.. North-Holland Publishing Company, 1984, pp. 345-358.Google Scholar
Mundici, D. 1982e Variations on Friedman's third and fourth problems. In: Proceedings of the International Conference “Open Days in Model Theory and Set Theory”, edited by Guzicki, W., Marek, W. 198?a Embeddings, amalgamation and elementary equivalence: the representation of compact logics. Fundamenta Mathematicae. To appear.Google Scholar
Mundici, D. 1982e Variations on Friedman's third and fourth problems. In: Proceedings of the International Conference “Open Days in Model Theory and Set Theory”, edited by Guzicki, W., Marek, W. 198?b A generalization of abstract model theory. Fundamenta Mathematicae. To appear.Google Scholar
Mundici, D. 1982e Variations on Friedman's third and fourth problems. In: Proceedings of the International Conference “Open Days in Model Theory and Set Theory”, edited by Guzicki, W., Marek, W. 198?c Abstract model theory and nets of C*-algebras: Noncommutative interpolation and preservation properties. In: Logic Colloquium ’83, edited by Müller, G. H. and Richter, M. M.. Springer-Verlag Lecture Notes in Mathematics. To appear.Google Scholar
Murawskl, R. 1976a On expandability of models of Peano arithmetic, I. Studia Logica, vol. 35 (1976), pp. 403-413.Google Scholar
Murawskl, R. 1976b On expandability of models of Peano arithmetic, II. Studia Logica, vol. 35 (1976), pp. 421-431.Google Scholar
Murawskl, R. 1977 On expandability of models of Peano arithmetic, III. Studia Logica, vol. 36 (1977), pp. 181-188.Google Scholar
Murthy, M. P. and Swan, R. G. 1976 Vector bundles over affine surfaces. Inventiones Mathematicae (Berlin), vol. 36 (1976), pp. 125-165.Google Scholar
Mycielski, J. See: Makkai, M. and Mycielski, J. 1977.
Myhill, J. and Kino, A. 1975 A hierarchy of languages with infinitely long expressions. In: Logic Colloquium '73, edited by Rose, H. E. and Shepherdson, J. C.. North- Holland Publishing Company, 1975, pp. 55-71.Google Scholar
Nadel, M. E. 1972 Some Löwenheim-Skolem results for admissible sets. Israel Journal of Mathematics, vol. 12 (1972), pp. 427-432.Google Scholar
Nadel, M. E. 1974a More Löwenheim-Skolem results for admissible sets. Israel Journal of Mathematics, vol. 18 (1974), pp. 53-64.Google Scholar
Nadel, M. E. 1974b Scott sentences and admissible sets. Annals of Mathematical Logic, vol. 7 (1974), pp. 267-294.Google Scholar
Nadel, M. E. 1976 On models ≡∞ω to an uncountable model. Proceedings of the American Mathematical Society, vol. 54 (1976), pp. 307-310.Google Scholar
Nadel, M. E. 1980a An arbitrary equivalence relation as elementary equivalence in an abstract logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 26 (1980), pp. 103-109.Google Scholar
Nadel, M. E. 1980b On a problem of MacDowell and Specker. Journal of Symbolic Logic, vol. 45 (1980), pp. 612-622.Google Scholar
See also: Lee, V. and Nadel, M. E. 1977; Lipshitz, L. M. and Nadel, M. E. 1978.
Nadel, M. E. and Stavi, J. 1977 The pure part of HYP(Ai). Journal of Symbolic Logic, vol. 42 (1977), pp. 33-46.Google Scholar
Nadel, M. E. and Stavi, J. 1978 L∞λ -equivalence, isomorphism and potential isomorphism. Transactions of the American Mathematical Society, vol. 236 (1978), pp. 51-74.Google Scholar
Nebres, B. F. 1969a Lω1ω sentences preserved under unions of models. Manuscript, Stanford University, 1969, 11 pp.
Nebres, B. F. 1969b A syntactic characterization of infinitary sentences preserved under unions of models. Notices of the American Mathematical Society, vol. 16 (1969), pp. 423-424. Abstract.Google Scholar
Nebres, B. F. 1970 Preservation theorems and Herbrand theorems for infinitary anguages. Doctoral Dissertation, Stanford University, 1970, 69 pp.
Nebres, B. F. 1972a Herbrand uniformity theorems for infinitary languages. Journal of the Mathematical Society of Japan, vol. 24 (1972), pp. 1-19.Google Scholar
Nebres, B. F. 1972b Infinitary formulas preserved under unions of models. Journal of Symbolic Logic, vol. 37 (1972), pp. 449-465.Google Scholar
Negrepontis, S. See: Comfort, W. W. and Negrepontis, S. 1974.
Németi, I. 1978 From hereditary classes to varieties in abstract model theory and partial algebra. Beiträge zur Algebra und Geometrie, vol. 7 (1978), pp. 69-78.Google Scholar
Németi, I. 1983 Beth definability property of a logic is equivalent with surjectiveness of epis in algebraic abstract model theory. Manuscript, Mathematical Institute, Hungarian Academy of Science, 1983, 35 pp.
See also: Andréka, H. and Németi, I. 1978; Andréka, H. and Németi, I. 1979; Andréka, H. and Németi, I. 1982; Andréka, H. and Németi, I. 1984; Andréka, H., Gergely, T. and Németi, I. 1977; Andréka, H., Németi, I. and Sain, I. 1984.
Nyberg, A.M. 1974 Applications of model theory to recursion theory on structures of strong cofinality ω. Manuscript, University of Oslo, 1974.
Nyberg, A.M. 1976 Uniform inductive definability and infinitary languages. Journal of Symbolic Logic, vol. 41 (1976), pp. 109-120.Google Scholar
Nyberg, A.M. 1977 Inductive operators on resolvable structures. 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. 91-100.Google Scholar
Ohkuma, T. 1956 Sur quelques ensembles ordonnés linéairement. Fundamenta Mathematicae, vol. 43 (1956), pp. 326-337.Google Scholar
Oikkonen, J. 1976 A hierarchy for model-theoretic definability. Technical Report, Reports of the Department of Mathematics, University of Helsinki, 1976, 28 pp.
Oikkonen, J. 1978 Second-order definability, game quantifiers and related expressions. Societas Scientiarum Fennica. Commentationes Physico-Mathematicae, vol. 48 (1978), pp. 39-101.Google Scholar
Oikkonen, J. 1979a Some remarks about abstract Löwenheim-Skolem properties. Journal of Symbolic Logic, vol. 44 (1979), p. 455. Abstract.Google Scholar
Oikkonen, J. 1979b A generalization of the infinitely deep languages of Hintikka and Rantala. In: Essays in Honour of Jaakko Hintikka, edited by Hilpinen, R., Niiniluoto, I., Provence Hintikka, M. B. and Saarinen, E.. D. Reidel Publishing Company, 1979, pp. 101-112.Google Scholar
Oikkonen, J. 1979c On PC-and RPC-classes in generalized model theory. In: Proceedings from 5th Scandinavian Logic Symposium, edited by Jensen, F. V., Mayoh, B. H. and Møller, K. K.. Aalborg University Press, 1979, pp. 257-270.Google Scholar
Oikkonen, J. 1979d Hierarchies of model-theoretic definability—an approach to second-order logics. In: Essays on Mathematical and Philosophical Logic, edited by Hintikka, K. J. J., Niiniluoto, I., and Saarinen, E.. D. Reidel Publishing Company, 1979, pp. 197-225.Google Scholar
Onyszkiewicz, J. 1977 Omitting types theorem in some extended systems of logic. 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. 51-61.Google Scholar
Orey, S. 1956 On ω-consistency and related properties. Journal of Symbolic Logic, vol. 21 (1956), pp. 246-252.Google Scholar
Orey, S. 1959 Model theory for the higher order predicate calculus. Transactions of the American Mathematical Society, vol. 92 (1959), pp. 72-84.Google Scholar
Oxtoby, J. C. 1971 Measure and Category: A survey of the analogies between topological and measure spaces. Springer-Verlag, 1971, viii-|-95 pp.
Pabion, J. F. 1969 Extensions du theoreme de Löwenheim-Skolem en logique infinitaire. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Série A, vol. 268 (1969), pp. 925-927.Google Scholar
Paljutin, E. A. 1971 Boolean algebras with a category theory in a weak second-order logic. Algebra and Logic, vol. 10 (1971), pp. 325-331.Google Scholar
Paljutin, E. A. 1977a Number of models in L∞,ω1-theories. Algebra and Logic, vol. 16 (1977), pp. 51-61.Google Scholar
Paljutin, E. A. 1977b Number of models in L∞,ω1-theories, II. Algebra and Logic, vol. 16 (1977), pp. 299-309.Google Scholar
Paris, J. B. 1972 Solution to a problem of M. Dickmann. Manuscript, Manchester University, 1972, 26 pp.
Paris, J. B. and Mills, G. 1979 Closure properties of countable non-standard integers. Fundamenta Mathematicae, vol. 103 (1979), pp. 205-215.Google Scholar
Pašenkov, V. V. 1974 Duality of topological models. Soviet Mathematics, Doklady, vol. 15 (1974), pp. 1336-1340.Google Scholar
Paulos, J. A. 1974 Truth-maximality and ∆-closed logics. Doctoral Dissertation, University of Wisconsin, Madison, 1974, 42 pp.
Paulos, J. A. 1976 Noncharacterizability of the syntax set. Journal of Symbolic Logic, vol. 41 (1976), pp. 368-372.Google Scholar
Pellaumail, J. See: Metivier, M. and Pellaumail, J. 1980.
Perkins, E. See: Hoover, D. N. and Perkins, E. 1983a; Hoover, D. N. and Perkins, E. 1983b.
Petrescu, I. 1974 A theorem of Löwenheim-Skolem type for topologic models (Romanian, with English summary). Studii şi Cercetări Matematice, vol. 26 (1974), pp. 1237-1240.Google Scholar
Pinter, C. 1975 Algebraic logic with generalized quantifiers. Notre Dame Journal of Formal Logic, vol. 16 (1975), pp. 511-516.Google Scholar
See also: DaCosta, N. C. A. and Pinter, C. 1976.
Pinus, A. G. 1972 On the theory of convex subsets. Siberian Mathematical Journal, vol. 13 (1972), pp. 157-161.Google Scholar
Pinus, A. G. 1976 Theories of Boolean algebras in a calculus with the quantifier “infinitely many exist”. Siberian Mathematical Journal, vol. 17 (1976), pp. 1035-1038.Google Scholar
Pinus, A. G. 1978 Cardinality of models for theories in a calculus with a Hdrtig quantifier. Siberian Mathematical Journal, vol. 19 (1978), pp. 949-955.Google Scholar
Pinus, A. G. 1979a Elimination of the quantifiers Q0 and Q1 on symmetric groups. Soviet Mathematics (Izvestiya Vysših Učebnyh Zavedeniĭ. Matematika), vol. 23, no. 12 (1979), pp. 47-49.Google Scholar
Pinus, A. G. 1979b Hanf number for the calculus with the Härtig quantifier. Siberian Mathematical Journal, vol. 20 (1979), pp. 315-316.Google Scholar
See also: Herre, H. and Pinus, A. G. 1978; Kokorin, A. I. and Pinus, A. G. 1978.
Platek, R. 1966 Foundations of recursion theory. Doctoral Dissertation, Stanford University, 1966, 215 pp.
Poizat, B. See: Lascar, D. and Poizat, B. 1979.
Pope, A. L. 1982 Some applications of set theory to algebra. Doctoral Dissertation, Bedford College, London, 1982, 154 pp.
Preller, A. 1968 Quantified algebras. In: The Syntax and Semantics of In fin i-tary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 182-203.Google Scholar
Prestel, A. and Ziegler, M. 1978 Model-theoretic methods in the theory of topological fields. Journal für die Reine und Angewandte Mathematik, vol. 299/300 (1978), pp. 318-341.Google Scholar
Prikry, K. L. 1968 Changing measurable into accessible cardinals. Doctoral Dissertation, University of California, Berkeley, 1968, 90 pp.
Prikry, K. L. 1970 On a problem of Gillman and Keisler. Annals of Mathematical Logic, vol. 2 (1970), pp. 179-187.Google Scholar
Prikry, K. L. 1973 On descendingly complete ultrafilters. 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. 459-488.Google Scholar
See also: Kunen, K. and Prikry, K. L. 1971.
Pudlák, P. 1977 Generalized quantifiers and semisets. In: Set Theory and Hierarchy Theory, edited by Bar-Hillel, Y.. Prace Naukowe Instytutu Mate-matyki Politechniki Wroclawskiej, Wroclaw, vol. 14 (1977), pp. 109-116.Google Scholar
Quine, W. V. O. 1953 From a Logical Point of View. Harper and Row, 1953, vi+184 pp.
Rabin, M. O. 1959 Arithmetical extensions with prescribed cardinality. Indagationes Mathematicae, vol. 21 (1959), pp. 439-446.Google Scholar
Rabin, M. O. 1965 A simple method for undecidability proofs and some applications. In: Logic, Methodology and Philosophy of Science, edited by Bar-Hillel, Y.. North-Holland Publishing Company, 1965, pp. 58-68.Google Scholar
Rabin, M. O. 1969 Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, vol. 141 (1969), pp. 1-35.Google Scholar
Rabin, M. O. 1972 Automata on infinite objects and Church's problem. American Mathematical Society Regional Conference Series, vol. 13, 1972, iii+22 pp.
Rabin, M. O. 1977 Decidable theories. In: Handbook of Mathematical Logic, edited by Barwise, K. J.. North-Holland Publishing Company, 1977, pp. 595-629.Google Scholar
See also: Fischer, M. J. and Rabin, M. O. 1974.
Rabin, M. O. and Scott, D. S. 1959 Finite automata and their decision problems. IBM Journal of Research and Development, vol. 3 (1959), pp. 114-125.Google Scholar
Rackoff, C.W. 1972 The emptiness and the complementation problems for automata on infinite trees. Master's Thesis, Massachusetts Institute of Technology, 1972, 44 pp.
Rado, R. See: Erdös, P. and Rado, R. 1956; Erdös, P., Hajnal, A. and Rado, R. 1965.
Randolph, J. D. and Thomason, R. H. 1969 Predicate calculus with free quantifier variables. Journal of Symbolic Logic, vol. 34 (1969), pp. 1-7.Google Scholar
Rantala, V. 1979 Game-theoretical semantics and back-and-forth. In: Essays on Mathematical and Philosophical Logic, edited by Hintikka, K. J. J., Niiniluoto, I., and Saarinen, E.. D. Reidel Publishing Company, 1979, pp. 119-151.Google Scholar
See also: Hintikka, K. J. J. and Rantala, V. 1976.
Rapp, A. 1982 Elimination of Malitz quantifiers in stable theories. Manuscript, University of Freiburg, 1982, 18 pp.
Rapp, A. 1983 Zur Ausdrucksstarke von Logiken mit Malitz-Quantoren. Doctoral Dissertation, University of Freiburg, 1983, 100 pp.
Rapp, A. 1984 On the expressive power of the logics L(Q(n1,nm)). Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 30 (1984), pp. 11-20.Google Scholar
Rapp, A. 198? The ordered field of real numbers and logics with Malitz quantifiers. Journal of Symbolic Logic. To appear.Google Scholar
Rasiowa, H. and Sikorski, R. 1963 The Mathematics of Metamathematics. Państwowe Wydawnictwo Naukowe (Polish Scientific Publishers), 1963, 519 pp.
Ratajczyk, Z. 19?? On axiomatization of ZFKM and ZFKMn. Details unknown.
Räty, A. 1980 Notes on higher-order quantification. Journal of Symbolic Logic, vol. 45 (1980), p. 404. Abstract.Google Scholar
Rautenberg, W. See: Hauschild, K. and Rautenberg, W. 1971; Hauschild, K. and Rautenberg, W. 1973.
Reinhardt, W. N. See: Baumgartner, J. E., Malitz, J. J. and Reinhardt, W. N. 1970; Malitz, J. J. and Reinhardt, W. N. 1972a; Malitz, J. J. and Reinhardt, W. N. 1972b; Solovay, R. M., Reinhardt, W. N. and Kanamori, A. 1978.
Remmel, J. B. See: Kierstead, H. A. and Remmel, J. B. 1983.
Rescher, N. 1962 Plurality quantification. Journal of Symbolic Logic, vol. 27 (1962), pp. 373-374.Google Scholar
See also: Garson, J. W. and Rescher, N. 1968.
Ressayre, J. P. 1969 Sur les théories du premier ordre categoriques en un cardinal. Transactions of the American Mathematical Society, vol. 142 (1969), pp. 481-505.Google Scholar
Ressayre, J. P. 1973 Boolean models and infinitary first-order languages. Annals of Mathematical Logic, vol. 6 (1973), pp. 41-92.Google Scholar
Ressayre, J. P. 1977 Models with compactness properties relative to an admissible language. Annals of Mathematical Logic, vol. 11 (1977), pp. 31-55.Google Scholar
Ressayre, J. P. and Lassaigne, R. 1974 Boolean algebras and infinitary languages. Journal of Symbolic Logic, vol. 39 (1974), p. 383. Abstract.Google Scholar
Reyes, G. E. 1967 Typical and generic relations in a Baire space for models. Doctoral Dissertation, University of Calfornia, Berkeley, 1967, 101 pp.
Reyes, G. E. 1970 Local definability theory. Annals of Mathematical Logic, vol. 1 (1970), pp. 95-137.Google Scholar
Reyes, G. E. 1972 Lω1ω is enough: A reduction theorem for some infinitary languages. Journal of Symbolic Logic, vol. 37 (1972), pp. 705-710.Google Scholar
See also: Makkai, M. and Reyes, G. E. 1976a; Makkai, M. and Reyes, G. E. 1976b.
Richter, M. M. See: Hunter, R. H., Richter, M. M. and Walker, E. A. 1977.
Richter, W. H. See: G, P. H.. Aczel, and Richter, W. H. 1974.
Robinson, A. 1956a A result on consistency and its application to the theory of definition. Indagationes Mathematicae, vol. 18 (1956), pp. 47-58.Google Scholar
Robinson, A. 1956b Complete Theories. North-Holland Publishing Company, 1956, viii+129 pp.
Robinson, A. 1956c Note on a problem of L. Henkin. Journal of Symbolic Logic, vol. 21 (1956), pp. 33-35.Google Scholar
Robinson, A. 1963 Introduction to Model Theory and to the Metamathematics of Algebra. North-Holland Publishing Company, 1963, ix+284 pp.
Robinson, A. 1973 Metamathematical problems. Journal of Symbolic Logic, vol. 38 (1973), pp. 500-516.Google Scholar
Robinson, A. 1974 A note on topological model theory. Fundamenta Mathematicae, vol. 81 (1974), pp. 159-171.Google Scholar
Robinson, R. M. See: Tarski, A., Mostowski, A. and Robinson, R. M. 1953.
Robson, J. C. See: Gordon, R. and Robson, J. C. 1973.
Rodenhausen, H. 1982 The completeness theorem for adapted probability logic. Doctoral Dissertation, University of Heidelberg, 1982, 212 pp.
Rogers, H. 1956 Certain logical reduction and decision problems. Annals of Mathematics, vol. 64 (1956), pp. 264-284.Google Scholar
Rogers, H. 1967 Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, 1967, xix+482 pp.
Rosenthal, II. P. See: Bourgain, J., Rosenthal, H. P. and Schechtman, G. 1981.
Rothmaler, P. 1981 Q0 is eliminable in every complete theory of modules. In: Workshop on Extended Model Theory, edited by Herre, H.. Akademie der Wissenschaften der DDR, Institut für Mathematik, 1981, pp. 136-144.Google Scholar
Rothmaler, P. 1983a Some model theory of modules, I: On total transcendence of modules. Journal of Symbolic Logic, vol. 48 (1983), pp. 570-574.Google Scholar
Rothmaler, P. 1983b Some model theory of modules, II: On stability and categoricity of flat modules. Journal of Symbolic Logic, vol. 48 (1983), pp. 970-985.Google Scholar
Rothmaler, P. 1984 Some model theory of modules, III: On infiniteness of sets definable in modules. Journal of Symbolic Logic, vol. 49 (1984), pp. 32-46.Google Scholar
Rothmaler, P. and Tuschik, H.-P. 1982 A two cardinal theorem for homogeneous sets and the elimination of Malitz quantifiers. Transactions of the American Mathematical Society, vol. 269 (1982), pp. 273-283.Google Scholar
Rowbottom, F. 1964 The Loś conjecture for uncountable theories. Preliminary report. Notices of the American Mathematical Society, vol. 11 (1964), pp. 248-249. Abstract.Google Scholar
Rowbottom, F. 1971 Some strong axioms of infinity incompatible with the axiom of con-structibility. Annals of Mathematical Logic, vol. 3 (1971), pp. 1-44.Google Scholar
Rowlands-Hughes, D. M. 1979 Back and forth methods in abstract model theory. Doctoral Dissertation, Oxford University, 1979, 149 pp.
Rubel, L. A. See: Henson, C. W., Jockusch, C. G., Rubel, L. A. and Takeuti, G. 1977.
Rubin, M. 1974 Theories of linear order. Israel Journal of Mathematics, vol. 17 (1974), pp. 392-443.Google Scholar
Rubin, M. 1976 The theory of Boolean algebras with a distinguished subalgebra is un-decidable. Annales Scientifiques de l'Université de Clermont. Série Mathématique (Clermont-Ferrand), vol. 13 (1976), pp. 129-134.Google Scholar
Rubin, M. 1982 A Boolean algebra with few subalgebras, interval algebras and retrac-tiveness. Transactions of the American Mathematical Society, vol. 278 (1982), pp. 65-89.Google Scholar
See also: Malitz, J. J. and Rubin, M. 1978; Malitz, J. J. and Rubin, M. 1980.
Rubin, M. and Shelah, S. 1980 On the elementary equivalence of automorphism groups of Boolean algebras, downward Skolem- Löwenheim theorems and compactness of related quantifiers. Journal of Symbolic Logic, vol. 45 (1980), pp. 265-283.Google Scholar
Rubin, M. and Shelah, S. 1983 On the expressibility hierarchy of Magidor-Malitz quantifiers. Journal of Symbolic Logic, vol. 48 (1983), pp. 542-557.Google Scholar
Rudin, M. E. See: Benyamini, Y., Rudin, M. E. and Wage, M. L. 1977.
Ryll-Nardzewski, C. See: Grzegorczyk, A., Mostowski, A. and Ryll-Nardzewski, C. 1961.
Sabbagh, G. See: Eklof, P. C. and Sabbagh, G. 1971.
Sacks, G. E. 1972 Saturated Model Theory. W.A. Benjamin, Inc., 1972, xii+335 pp.
See also: Kreisel, G. and Sacks, G.E. 1965.
Sain, I. 1979 There are general rules for specifying semantics: observations on abstract model theory. Computational Linguistics and Computer Languages, vol. 13 (1979), pp. 195-250.Google Scholar
Sain, I. 1982 Finitary logics of infinitary structures are compact. Abstracts of Papers Presented to the American Mathematical Society, vol. 3 (1982), p. 253.Google Scholar
See also: Andréka, H., Németi, I. and Sain, I. 1984; Hien, B. H. and Sain, I. 1982.
Schechtman, G. See: Bourgain, J., Rosenthal, H. P. and Schechtman, G. 1981.
Schiemann, I. 1977 Eine Axiomatisierung des monadischen Prädikatenkalküls mit verallgemeinerten Quantoren. Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissen- schaftliche Reihe, vol. 26 (1977), pp. 647-657.Google Scholar
Schiemann, I. 1978 Untersuchungen zu Logiken mit Lindström-Quantoren. Doctoral Dissertation, Humboldt-Universität, Berlin, 1978, 151 pp.
Schlipf, J. S. 1975 Some hyperelementary aspects of model theory. Doctoral Dissertation, University of Wisconsin, Madison, 1975, 165 pp.
Schlipf, J. S. 1977 A guide to the identification of admissible sets above structures. Annals of Mathematical Logic, vol. 12 (1977), pp. 151-192.Google Scholar
Schlipf, J. S. 1978 Toward model theory through recursive saturation. Journal of Symbolic Logic, vol. 43 (1978), pp. 183-206.Google Scholar
See also: Barwise, K. J. and Schlipf, J. S. 1975; Barwise, K. J. and Schlipf, J. S. 1976.
Schmerl, J. H. 1972 An elementary sentence which has ordered models. Journal of Symbolic Logic, vol. 37 (1972), pp. 521-530.Google Scholar
Schmerl, J. H. 1974 Generalizing special Aronszajn trees. Journal of Symbolic Logic, vol. 39 (1974), pp. 732-740.Google Scholar
Schmerl, J. H. 1976 On κ-like structures which embed stationary and closed unbounded sets. Annals of Mathematical Logic, vol. 10 (1976), pp. 289-314.Google Scholar
Schmerl, J. H. 1982 Peano arithmetic and hyper-Ramsey logic. Preliminary report. Abstracts of Papers Presented to the American Mathematical Society, vol. 3 (1982), pp. 412-413. Abstract.Google Scholar
Schmerl, J. H. and Shelah, S. 1972 On power-like models for hyperinaccessible cardinals. Journal of Symbolic Logic, vol. 37 (1972), pp. 531-537.Google Scholar
Schmerl, J. H. and Simpson, S. G. 1982 On the role of Ramsey quantifiers in first order arithmetic. Journal of Symbolic Logic, vol. 47 (1982), pp. 423-435.Google Scholar
Schmitt, P. H. 1982 Model theory of ordered Abelian groups. Habilitationsschrift, Universität Heidelberg, 1982, xv+226 pp.
See also: Cherlin, G. L. and Schmitt, P. H. 1980; Cherlin, G. L. and Schmitt, P. H. 1981; Cherlin, G. L. and Schmitt, P. H. 1983; Gurevich, Y. and Schmitt, P. H. 1984.
Schönfeld, W. 1974 Ehrenfeucht-Fraïssé Spiel, Disjunktive Normalform und End-Hchkeitssatz. Doctoral Dissertation, Universität Stuttgart, 1974, v+53 pp.
Schreiber, P. 1965 Untersuchungen über die Modelle der Typentheorie. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 343-372.Google Scholar
Schwartz, D. 1980 Cylindric algebras with filter quantifiers. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 26 (1980), pp. 251-254.Google Scholar
Scott, D. S. 1958 On the Löwenheim-Skolem theorem in weak second-order logic. Notices of the American Mathematical Society, vol. 6 (1958), p. 778. Abstract.Google Scholar
Scott, D. S. 1961 Measurable cardinals and constructible sets. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 9 (1961), pp. 521-524.Google Scholar
Scott, D. S. 1964 Invariant Borel sets. Fundamenta Mathematicae, vol. 56 (1964), pp. 117-128.Google Scholar
Scott, D. S. 1965 Logic with denumerably long formulas and finite strings of quantifiers. In: The Theory of Models, edited by Addison, J. W., Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 329-341.Google Scholar
See also: Frayne, T. E., Morel, A. C. and Scott, D. S. 1962; Hanf, W. and Scott, D. S. 1961; Krauss, P. H. and Scott, D. S. 1966; Rabin, M. O. and Scott, D. S. 1959.
Scott, D. S. and Tarski, A. 1958 The sentential calculus with infinitely long expressions. Colloquium Mathematicum, vol. 6 (1958), pp. 165-170.Google Scholar
Seese, D. G. 1972 Entscheidbarkeits- und Definierbarkeitsfragen der Theorie “netzartiger” Graphen, I. Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissenschaftliche Reihe, vol. 21 (1972), pp. 513-517.Google Scholar
Seese, D. G. 1975a Ein Unentscheidbarkeitskriterium. Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Natur-wissenschaftliche Reihe, vol. 24 (1975), pp. 772-783.Google Scholar
Seese, D. G. 1975b Zur Entscheidbarkeit der monadischen Theorie 2. Stufe baumartiger Graphen. Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissenschaftliche Reihe, vol. 24 (1975), pp. 768-772.Google Scholar
Seese, D. G. 1976 Entscheidbarkeits- und Definierbarkeitsfragen monadischer Theorien zweiter Stufe gewisser Klassen von Graphen. Doctoral Dissertation, Humboldt-Universität, Berlin, 1976, 172 pp.
Seese, D. G. 1977a Decidability of u-trees with bounded sets—a survey. In: Fundamentals of Computation Theory, edited by Karpiński, M.. Springer-Verlag Lecture Notes in Computer Science, vol. 56 (1977), pp. 511-515.Google Scholar
Seese, D. G. 1977b Second order logic, generalized quantifiers and decidability. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 25 (1977), pp. 725-732.Google Scholar
Seese, D. G. 1977c Partitions for trees. Contributions to graph theory and its applications. In: Beiträge zur Graphentheorie und deren Anwendungen. Technische Hochschule Ilmenau, 1977, pp. 235-238.Google Scholar
Seese, D. G. 1978a Decidability and generalized quantifiers. In: Logic Colloquium ’77, edited by Macintyre, A. J., Pacholski, L. and Paris, J. B.. North-Holland Publishing Company, 1978, pp. 229-237.Google Scholar
Seese, D. G. 1978b Decidability of ω-trees with bounded sets. Manuscript, Akademie der Wissenschaften der DDR, Zentralinstitut für Mathematik und Mechanik, 1978, 52 pp.
Seese, D. G. 1978c A remark to the undecidability of well-orderings with the Hdrtig quantifier. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 26 (1978), p. 951.Google Scholar
Seese, D. G. 1978d Über unentscheidbare Erweiterungen von SC. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 63-71.Google Scholar
Seese, D. G. 1979 Some graph-theoretical operations and decidability. Mathematische Nachrichten, vol. 87 (1979), pp. 15-21.Google Scholar
Seese, D. G. 1981a Elimination of second-order quantifiers for well-founded trees in stationary logic and finitely determinate structures. In: Fundamentals of Computation Theory, edited by Gécseg, F.. Springer-Verlag Lecture Notes in Computer Science, vol. 117 (1981), pp. 341-349.Google Scholar
Seese, D. G. 1981b Stationary logic and ordinals. Transactions of the American Mathematical Society, vol. 263 (1981), pp. 111-124.Google Scholar
See also: Baudisch, A., Seese, D. G., and Tuschik, H.-P. 1983; Baud-isch, A., Seese, D. G., Tuschik, H.-P. and Weese, M. 1980.
Seese, D. G. and Tuschik, H.-P. 1977 Constructions of nice trees. 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. 257-271.Google Scholar
Seese, D. G., Tuschik, H.-P. and Weese, M. 1982 Undecidable theories in stationary logic. Proceedings of the American Mathematical Society, vol. 84 (1982), pp. 563-567.Google Scholar
Seese, D. G. and Weese, M. 1977 EhrenfeuchVs game for stationary logic. Manuscript, Humboldt-Universität, Berlin, 1977, 6 pp.
Seese, D. G. and Weese, M. 1982 L(aa)-elementary types of well-orderings. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 25 (1982), pp. 557-564.Google Scholar
Seidenberg, A. 1958 Comments on Lefschetzys principle. American Mathematical Monthly, vol. 65 (1958), pp. 685-690.Google Scholar
Sgro, J. A. 1976 Completeness theorems for continuous functions and product topologies. Israel Journal of Mathematics, vol. 25 (1976), pp. 249-272.Google Scholar
Sgro, J. A. 1977a Completeness theorems for topological models. Annals of Mathematical Logic, vol. 11 (1977), pp. 173-193.Google Scholar
Sgro, J. A. 1977b Maximal logics. Proceedings of the American Mathematical Society, vol. 63 (1977), pp. 291-298.Google Scholar
Sgro, J. A. 1980a The interior operator logic and product topologies. Transactions of the American Mathematical Society, vol. 258 (1980), pp. 99-112.Google Scholar
Sgro, J. A. 1980b Interpolation fails for the Souslin-Kleene closure of the open set quantifier logic. Proceedings of the American Mathematical Society, vol. 78 (1980), pp. 568-572.Google Scholar
Shafaat, A. 1967 Principle of localization for a more general type of languages. Proceedings of the London Mathematical Society, vol. 17 (1967), pp. 629-643.Google Scholar
Shelah, S. 1967 Thesis (in Hebrew). Master's Thesis, Hebrew University, 1967.
Shelah, S. 1969 On stable theories. Israel Journal of Mathematics, vol. 7 (1969), pp. 187-202.Google Scholar
Shelah, S. 1970a A note on Hanf numbers. Pacific Journal of Mathematics, vol. 34 (1970), pp. 541-545.Google Scholar
Shelah, S. 1970b Finite diagrams stable in power. Annals of Mathematical Logic, vol. 2 (1970), pp. 69-118.Google Scholar
Shelah, S. 1970c Solution of Los conjecture for uncountable languages. Notices of the American Mathematical Society, vol. 17 (1970), p. 968. Abstract.Google Scholar
Shelah, S. 1971a On languages with non-homogeneous strings of quantifiers. Israel Journal of Mathematics, vol. 8 (1971), pp. 75-79.Google Scholar
Shelah, S. 1971b On the number of non-almost isomorphic models ofT in a power. Pacific Journal of Mathematics, vol. 36 (1971), pp. 811-818.Google Scholar
Shelah, S. 1971c Two-cardinal and power-like models: compactness and large group of automorphisms. Notices of the American Mathematical Society, vol. 18 (1971), p. 425. Abstract.Google Scholar
Shelah, S. 1971d Two cardinal compactness. Israel Journal of Mathematics, vol. 9 (1971), pp. 193-198.Google Scholar
Shelah, S. 1971e Remark to “Local definability theory” of Reyes. Annals of Mathematical Logic, vol. 2 (1971), pp. 441-447.Google Scholar
Shelah, S. 1972a A combinatorial problem; stability and order for models and theories in infinitary languages. Pacific Journal of Mathematics, vol. 41 (1972), pp. 247-261.Google Scholar
Shelah, S. 1972b On models with power-like orderings. Journal of Symbolic Logic, vol. 37 (1972), pp. 247-267.Google Scholar
Shelah, S. 1973a First-order theory of permutation groups. Israel Journal of Mathematics, vol. 14 (1973), pp. 149-162.Google Scholar
Shelah, S. 1973b Errata to “First-order theory of permutation groups”. Israel Journal of Mathematics, vol. 15 (1973), pp. 437-441.Google Scholar
Shelah, S. 1973c There are just four second-order quantifiers. Israel Journal of Mathematics, vol. 15 (1973), pp. 282300.Google Scholar
Shelah, S. 1973d Weak definability in infinitary languages. Journal of Symbolic Logic, vol. 38 (1973), pp. 399-404.Google Scholar
Shelah, S. 1974a Categoricity of uncountable theories. In: Proceedings of the Tarski Symposium, edited by Henkin, L. A.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 25 (1974), pp. 187-205.Google Scholar
Shelah, S. 1974b The Hanf number of omitting complete types. Pacific Journal of Mathematics, vol. 50 (1974), pp. 163-168.Google Scholar
Shelah, S. 1975a A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals. Israel Journal of Mathematics, vol. 21 (1975), pp. 319-349.Google Scholar
Shelah, S. 1975b A two-cardinal theorem. Proceedings of the American Mathematical Society, vol. 48 (1975), pp. 207-213.Google Scholar
Shelah, S. 1975c Categoricity in א1 of sentences in Lω1ω(Q). Israel Journal of Mathematics, vol. 20 (1975), pp. 127-148.Google Scholar
Shelah, S. 1975d Generalized quantifiers and compact logic. Transactions of the American Mathematical Society, vol. 204 (1975), pp. 342-364.Google Scholar
Shelah, S. 1975e The monadic theory of order. Annals of Mathematics, vol. 102 (1975), pp. 379-419.Google Scholar
Shelah, S. 1975f Why there are many nonisomorphic models for unsuperstable theories. In: Proceedings of the International Congress of Mathematicians. Volume One, edited by James, R. D.. Canadian Mathematical Congress, 1975, pp. 259-264.Google Scholar
Shelah, S. 1976a Decomposing uncountable squares to countably many chains. Journal of Combinatorial Theory (A), vol. 21 (1976), pp. 110-114.Google Scholar
Shelah, S. 1976b Refuting Ehrenfeucht conjecture on rigid models. Israel Journal of Mathematics, vol. 25 (1976), pp. 273-286.Google Scholar
Shelah, S. 1977 A two-cardinal theorem and a combinatorial theorem. Proceedings of the American Mathematical Society, vol. 62 (1977), pp. 134-136.Google Scholar
Shelah, S. 1978a Classification Theory and the Number of Non-isomorphic Models. North-Holland Publishing Company, 1978, xvi+544 pp.
Shelah, S. 1978b End extensions and number of countable models. Journal of Symbolic Logic, vol. 43 (1978), pp. 550-562.Google Scholar
Shelah, S. 1978c Models with second order properties, I: Boolean algebras with no un-definable automorphisms. Annals of Mathematical Logic, vol. 14 (1978), pp. 57-72.Google Scholar
Shelah, S. 1978d Models with second order properties, II: Trees with no undefined branches. Annals of Mathematical Logic, vol. 14 (1978), pp. 73-87.Google Scholar
Shelah, S. 1978c Appendix to “Models with second order properties, II: Trees with no undefined branches”. Annals of Mathematical Logic, vol. 14 (1978), pp. 223 226.Google Scholar
Shelah, S. 1979a On successors of singular cardinals. In: Logic Colloquium ’78, edited by BofFa, M., van Dalen, D. and McAloon, K.. North-Holland Publishing Company, 1979, pp. 357-380.Google Scholar
Shelah, S. 1979b On uncountable Abelian groups. Israel Journal of Mathematics, vol. 32 (1979), pp. 311-330.Google Scholar
Shelah, S. 1981a Models with second order properties, III: Omitting types for L(Q). Archiv für Mathematische Logik und Grundlagenforschung, vol. 21 (1981), pp. 1-11.Google Scholar
Shelah, S. 1981b On the number of non-isomorphic models of cardinality λ L∞λ-equivalent to a fixed model. Notre Dame Journal of Formal Logic, vol. 22 (1981), pp. 5-10,Google Scholar
Shelah, S. 1982a Measure, Craig, L(aa), finite axiomatizability. Abstracts of Papers Presented to the American Mathematical Society, vol. 3 (1982), p. 130. Abstract.Google Scholar
Shelah, S. 1982b On the number of non-isomorphic models in L∞κ when κ is weakly compact. Notre Dame Journal of Formal Logic, vol. 23 (1982), pp. 21-26.Google Scholar
Shelah, S. 1982c Proper forcing. Springer-Verlag Lecture Notes in Mathematics, vol. 940, 1982, xxix+496 pp.
Shelah, S. 1982d The sprectrum problem, I: א∊-saturated models, the main gap. Israel Journal of Mathematics, vol. 43 (1982), pp. 324-356.Google Scholar
Shelah, S. 1982e The spectrum problem, II: Totally transcendental and infinite depth. Israel Journal of Mathematics, vol. 43 (1982), pp. 357-364.Google Scholar
Shelah, S. 1982f Why am I so happy? Abstracts of Papers Presented to the American Mathematical Society, vol. 3 (1982), p. 282. Abstract.Google Scholar
Shelah, S. 1983a A classification of generalized quantifiers. Manuscript, The Hebrew University of Jerusalem, 1983.
Shelah, S. 1983b Classification theory of non-elementary classes, I: The number of uncountable models of ψ ∈ Lω1ω. Part A. Israel Journal of Mathematics, vol. 46 (1983), pp. 212-240.Google Scholar
Shelah, S. 1983c Classification theory of non-elementary classes, I: The number of uncountable models of ψ ∈ Lω1ω. Part B. Israel Journal of Mathematics, vol. 46 (1983), pp. 241-273.Google Scholar
Shelah, S. 1983d Models with second order properties, IV: A general method and eliminating diamonds. Annals of Pure and Applied Logic, vol. 25 (1983), pp. 183-212.Google Scholar
Shelah, S. 1983e Results in math, logic, I. Abstracts of Papers Presented to the American Mathematical Society, vol. 4 (1983), p. 189. Abstract.Google Scholar
Shelah, S. 1984a On co-K-Souslin relations. Israel Journal of Mathematics, vol. 47 (1984), pp. 139-153.Google Scholar
Shelah, S. 1984b A pair of nonisomorphic ≡∞λ models of power λ for λ singular with λω = λ. Notre Dame Journal of Formal Logic, vol. 25 (1984), pp. 97-104.Google Scholar
Shelah, S. 198?a “L<ω; is not countably compact” is consistent. Manuscript, Hebrew University. In preparation.
Shelah, S. 198?b Monadic logic: Löwenheim numbers. Annals of Pure and Applied Logic. To appear.Google Scholar
Shelah, S. 198?c Classification theory for non-elementary classes, II: Abstract elementary classes. Manuscript, Hebrew University. In preparation.
Shelah, S. 198?d Monadic Logic: IIanf numbers. Annals of Pure and Applied Logic. To appear.Google Scholar
Shelah, S. 198?e Remarks on Abstract Model Theory. APAL. To appear.Google Scholar
See also: Baldwin, J. T. and Shelah, S. 1982; Devlin, K. J. and Shelah, S. 1978; Friedman, S. D. and Shelah, S. 1983; Giorgetta, D. and Shelah, S. 1984; Grossberg, R. and Shelah, S. 1983; Gurevich, Y. and Shelah, S. 1979; Gurevich, Y. and Shelah, S. 1981a; Gurevich, Y. and Shelah, S. 1981b; Gurevich, Y. and Shelah, S. 1981c; Gurevich, Y. and Shelah, S. 1982; Gurevich, Y. and Shelah, S. 1983a; Gurevich, Y. and Shelah, S. 1983b; Gurevich, Y. and Shelah, S. 1983c; Gurevich, Y., Magidor, M. and Shelah, S. 1983; Harrington, L. A. and Shelah, S. 1982; Harrington, L. A., Makkai, M. and Shelah, S. 198?; Hodges, W. and Shelah, S. 1981; Macintyre, A. J. and Shelah, S. 1976; Magidor, M. and Shelah, S. 1983; Magidor, M., Shelah, S. and Stavi, J. 1984; Makowsky, J. A. and Shelah, S. 1976; Makowsky, J. A. and Shelah, S. 1979a; Makowsky, J. A. and Shelah, S. 1979b; Makowsky, J. A. and Shelah, S. 1981; Makowsky, J. A. and Shelah, S. 1983; Makowsky, J. A. and Shelah, S. 198?a; Makowsky, J. A. and Shelah, S. 198?b; Makowsky, J. A., Shelah, S., and Stavi, J. 1976; Mekler, A. H. and Shelah, S. 1983; Mekler, A. H. and Shelah, S. 198?; Rubin, M. and Shelah, S. 1980; Rubin, M. and Shelah, S. 1983; Schmerl, J. H. and Shelah, S. 1972.
Shelah, S. and Kaufmann, M. J. 198?a The Hanf number of stationary logic I. Notre Dame Journal of Formal Logic. To appear.Google Scholar
Shelah, S. and Kaufmann, M. J. 198?b The Hanf number of stationary logic II. Notre Dame Journal of Formal Logic. To appear.Google Scholar
Shelah, S. and Steinhorn, C.I. 1982 On the non-axiomatizability of some logics by finitely many schemas. Abstracts of Papers Presented to the American Mathematical Society, vol. 3 (1982), p. 311. Abstract.Google Scholar
Shelah, S. and Steinhorn, C.I. 198? On the non-axiomatizability of some logics by finitely many schemas. Notre Dame Journal of Formal Logic. To appear.Google Scholar
Shelah, S. and Stern, J. 1978 The Hanf number of the first order theory of Banach spaces. Transactions of the American Mathematical Society, vol. 244 (1978), pp. 147 171.Google Scholar
Shelah, S. and Ziegler, M. 1979 Algebraically closed groups of large cardinality. Journal of Symbolic Logic, vol. 44 (1979), pp. 522-532.Google Scholar
Shoenfield, J. R. 1967 Mathematical Logic. Addison-Wesley, 1967, vii+344 pp.
Shoenfield, J. R. 1971 Unramified forcing. In: Axiomatic Set Theory, Part I, edited by Scott, D. S.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 13 (1971), pp. 357-382.Google Scholar
Shore, R. A. 1977 α-recursion theory. In: Handbook of Mathematical Logic, edited by Barwise, K. J.. North-Holland Publishing Company, 1977, pp. 653-680.Google Scholar
Siefkes, D. 1968 Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic. In: Contributions to Mathematical Logic, edited by Schmidt, H. A., Schütte, K. and Thiele, H.-J.. North-Holland Publishing Company, 1968, pp. 237-254.Google Scholar
Siefkes, D. 1970 Büchi's Monadic Second-order Successor Arithmetic. Spring-’ er-Verlag Lecture Notes in Mathematics, vol. 120, 1970, xii+130 pp.
See also: Bxichi, J. R. and Siefkes, D. 1973; Biichi, J. R. and Siefkes, D. 1983.
Sierpiński, W. 1950 Sur les types d'ordre des ensembles linéaires. Fundamenta Mathematicae, vol. 37 (1950), pp. 253-264.Google Scholar
Sierpiński, W. 1958 Cardinal and Ordinal Numbers. Paristwowe Wydawnictwo Naukowe (Polish Scientific Publishers), 1958, 487 pp.
Sikorski, R. See: Rasiowa, H. and Sikorski, R. 1963.
Silver, J. H. 1966 Some applications of model theory in set theory. Doctoral Dissertation, University of California, Berkeley, 1966, 110 pp.
Silver, J. H. 1971a Some applications of model theory in set theory. Annals of Mathematical Logic, vol. 3 (1971), pp. 45-110.Google Scholar
Silver, J. H. 1971b The independence of Kurvpa's conjecture and two-cardinal conjectures in model theory. In: Axiomatic Set Theory, Part I, edited by Scott, D. S.. American Mathematical Society Proceedings of Symposia in Pure Mathematics, vol. 13 (1971), pp. 383-390.Google Scholar
See also: Keisler, H. J. and Silver, J. PI. 1971.
Simpson, S. G. 1970 Model-theoretic proof of a partition theorem. Notices of the American Mathematical Society, vol. 17 (1970), p. 964. Abstract.Google Scholar
See also: Schmerl, J.H. and Simpson, S. G. 1982.
Simpson, S. G., Kreisel, G. and Minc, G. E. 1975 The use of abstract language in elementary metamathematics: some pedagogic examples. In: Logic Colloquium, edited by Parikh, R.. Springer-Verlag Lecture Notes in Mathematics, vol. 453 (1975), pp. 38-131.Google Scholar
Slomiński, J. 1956 On the extending of models, III: Extensions in equationally definable classes of algebras. Fundamenta Mathematicae, vol. 43 (1956), pp. 69-76.Google Scholar
Slomiński, J. 1958 Theory of models with infinitary operations and relations. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 6 (1958), pp. 449-456.Google Scholar
See also: Loś, J., Slomiriski, J. and Suszko, R. 1959.
Slomson, A. B. 1967 Some problems in mathematical logic. Doctoral Dissertation, Oxford University, 1967, viii+121 pp.
Slomson, A. B. 1968 The monadic fragment of predicate calculus with the Chang quantifier and equality. 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. 279-301.Google Scholar
Slomson, A. B. 1972 Generalized quantifiers and well orderings. Archiv für Mathematische Logik und Grundlagenforschung, vol. 15 (1972), pp. 57-73.Google Scholar
Slomson, A. B. 1976 Decision problems for generalized quantifiers—a survey. 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. 249-258.Google Scholar
See also: Bell, J. L. and Slomson, A. B. 1969.
Slonneger, K. 1976 A complete infinitary logic. Journal of Symbolic Logic, vol. 41 (1976), pp. 730-746.Google Scholar
Smullyan, It. M. 1963 A unifying principle in quantification theory. Proceedings of the National Academy of Sciences of the USA, vol. 49 (1963), pp. 828-832.Google Scholar
Smullyan, It. M. 1965 A unifying principle in quantification theory. In: The Theory of Models, edited by Addison, J. W., Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 433-434. Abstract.Google Scholar
Snir, M. See: Gaifman, H. and Snir, M. 1982.
Solovay, R. M., Reinhardt, W. N. and Kanamori, A. 1978 Strong axioms of infinity and elementary embeddings. Annals of Mathematical Logic, vol. 13 (1978), pp. 73-116.Google Scholar
Solovay, R. M. and Tennenbaum, S. 1971 Iterated Cohen extensions and Souslinfs problem. Annals of Mathematics, vol. 94 (1971), pp. 201-245.Google Scholar
Specker, E. P. 1949 Sur un problème de Sikorski. Colloquium Mathematicum, vol. 2 (1949), pp. 9-12.Google Scholar
See also: Mac Dowell, R. and Specker, E. P. 1961.
Sperschneider, V. 1979 ModeHtheorie topologischer Vektorräume. Doctoral Dissertation, University of Freiburg, 1979, 120 pp.
Stanley, L. J. 1984 Characterizing weak compactness. Annals of Pure and Applied Logic, vol. 26 (1984), pp. 89-99.Google Scholar
Stark, W. R. 1980 Martin's axiom in the model theory of LA. Journal of Symbolic Logic, vol. 45 (1980), pp. 172-176.Google Scholar
Stavi, J. 1973 A converse of the Barwise completeness theorem. Journal of Symbolic Logic, vol. 38 (1973), pp. 594-612.Google Scholar
Stavi, J. 1978 Compactness properties of infinitary and abstract languages, I: General results. In: Logic Colloquium ’77, edited by Macintyre, A. J., Pacholski, L. and Paris, J. B.. North-Holland Publishing Company, 1978, pp. 263-275.Google Scholar
See also: Magidor, M., Shelah, S. and Stavi, J. 1984; Makowsky, J. A., Shelah, S., and Stavi, J. 1976; Nadel, M. E. and Stavi, J. 1977; Nadel, M. E. and Stavi, J. 1978.
Stavi, J. and Väänänen, J. 1979 Reflection principles for the continuum. Manuscript, University of Helsinki, 1979, 53 pp.
Steel, J. 1978 On Vaught's conjecture. In: Cabal Seminar 76-77, edited by Kechris, A. S. and Moschovakis, Y. N.. Springer-Verlag Lecture Notes in Mathematics, vol. 689 (1978), pp. 193-208.Google Scholar
See also: Martin, D. A., Moschovakis, Y. N. and Steel, J. 1982.
Steinhorn, C.I. 1980 On logics that express “there exist many indiscernibles”. Doctoral Dissertation, University of Wisconsin,Madison, 1980, iv+139 pp.
Steinhorn, C.I. 1981 Logics with a quantifier expressing “there exist large sets of indiscernibles”. Journal of Symbolic Logic, vol. 46 (1981), p. 427. Abstract.Google Scholar
See also: Shelah, S. and Steinhorn, C. f. 1982; Shelah, S. and Stein-horn, C. I. 198?.
Stern, J. 1973 Les premiers cardinaux compacts. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Série A, vol. 277 (1973), pp. 401-403.Google Scholar
Stern, J. 1976a Some applications of model theory in Banach space theory. Annals of Mathematical Logic, vol. 9 (1976), pp. 49-121.Google Scholar
Stern, J. 1976b The problem of envelopes for Banach spaces. Israel Journal of Mathematics, vol. 24 (1976), pp. 1-15.Google Scholar
See also: Shelah, S. and Stern, J. 1978.
Stewart, F. M. See: Gale, D. and Stewart, F. M. 1953.
Stone, A. L. 1969 Nonstandard analysis in topological algebra. In: Applications of Model Theory to Algebra, Analysis, and Probability, edited by Luxemburg, W. A. J.. Holt, Rinehart and Winston, 1969, pp. 285-299.Google Scholar
Stupp, J. 1975 The lattice model is recursive in the original model. Manuscript, Hebrew University, 1975, 25 pp.
Suszko, R. See: Loś, J. and Suszko, R. 1955; Loś, J. and Suszko, R. 1957; Los, J., Słomiński, J., and Suszko, R. 1959.
Suzuki, Y. 1968 No-standard models for set theory. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 16 (1968), pp. 265 267.Google Scholar
Svenonius, L. 1965 On the denumerable models of theories with extra predicates. In: The Theory of Models, edited by Addison, J. W., Hcnkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 376-389.Google Scholar
Swan, R. G. See: Murthy, M. P. and Swan, R. G. 1976.
Sweet, A.M. 1979 Intended model theory. Notre Dame Journal of Formal Logic, vol. 20 (1979), pp. 575-592.Google Scholar
Swett, A. K. 1974 Absolute logics: A-closures and the number of countable models. Preliminary report. Notices of the American Mathematical Society, vol. 21 (1974), pp. A-553-A-554. Abstract.Google Scholar
Szmielew, W. 1955 Elementary properties of Abelian groups. Fundamenta Mathematicae, vol. 41 (1955), pp. 203-271.Google Scholar
Takeuti, G. 1960 On the recursive functions of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 119-128.Google Scholar
Takeuti, G. 1965 Recursive functions and arithmetical functions of ordinal numbers. In: Logic, Methodology and Philosophy of Science, edited by Bar-Hillel, Y.. North-Holland Publishing Company, 1965, pp. 179-196.Google Scholar
Takeuti, G. 1968 A determinate logic. In: The Syntax and Semantics of Infini-tary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 237-264.Google Scholar
Takeuti, G. 1970 A determinate logic. Nagoya Mathematical Journal, vol. 38 (1970), pp. 113-138.Google Scholar
See also: Henson, C. W., Jockusch, C. G., Rubel, L. A. and Takeuti, G. 1977; Kino, A. and Takeuti, G. 1963; Maehara, S. and Takeuti, G. 1961.
Tarski, A. 1949 Arithmetical classes and types of Boolean algebras. Preliminary report. Bulletin of the American Mathematical Society, vol. 55 (1949), p. 64. Abstract.Google Scholar
Tarski, A. 1951 A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley and Los Angeles, 1951, iii+63 pp.
Tarski, A. 1952 Some notions and methods on the borderline of algebra and metamathe- mattes. In: Proceedings of the International Congress of Mathematicians. 1950. Volume I, edited by Graves, L. M., Hille, E., Smith, P. A. and Zariski, O.. American Mathematical Society, 1952, pp. 705- 720.Google Scholar
Tarski, A. 1954 Contributions to the theory of models, I and II. Indagationes Mathematicae, vol. 16 (1954), pp. 572-588.Google Scholar
Tarski, A. 1955 Contributions to the theory of models, III. Indagationes Mathematicae, vol. 17 (1955), pp. 56-64.Google Scholar
Tarski, A. 1958a Models of universal sentences in predicate logic with infinitely long formulas. Notices of the American Mathematical Society, vol. 5 (1958), p. 67. Abstract.Google Scholar
Tarski, A. 1958b Remarks on predicate logic with infinitely long expressions. Colloquium Mathematicum, vol. 6 (1958), pp. 171-176.Google Scholar
Tarski, A. 1958c Some model-theoretical results concerning weak second-order logic. Notices of the American Mathematical Society, vol. 5 (1958), p. 673. Abstract.Google Scholar
Tarski, A. 1961a A model-theoretical result concerning infinttary logics. Notices of the American Mathematical Society, vol. 8 (1961), p. 260. Abstract.Google Scholar
Tarski, A. 1961b Representable Boolean algebras and infinitary logics. Notices of the American Mathematical Society, vol. 8 (1961), pp. 154-155. Abstract.Google Scholar
Tarski, A. 1962 Some problems and results relevant to the foundations of set theory. In: Logic, Methodology and Philosophy of Science, edited by Nagel, E., Suppes, P. and Tarski, A.. Stanford University Press, 1962, pp. 125-135.Google Scholar
See also: Doner, J. E., Mostowski, A. and Tarski, A. 1978; Keisler, H. J. and Tarski, A. 1964; Mostowski, A. and Tarski, A. 1949; Scott, D. S. and Tarski, A. 1958.
Tarski, A., Mostowski, A. and Robinson, R. M. 1953 Undecidable theories. North-Holland Publishing Company, 1953, xi+98 pp.
Tarski, A. and Vaught, R. L. 1957 Arithmetical extensions of relational systems. Compositio Mathematica, vol. 13 (1957), pp. 81-102.Google Scholar
Taylor, W. 1971 Some constructions of compact algebras. Annals of Mathematical Logic, vol. 3 (1971), pp. 395-435.Google Scholar
Taylor, W. 1972 Residually small varieties. Algebra Universalis, vol. 2 (1972), pp. 33- 53.Google Scholar
Taylor, W. 1973 Characterizing Mal'cev conditions. Algebra Universalis, vol. 3 (1973), pp. 351-397.Google Scholar
Tennenbaum, S. See: Solovay, R. M. and Tennenbaum, S. 1971.
Tenney, R. L. 1975 Second-order Ehrenjeucht games and the decidability of the second-order theory of an equivalence relation. Journal of the Australian Mathematical Society, vol. 20 (1975), pp. 323-331.Google Scholar
Tharp, L. H. 1973 The characterization of monadic logic. Journal of Symbolic Logic, vol. 38 (1973), pp. 481-488.Google Scholar
Tharp, L. H. 1974 Continuity and elementary logic. Journal of Symbolic Logic, vol. 39 (1974), pp. 700-716.Google Scholar
Tharp, L. H. 1975 Which logic is the right logic? Synthese, vol. 31 (1975), pp. 1-21.Google Scholar
Thatcher, J. W. and Wright, J. B. 1968 Generalized automata theory with an application to a decision problem of second-order logic. Mathematical Systems Theory, vol. 2 (1968), pp. 57-81.Google Scholar
Thomas, W. 1981 A combinatorial approach to the theory of u-automat a. Information and Control, vol. 48 (1981), pp. 261-283.Google Scholar
See also: Ebbinghaus, H. D., Flum, J. and Thomas, W. 1984.
Thomason, R. H. 1966 A system of logic with free variables ranging over quantifiers. Journal of Symbolic Logic, vol. 31 (1966), p. 700. Abstract.Google Scholar
See also: Randolph, J. D. and Thomason, R. H. 1969.
Thomson, J. 1967 Proof of the law of infinite conjunction using the perfect disjunctive normal form. Journal of Symbolic Logic, vol. 32 (1967), pp. 196- 197.Google Scholar
Toubassi, E. See: May, W. and Toubassi, E. 1977.
Trahtenbrot, B. A. 1950 The impossibility of an algorithm for the decision problem for finite domains (Russian). Doklady Akademii Nauk SSSR, vol. 70 (1950), pp. 569-572.Google Scholar
Tucker, J. V. See: Bergstra, J. A. and Tucker, J. V. 1984.
Tucué,, T. 1964 On the partial recursive functions of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 16 (1964), pp. 1-31.Google Scholar
Tulipani, S. 1975 Questioni di teoria dei modelli per linguaggi universali positivi, II: Metodi di “back and forth”. Atti della Accademia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali. Serie VIII, vol. 59 (1975), pp. 328-335.Google Scholar
Tulipani, S. 1984 On the universal theory of classes of finite models. Transactions of the American Mathematical Society, vol. 284 (1984), pp. 163-170.Google Scholar
See also: Makowsky, J. A. and Tulipani, S. 1977; Marcja, A. and Tulipani, S. 1974.
Tuschik, H.-P. 1975 א1-Kategorizität. Doctoral Dissertation, Humboldt-Universität, Berlin, 1975, vii+132 pp.
Tuschik, H.-P. 1977a Elimination verallgemeinerter Quantoren in א1-kategorischen Theo-rien. Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissenschaftliche Reihe, vol. 26 (1977), pp. 659-661.Google Scholar
Tuschik, H.-P. 1977b On the decidability of the theory of linear orderings in the language L(Q1). 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. 291-304.Google Scholar
Tuschik, H.-P. 1980 On the decidability of the theory of linear orderings with generalized quantifiers. Fundamenta Mathematicae, vol. 107 (1980), pp. 21-32.Google Scholar
Tuschik, H.-P. 1982a Elimination of cardinality quantifiers. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 28 (1982), pp. 75-81.Google Scholar
Tuschik, H.-P. 1982b Untersuchung Unearer Ordnungen in der Logik mit Mal-itzquantoren. Habilitationsschrift, Humboldt-Universität, Berlin, 1982, 116 pp.
See also: Baudisch, A., Seese, D. G., and Tuschik, H.-P. 1983; Baud-isch, A., Seese, D. G., Tuschik, H.-P. and Weese, M. 1980; Rothmaler, P. and Tuschik, H.-P. 1982; Seese, D. G. and Tuschik, H.-P. 1977; Seese, D. G., Tuschik, H.-P. and Weese, M. 1982.
Uesu, T. 1971 Simple type theory with constructive infinitely long expressions. Commentarii Mathematici Universitatis Sancti Pauli (Tokyo), vol. 19 (1971), pp. 131-163.Google Scholar
Ulam, S. 1930 Zur Masstheorie in der allgemeinen Mengenlehre. Fundamenta Mathematicae, vol. 16 (1930), pp. 140-150.Google Scholar
Urquhart, A. 1976 Elementary classes in infinitary logic. Journal of Symbolic Logic, vol. 41 (1976), p. 552. Abstract.Google Scholar
Uryson, P. S. See: Aleksandrov, P. S. and Uryson, P. S. 1929.
Väänänen, J. 1977a Applications of set theory to generalized quantifiers. Doctoral Dissertation, University of Manchester, 1977, 131 pp.
Väänänen, J. 1977b On the compactness theorem. 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. 62-68.Google Scholar
Väänänen, J. 1977c Remarks on generalized quantifiers and second-order logics. In: Set Theory and Hierarchy Theory, edited by Bar-Hillel, Y.. Prace Naukowe Instytutu Matematyki Politechniki Wroclawskiej, Wroclaw, vol. 14 (1977), pp. 117-123.Google Scholar
Väänänen, J. 1978 Two axioms of set theory with applications to logic. Annales Academiae Scientiarum Fennicae. Series A I. Mathematical Dissertationes, vol. 20 (1978), pp. 1-19.Google Scholar
Väänänen, J. 1979a Abstract logic and set theory, I. Definability. In: Logic Colloquium ’78, edited by BofFa, M., van Dalen, D. and McAloon, K.. North-Holland Publishing Company, 1979, pp. 391-421.Google Scholar
Väänänen, J. 1979b On Hanf numbers of unbounded logics. In: Proceedings from 5th Scandinavian Logic Symposium, edited by Jensen, F. V., Mayoh, B. and Møller, K.. Aalborg University Press, 1979, pp. 309-328.Google Scholar
Väänänen, J. 1979c On logic with the Härtig-quantifier. Journal of Symbolic Logic, vol. 44 (1979), pp. 465-466. Abstract.Google Scholar
Väänänen, J. 1979d Remarks on free quantifier variables. In: Essays on Mathematical and Philosophical Logic, edited by . Hintikka, J. K. J., Niiniluoto, I., and Saarinen, E.. D. Reidel Publishing Company, 1979, pp. 267-272.Google Scholar
Väänänen, J. 1980a A quantifier for isomorphisms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 26 (1980), pp. 123-130.Google Scholar
Väänänen, J. 1980b Boolean-valued models and generalized quantifiers. Annals of Mathematical Logic, vol. 18 (1980), pp. 193-225.Google Scholar
Väänänen, J. 1980c The Hanf number of Lω1ω1 . Proceedings of the American Mathematical Society, vol. 79 (1980), pp. 294-297.Google Scholar
Väänänen, J. 1982a Abstract logic and set theory, II: Large cardinals. Journal of Symbolic Logic, vol. 47 (1982), pp. 335-345.Google Scholar
Väänänen, J. 1982b Generalized quantifiers in models of set theory. In: Patras Logic Symposion, edited by Metakides, G.. North-Holland Publishing Company, 1982, pp. 359-371.Google Scholar
Väänänen, J. 1983 ∆-extension and Hanf numbers. Fundamenta Mathematicae, vol. 115 (1983), pp. 43-55.Google Scholar
See also: Anapolitanos, D. A. and Väänänen, J. 1981; Krynicki, M. and Väänänen, J. 1982; Krynicki, M.,Lachlan, A. II. and Väänänen, J. 1984; Stavi, J. and Väänänen, J. 1979.
van Douwen, E. K. See: Kunen, K. and van Douwen, E. K. 1982.
Vaughan, J. E. 1975 Some properties related to [a,b]-compactness. Fundamenta Mathematicae, vol. 87 (1975), pp. 251-260.Google Scholar
Vaught, R. L. 1961a Denumerable models of complete theories. In: Infinitistic Methods: Proceedings of the Symposium on Foundations of Mathematics, edited by Anonymous. Pergamon Press and Paristwowe Wydawnictwo Naukowe (Polish Scientific Publishers), 1961, pp. 303-321.Google Scholar
Vaught, R. L. 1961b The elementary character of two notions from general algebra. In : Essays on the Foundations of Mathematics, edited by Bar-Hillel, Y., Poznanski, E. I.J., Rabin, M. O. and Robinson, A.. The Magnes Press, The Hebrew University, Jerusalem, 1961, pp. 226-233.Google Scholar
Vaught, R. L. 1964 The completeness of logic with the added quantifier athere are uncounU ably many”. Fundamenta Mathematicae, vol. 54 (1964), pp. 303-304.Google Scholar
Vaught, R. L. 1965a A Löwenheim-Skolem theorem for cardinals far apart. In : The Theory of Models, edited by Addison, J. W., Henkin, L. A. and Tarski, A.. North-Holland Publishing Company, 1965, pp. 390-401.Google Scholar
Vaught, R. L. 1965b The Löwenheim-Skolem theorem. In: Logic, Methodology and Philosophy of Science, edited by Bar-Hillel, Y.. North-Holland Publishing Company, 1965, pp. 81-89.Google Scholar
Vaught, R. L. 1973a A Borel invariantization. Bulletin of the American Mathematical Society, vol. 79 (1973), pp. 1292-1295.Google Scholar
Vaught, R. L. 1973b Descriptive set theory in Lω1ω . 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. 574-598.Google Scholar
Vaught, R. L. 1974 Invariant sets in topology and logic. Fundamenta Mathematicae, vol. 82 (1974), pp. 269-294.Google Scholar
See also: Craig, W. and Vaught, R. L. 1958; Feferman, S. and Vaught, R. L. 1959; Montague, R. and Vaught, R. L. 1959; Morley, M. D. and Vaught, R. L. 1962;Tarski, A. and Vaught, R. L. 1957.
Vinner, S. 1970a Completeness and model completeness in Fukrken's language. Notices of the American Mathematical Society, vol. 17 (1970), p. 456. Abstract.Google Scholar
Vinner, S. 1970b Completeness and model completeness in Fuhrken's language, II. Notices of the American Mathematical Society, vol. 17 (1970), p. 964. Abstract.Google Scholar
Vinner, S. 1970c Completeness and model completeness in Fuhrken's language, III. Notices of the American Mathematical Society, vol. 17 (1970), p. 1077. Abstract.Google Scholar
Vinner, S. 1971 Some results in a language with a generalized quantifier. Notices of the American Mathematical Society, vol. 18 (1971), pp. 665-666. Abstract.Google Scholar
Vinner, S. 1972 A generalization of EhrenfeuchVs game and some applications. Israel Journal of Mathematics, vol. 12 (1972), pp. 279-298.Google Scholar
Vinner, S. 1975 Model-completeness in a first-order language with a generalized quantifier. Pacific Journal of Mathematics, vol. 56 (1975), pp. 265-273.Google Scholar
Volger, H. 1975 Feferman- Vaught theorem revisited. Notices of the American Mathematical Society, vol. 22 (1975), p. A-524. Abstract.Google Scholar
Volger, H. 1976 The Feferman-Vaught theorem revisited. Colloquium Mathematicum, vol. 36 (1976), pp. 1-11.Google Scholar
Volger, H. 1977 Σ1 1-relations of structures and interpolation for sentences. Notices of the American Mathematical Society, vol. 24 (1977), p. 392. Abstract.Google Scholar
Vopěnka, P. and Hrbáček, K. 1966 On strongly measurable cardinals. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 14 (1966), pp. 587-591.Google Scholar
Wage, M. L. See: Benyamini, Y., Rudin, M. E. and Wage, M. L. 1977.
Wainer, S. S. 1974 Definability in Lω1ω1 and recursion in 3E. Journal of Symbolic Logic, vol. 39 (1974), p. 424. Abstract.Google Scholar
Walker, E. A. See: Hunter, R. H., Richter, M. M. and Walker, E. A. 1977.
Walkoe, W. J. 1969 Finite partially-ordered quantification. Doctoral Dissertation, University of Wisconsin, Madison, 1969, 61 pp.
Walkoe, W. J. 1970 Finite partially-ordered quantification. Journal of Symbolic Logic, vol. 35 (1970), pp. 535-555.Google Scholar
Walkoe, W. J. 1976 A small step backwards. American Mathematical Monthly, vol. 83 (1976), pp. 338-344.Google Scholar
See also: Keisler, H. J. and Walkoe, W. J. 1973.
Wang, H. 1974 From Mathematics to Philosophy. Routlcdge and Kegan Paul, 1974, xiv+ 428 pp.
Warfield, R. B. 1976 Classification theory of Abelian groups, I: Balanced projectives. Transactions of the American Mathematical Society, vol. 222 (1976), pp. 36-63.Google Scholar
Warfield, R. B. 1981 Classification theory of Abelian groups, II: Local theory. In: Abelian Group Theory, edited by Göbel, R. and Walker, E. A.. Springer-Verlag Lecture Notes in Mathematics, vol. 874 (1981), pp. 322-349.Google Scholar
Waszkiewicz, J. and Weglorz, B. 1969 On products of structures for generalized logics (with Polish and Russian summaries). Studia Logica, vol. 25 (1969), pp. 7-15.Google Scholar
Weaver, G. and Woodring, K. 1975 A uniform interpolation lemma in second order logic. Notices of the American Mathematical Society, vol. 22 (1975), p. A647. Abstract.Google Scholar
Weese, M. 1972 Zur Modellvollständigkeit und Entscheidbarkeit gewisser topologischer Räume (with Russian, English and French summaries). Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissenschaftliche Reihe, vol. 21 (1972), pp. 477-485.Google Scholar
Weese, M. 1974 Zur Entscheidbarkeit der Topologie der p-adischen Zahlkörper in Sprachen mit Mächtigkeitsquantoren. Doctoral Dissertation, Humboldt-Universität, Berlin, 1974, 91 pp.
Weese, M. 1976a Entscheidbarkeit in speziellen uniformen Strukturen bezüglich Sprachen mit Mächtigkeitsquantoren. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 22 (1976), pp. 215-230.Google Scholar
Weese, M. 1976b Entscheidbarkeit der Theorie der Booleschen Algebren in Sprachen mit Mächtigkeitsquantoren (with Russian and English summaries). Habilitationsschrift, Humboldt-Universität, Berlin, 1976, vi+121 pp.
Weese, M. 1976c The universality of Boolean algebras with the Hdrtig quantifier. 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. 291-296.Google Scholar
Weese, M. 1977a The decidability of the theory of Boolean algebras with the quantifier “there exist infinitely many”. Proceedings of the American Mathematical Society, vol. 64 (1977), pp. 135-138.Google Scholar
Weese, M. 1977b The decidability of the theory of Boolean algebras with cardinality quantifiers (with Russian summary). Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 25 (1977), pp. 93-97.Google Scholar
Weese, M. 1977c The undecidability of well-ordering with the Härtig quantifier (with Russian summary). Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 25 (1977), pp. 89-91.Google Scholar
Weese, M. 1980 Generalized Ehrenfeucht games. Fundamenta Mathematicae, vol. 109 (1980), pp. 103-112.Google Scholar
Weese, M. 1981 Decidability with respect to the Härtig and Rescher quantifiers. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 569-576.Google Scholar
See also: Baudisch, A. and Weese, M. 1977; Baudisch, A., Seese, D. G., Tuschik, H.-P. and Weese, M. 1980; Seese, D. G. and Weese, M. 1977; Seese, D. G. and Weese, M. 1982; Seese, D. G., Tuschik, H.-P. and Weese, M. 1982.
Węglorz, B. See: Waszkiewicz, J. and Weglorz, B. 1969.
Wehrfritz, B. A. F. See: Kegel, O. H. and Wehrfritz, B. A. F. 1973.
Weil, A. 1962 Foundations of Algebraic Geometry. Revised Edition. Annals of Mathematics Studies. Princeton University Press, vol. 29, 1962, xix+363 pp.
Weinstein, J. 1968 (ω 1, ω) properties of unions of models. In: The Syntax and Semantics of Infinitary Languages, edited by Barwise, K. J.. Springer-Verlag Lecture Notes in Mathematics, vol. 72 (1968), pp. 265-268.Google Scholar
Weispfenning, V. B. 1973 Infinitary model-theoretic properties of k-saturated models. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 19 (1973), pp. 97-109.Google Scholar
Westerståhl, D. 1976 Some philosophical aspects of abstract model theory. Technical Report, Institutionen for Filosofi Goteborgs Universitet, 1976, iii+109 pp.
Wimmers, E. L. 1982 Interactions between quantifiers and admissible sets. Doctoral Dissertation, University of Wisconsin, Madison, 1982, 153 pp.
Wojciechowska, A. 1969 Generalized products for Qα-languages. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 17 (1969), pp. 337-339.Google Scholar
Wolter, H. 1972 Untersuchung über Algebren und formalisierte Sprachen höherer Stufen. Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissenschaftliche Reihe, vol. 21 (1972), pp. 487-495.Google Scholar
Wolter, H. 1973 Eine Erweiterung der elementaren Prädikatenlogik, Anwendungen in der Arithmetik und anderen mathematischen Theorien. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 19 (1973), pp. 181-190.Google Scholar
Wolter, H. 1975a Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 321-330.Google Scholar
Wolter, H. 1975b Untersuchungen zu nichtelementaren Logiken. Habilitationss-chrift, Humboldt-Universität, Berlin, 1975, 117 pp.
See also: Hauschild, K. and Wolter, H. 1969; Ilerre, H. and Wolter, H. 1975; Herre, H. and Wolter, H. 1977; Herre, H. and II. Wolter 1978; Herre, H. and Wolter, H. 1979a; Herre, H. and Wolter, H. 1979b; Herrmann, E. and Wolter, H. 1980.
Wolter, H. and Herre, H. 1977 Decidability of the theory of linear order in LQk for regular ωκ. Journal of Symbolic Logic, vol. 42 (1977), p. 452. Abstract.Google Scholar
Wood, C. 1972 Forcing for infinitary languages. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 18 (1972), pp. 385-402.Google Scholar
Woodring, K. See: Weaver, G. and Woodring, K. 1975.
Wright, J. B. See: Thatcher, J. W. and Wright, J. B. 1968.
Yasuhara, M. 1962 On categorical PC classes of an extended first order language. Notices of the American Mathematical Society, vol. 9 (1962), p. 323. Abstract.Google Scholar
Yasuhara, M. 1966a An axiomatic system for first-order languages with an equi-cardinality quantifier. Journal of Symbolic Logic, vol. 31 (1966), pp. 633-640.Google Scholar
Yasuhara, M. 1966b Syntactical and semantical properties of generalized quantifiers. Journal of Symbolic Logic, vol. 31 (1966), pp. 617-632.Google Scholar
Yasuhara, M. 1969 Incompleteness of L p languages. Fundamenta Mathematicae, vol. 66 (1969), pp. 147-152.Google Scholar
Zaiontz, C. 1983 Axiomatization of the monadic theory of ordinals < ω 2. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 29 (1983), pp. 337-356.Google Scholar
See also: Biichi, J. R. and Zaiontz, C. 1983.
Zamjatin, A. P. 1978 A nonabelian variety of groups has an undecidable elementary theory. Algebra and Logic, vol. 17 (1978), pp. 13-17.Google Scholar
Zermelo, E. 1931 Über Stufen der Quantifikation und die Logik des Unendlichen. Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 41/2 (1931), pp. 85-88.Google Scholar
Zermelo, E. 1935 Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme. Fundamenta Mathematicae, vol. 25 (1935), pp. 136-146.Google Scholar
Ziegler, M. 1976 A language for topological structures which satisfies a Lindstrom-theorem. Bulletin of the American Mathematical Society, vol. 82 (1976), pp. 568-570.Google Scholar
Ziegler, M. 1978 Definable bases of monotone systems. In: Logic Colloquium ’77, edited by Macintyre, A. J., Pacholski, L. and Paris, J.B.. North-Holland Publishing Company, 1978, pp. 297-311.Google Scholar
Ziegler, M. 1980 Algebraisch abgeschlossene Gruppen. In: Word Problems II. The Oxford Book, edited by Adian, S.I., Boone, W. W. and Higman, G.. North-Holland Publishing Company, 1980, pp. 449-576.Google Scholar
See also: Ebbinghaus, H. D. and Ziegler, M. 1982; Flum, J. and Ziegler, M. 1980; Makowsky, J.A. and Ziegler, M. 1981; Prestel, A. and Ziegler, M. 1978; Shelah, S. and Ziegler, M. 1979.
Zucker, J. I. 1978 The adequacy problem for classical logic. Journal of Philosophical Logic, vol. 7 (1978), pp. 517-535.Google Scholar

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×