Annals of Mathematical Logic Short Title: Ann. Math. Logic Publisher: North-Holland Publishing Company, Amsterdam ISSN: 0003-4843 Online: http://www.sciencedirect.com/science/journal/00034843 Successor: Annals of Pure and Applied Logic Comments: Journal; No longer indexed Documents Indexed: 224 Publications (1970–1982) all top 5 Latest Issues 23 (1982) 22 (1982) 21 (1981) 20 (1981) 19 (1980) 18 (1980) 17 (1979) 16 (1979) 15 (1978) 14 (1978) 13 (1978) 12 (1977) 11 (1977) 10 (1976) 9 (1976) 8 (1975) 7 (1974/1975) 6 (1973/1974) 5 (1972/1973) 4 (1972) 3 (1971) 2 (1970/1971) 1 (1970) all top 5 Authors 13 Shelah, Saharon 6 Barwise, Kenneth Jon 5 Devlin, Keith J. 4 Baumgartner, James Earl 4 Cherlin, Gregory L. 4 Eklof, Paul C. 4 Jensen, Ronald Björn 4 Kaufmann, Matt 4 Lerman, Manuel 4 Makkai, Michael 4 Solovay, Robert M. 3 Dodd, A. J. 3 Grayson, Robin J. 3 Harrington, Leo A. 3 Kechris, Alexander S. 3 Kueker, David W. 3 Maass, Wolfgang 3 Nerode, Anil 3 Paris, Jeffrey Bruce 3 Remmel, Jeffrey Brian 3 Scarpellini, Bruno 3 Shore, Richard Arnold 2 Adamson, Alan 2 Baldwin, John T. 2 Beeson, Michael J. 2 Benda, Miroslav 2 Cutland, Nigel J. 2 Dawson, John W. jun. 2 Ellentuck, Erik 2 Gabbay, Dov M. 2 Galvin, Fred 2 Givant, Steven R. 2 Gurevich, Yuri 2 Jech, Thomas J. 2 Kanamori, Akihiro 2 Kleinberg, Eugene M. 2 Kunen, Kenneth 2 Magidor, Menachem 2 Marek, V. Wiktor 2 McAloon, Kenneth 2 McKenzie, Ralph N. 2 Metakides, George 2 Nadel, Mark E. 2 Normann, Dag 2 Reinhardt, William N. 2 Sacks, Gerald Enoch 2 Sageev, Gershon 2 Schmerl, James H. 2 Silver, Jack H. 2 Simpson, Stephen G. 2 Smoryński, Craig 2 Stavi, Jonathan 2 Steel, John R. 2 Stern, Jacques 2 Troelstra, Anne Sjerp 2 Truss, John Kenneth 1 Abramson, Fred G. 1 Ajtai, Miklós 1 Alton, Donald A. 1 Apt, Krzysztof Rafal 1 Baudisch, Andreas 1 Baur, Walter 1 Becker, Howard S. 1 Blass, Andreas Raphael 1 Booth, David Douglas 1 Bradford, Robert Earl 1 Bruce, Kim B. 1 Bull, Everett L. jun. 1 Burgess, John P. 1 Case, John 1 Chen, Keh-Hsun 1 Cooper, Stuart Barry 1 de Jongh, Dick Herman Jacobus 1 Dehornoy, Patrick 1 Dekker, Jacob C. E. 1 Dodd, Tony J. 1 Dunham, Bradford 1 Easton, William B. 1 Ellerman, David P. 1 Faust, Don H. 1 Fisher, Edward R. 1 Forrest, William K. 1 Friedman, Harvey M. 1 Friedman, Sy-David 1 Gaifman, Haim 1 Garavaglia, Steven 1 Girard, Jean-Yves 1 Gitik, Moti 1 Gostanian, Richard 1 Grigorieff, Serge 1 Guaspari, David 1 Hay, Louise 1 Hayashi, Susumu 1 Henle, James M. 1 Hintikka, Jaakko 1 Hodges, Wilfrid 1 Homer, Steven 1 Hoover, Douglas N. 1 Hyland, J. Martin E. 1 Jacob, Bill ...and 72 more Authors all top 5 Fields 220 Mathematical logic and foundations (03-XX) 12 General topology (54-XX) 8 General algebraic systems (08-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 5 Combinatorics (05-XX) 5 Field theory and polynomials (12-XX) 5 Commutative algebra (13-XX) 4 Group theory and generalizations (20-XX) 3 Category theory; homological algebra (18-XX) 2 Number theory (11-XX) 2 Associative rings and algebras (16-XX) 2 Functional analysis (46-XX) 2 Probability theory and stochastic processes (60-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Measure and integration (28-XX) 1 Ordinary differential equations (34-XX) 1 Algebraic topology (55-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 214 Publications have been cited 5,243 times in 3,801 Documents Cited by ▼ Year ▼ The fine structure of the constructible hierarchy. With an appendix of J. Silver. Zbl 0257.02035 Jensen, R. Björn 350 1972 Happy families. Zbl 0369.02041 Mathias, A. R. D. 176 1977 Internal Cohen extensions. Zbl 0222.02075 Martin, D. A.; Solovay, R. M. 167 1970 Strong axioms of infinity and elementary embeddings. Zbl 0376.02055 Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro 151 1978 Aronszajn trees and the independence of the transfer property. Zbl 0255.02069 Mitchell, William 126 1972 Model-completions and modules. Zbl 0227.02029 Eklof, Paul; Sabbagh, Gabriel 96 1971 Some combinatorial problems concerning uncountable cardinals. Zbl 0262.02062 Jech, Thomas J. 95 1973 Logic with the quantifier ’There exist uncountably many’. Zbl 0206.27302 Keisler, H. J. 92 1970 Simple unstable theories. Zbl 0489.03008 Shelah, Saharon 88 1980 Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Zbl 0517.03018 Silver, Jack H. 85 1980 Some applications of iterated ultrapowers in set theory. Zbl 0236.02053 Kunen, Kenneth 84 1970 Ultrafilters on a countable set. Zbl 0231.02067 Booth, David 82 1970 Almost-disjoint sets, the dense set problem and the partition calculus. Zbl 0339.04003 Baumgartner, James E. 81 1976 Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Zbl 0281.02052 Shelah, Saharon 80 1971 How large is the first strongly compact cardinal? or: A study on identity crises. Zbl 0342.02051 Magidor, Menachem 78 1976 Powers of regular cardinals. Zbl 0209.30601 Easton, William B. 75 1970 \(\Pi_2^1\)-logic. I: Dilators. Zbl 0496.03037 Girard, Jean-Yves 73 1981 Iterated perfect-set forcing. Zbl 0427.03043 Baumgartner, James E.; Laver, Richard 71 1979 On strong compactness and supercompactness. Zbl 0299.02084 Menas, Telis K. 66 1975 Effective content of field theory. Zbl 0469.03028 Metakides, G.; Nerode, A. 65 1979 Axioms for abstract model theory. Zbl 0324.02034 Barwise, K. Jon 64 1974 Recursively enumerable vector spaces. Zbl 0389.03019 Metakides, G.; Nerode, A. 61 1977 Groups of small Morley rank. Zbl 0427.20001 Cherlin, Gregory 59 1979 Finite diagrams stable in power. Zbl 0204.31104 Shelah, S. 59 1970 The elementary theory of abelian groups. Zbl 0248.02049 Eklof, Paul C.; Fischer, Edward R. 58 1972 A new class of order types. Zbl 0339.04002 Baumgartner, James E. 54 1976 Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101 Kreisel, Georg; Troelstra, A. S. 53 1970 The core model. Zbl 0457.03051 Dodd, A.; Jensen, R. 53 1981 Higher set theory and mathematical practice. Zbl 0215.32702 Friedman, H. M. 50 1971 Completing theories by forcing. Zbl 0222.02058 Barwise, Jon; Robinson, Abraham 45 1970 The correspondence between cut-elimination and normalization. I, II, Errata to part I. Zbl 0298.02023 Zucker, J. 43 1974 A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028 Pour-El, Marian Boykan; Richards, Ian 43 1979 Some applications of model theory in set theory. Zbl 0215.32404 Silver, J. H. 41 1971 The weak truth table degrees of recursively enumerable sets. Zbl 0324.02028 Ladner, Richard E.; Sasso, Leonard P. jun. 40 1975 Perfect-set forcing for uncountable cardinals. Zbl 0453.03056 Kanamori, Akihiro 40 1980 Rosser sentences. Zbl 0426.03062 Guaspari, D.; Solovay, R. M. 39 1979 Adding closed cofinal sequences to large cardinals. Zbl 0502.03028 Radin, Lon Berk 37 1982 Long projective wellorderings. Zbl 0384.03033 Harrington, Leo 36 1977 Probability logic. Zbl 0394.03033 Hoover, Douglas N. 36 1978 Models and types of Peano’s arithmetic. Zbl 0332.02058 Gaifman, Haim 36 1976 Compact extensions of L(Q). Ia. Zbl 0356.02012 Magidor, Menachem; Malitz, Jerome 36 1977 A recursively enumerable degree which will not split over all lesser ones. Zbl 0357.02040 Lachlan, Alistair H. 36 1976 Scott sentences and admissible sets. Zbl 0301.02050 Nadel, Mark 35 1974 Boolean extensions and measurable cardinals. Zbl 0216.01402 Kunen, K.; Paris, J. B. 35 1971 Measure and category in effective descriptive set theory. Zbl 0277.02019 Kechris, Alexander S. 35 1973 Forcing with tagged trees. Zbl 0404.03020 Steel, John R. 34 1978 The theory of Boolean ultrapowers. Zbl 0216.29401 Mansfield, R. 34 1971 Stationary logic. Zbl 0372.02031 Barwise, Jon; Kaufmann, Matt; Makkai, Michael 33 1978 Combinatorics on ideals and forcing. Zbl 0328.02041 Grigorieff, Serge 33 1971 Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047 Statman, Richard 33 1978 Models with second order properties. II: Trees with no undefined branches. Zbl 0383.03019 Shelah, Saharon 32 1978 The \(\alpha\)-finite injury method. Zbl 0262.02037 Sacks, G. E.; Simpson, S. G. 30 1972 Foundations of recursive model theory. Zbl 0432.03018 Millar, Terrence S. 29 1978 Almost sure theories. Zbl 0433.03020 Lynch, James F. 29 1980 Countable approximations and Löwenheim-Skolem theorems. Zbl 0364.02009 Kueker, David W. 29 1977 Filter spaces and continuous functionals. Zbl 0415.03037 Hyland, J. M. E. 29 1979 The covering lemma for L[U]. Zbl 0522.03037 Dodd, A. J.; Jensen, R. B. 28 1982 Adding dependent choice. Zbl 0365.02052 Pincus, David 28 1977 Consistency results about ordinal definability. Zbl 0225.02044 McAloon, Kenneth 28 1971 Some strong axioms of infinity incompatible with the axiom of constructibility. Zbl 0274.02034 Rowbottom, Frederick 28 1971 \(\Delta\)-logics and generalized quantifiers. Zbl 0346.02007 Makowsky, J. A.; Shelah, Saharon; Stavi, Jonathan 27 1976 Models with compactness properties relative to an admissible language. Zbl 0376.02032 Ressayre, J. P. 27 1977 The covering lemma for K. Zbl 0492.03014 Dodd, Tony; Jensen, Ronald 27 1982 Morasses, diamond, and forcing. Zbl 0521.03034 Velleman, Daniel J. 26 1982 Strong compactness and other cardinal sins. Zbl 0257.02055 Ketonen, Jussi 26 1972 Normalization as a homomorphic image of cut-elimination. Zbl 0378.02017 Pottinger, Garrel 25 1977 Functional completeness of cartesian categories. Zbl 0282.18004 Lambek, J. 25 1974 On the completeness principle: A study of provability in Heyting’s arithmetic and extensions. Zbl 0505.03026 Visser, Albert 25 1982 An interpretation of intuitionistic analysis. Zbl 0399.03049 van Dalen, Dirk 24 1978 On the length of Borel hierarchies. Zbl 0415.03038 Miller, Arnold W. 23 1979 Enumeration reducibility and partial degrees. Zbl 0223.02046 Case, John 23 1971 Infinitary properties of abelian torsion groups. Zbl 0222.02014 Barwise, Jon; Eklof, Paul 22 1970 Automorphisms of the lattice of recursively enumerable sets. II: Low sets. Zbl 0526.03022 Soare, Robert I. 22 1982 Some weak versions of large cardinal axioms. Zbl 0279.02051 Devlin, Keith J. 22 1973 Reducibility orderings: Theories, definability and automorphisms. Zbl 0494.03028 Nerode, Anil; Shore, Richard A. 22 1980 Horn sentences. Zbl 0206.27801 Galvin, F. 21 1970 Some constructions of compact algebras. Zbl 0239.08003 Taylor, Walter 21 1971 Trees, subtrees and order types. Zbl 0469.03036 Todorcevic, Stevo B. 21 1981 Definability in lattices of equational theories. Zbl 0328.02038 McKenzie, Ralph 20 1971 On the determinacy of games on ordinals. Zbl 0489.03018 Harrington, Leo A.; Kechris, A. S. 20 1981 Some applications of model theory in Banach space theory. Zbl 0378.02026 Stern, Jacques 19 1976 Flipping properties: A unifying thread in the theory of large cardinals. Zbl 0374.02040 Abramson, F. G.; Harrington, L. A.; Kleinberg, E. M.; Zwicker, W. S. 19 1977 Universal Horn classes categorical or free in power. Zbl 0401.03009 Givant, Steven 19 1978 Superstable fields and groups. Zbl 0475.03012 Cherlin, G.; Shelah, S. 19 1980 Monadic theory of order and topology in ZFC. Zbl 0516.03007 Gurevich, Yuri; Shelah, Saharon 19 1982 Iterated ultrapowers and Prikry forcing. Zbl 0417.03025 Dehornoy, Patrick 18 1978 A degree-theoretic definition of the ramified analytical hierarchy. Zbl 0333.02039 Jockusch, Carl G. jun.; Simpson, Stephen G. 18 1976 The decision problem for equational bases of algebras. Zbl 0376.08005 McNulty, George F. 18 1976 Categoricity and stability of commutative rings. Zbl 0326.02041 Cherlin, Gregory L.; Reineke, Joachim 16 1976 The recursively enumerable \(\alpha\)-degrees are dense. Zbl 0374.02022 Shore, Richard A. 16 1976 Absolute logics and L\(_{\infty \omega}\). Zbl 0248.02061 Barwise, K. Jon 16 1972 Recursive models for constructive set theories. Zbl 0514.03039 Beeson, M. 16 1982 Sheaves of structures and generalized ultraproducts. Zbl 0295.02031 Ellerman, David P. 15 1974 Infinitary intuitionistic logic from a classical point of view. Zbl 0406.03055 Nadel, Mark E. 15 1978 An independence result concerning the axiom of choice. Zbl 0306.02060 Sageev, Gershon 14 1975 Principles of continuous choice and continuity of functions in formal systems for constructive mathematics. Zbl 0393.03012 Beeson, Michael J. 14 1977 \(\aleph_1\)-trees. Zbl 0397.03035 Devlin, Keith J. 14 1978 Ultrafilters over a measurable cardinal. Zbl 0345.02050 Kanamori, A. 13 1976 Ackermann’s set theory equals ZF. Zbl 0211.30901 Reinhardt, W. N. 13 1970 Local definability theory. Zbl 0217.30501 Reyes, G. E. 13 1970 Adding closed cofinal sequences to large cardinals. Zbl 0502.03028 Radin, Lon Berk 37 1982 The covering lemma for L[U]. Zbl 0522.03037 Dodd, A. J.; Jensen, R. B. 28 1982 The covering lemma for K. Zbl 0492.03014 Dodd, Tony; Jensen, Ronald 27 1982 Morasses, diamond, and forcing. Zbl 0521.03034 Velleman, Daniel J. 26 1982 On the completeness principle: A study of provability in Heyting’s arithmetic and extensions. Zbl 0505.03026 Visser, Albert 25 1982 Automorphisms of the lattice of recursively enumerable sets. II: Low sets. Zbl 0526.03022 Soare, Robert I. 22 1982 Monadic theory of order and topology in ZFC. Zbl 0516.03007 Gurevich, Yuri; Shelah, Saharon 19 1982 Recursive models for constructive set theories. Zbl 0514.03039 Beeson, M. 16 1982 Decidability and stability of free nilpotent Lie algebras and free nilpotent p-groups of finite exponent. Zbl 0499.03016 Baudisch, Andreas 10 1982 A very absolute \(\Pi_ 2^ 1\) real singleton. Zbl 0519.03038 David, Rene 8 1982 Some applications of Jensen’s coding theorem. Zbl 0489.03021 David, R. 7 1982 Concepts of general topology in constructive mathematics and in sheaves. II. Zbl 0495.03040 Grayson, R. J. 7 1982 Compactness, interpolation and Friedman’s third problem. Zbl 0495.03020 Mundici, Daniele 6 1982 Chains in Boolean algebras. Zbl 0499.06011 McKenzie, Ralph; Monk, J. Donald 6 1982 Determinacy in the Mitchell models. Zbl 0573.03026 Steel, John R. 6 1982 \(\Delta_ 3^ 1\) reals. Zbl 0519.03039 David, Rene 5 1982 Steel forcing and Barwise compactness. Zbl 0501.03032 Friedman, Sy D. 4 1982 On Martin’s conjecture. Zbl 0523.03018 Wagner, C. M. 3 1982 Reflection and partition properties of admissible ordinals. Zbl 0494.03030 Kranakis, Evangelos 2 1982 The Boolean algebra of formulas of first-order logic. Zbl 0501.03005 Faust, Don H. 1 1982 \(\Pi_2^1\)-logic. I: Dilators. Zbl 0496.03037 Girard, Jean-Yves 73 1981 The core model. Zbl 0457.03051 Dodd, A.; Jensen, R. 53 1981 Trees, subtrees and order types. Zbl 0469.03036 Todorcevic, Stevo B. 21 1981 On the determinacy of games on ordinals. Zbl 0489.03018 Harrington, Leo A.; Kechris, A. S. 20 1981 Infinite games and reduced products. Zbl 0501.03014 Hodges, Wilfrid; Shelah, Saharon 12 1981 Concepts of general topology in constructive mathematics and in sheaves. Zbl 0458.03015 Grayson, R. J. 9 1981 A correction to ”Stationary logic”. Zbl 0457.03034 Barwise, Jon; Kaufmann, Matt; Makkai, Michael 8 1981 Algebraically prime models. Zbl 0494.03024 Baldwin, John T.; Kueker, David W. 8 1981 On non-minimal p-points over a measurable cardinal. Zbl 0481.03032 Gitik, Moti 6 1981 The continuous functionals; computations, recursions and degrees. Zbl 0472.03037 Normann, Dag 3 1981 Transfinite descending sequences of models \(HOD^\alpha\). Zbl 0483.03033 Zadrozny, Wlodzimierz 3 1981 A model of ZF+there exists an inaccessible, in which the Dedekind cardinals constitute a natural non-standard model of arithmetic. Zbl 0523.03038 Sageev, Gershon 2 1981 Filter logics: Filters on \(omega_ 1\). Zbl 0467.03030 Kaufmann, Matt 1 1981 Recursively invariant beta-recursion theory. Zbl 0482.03021 Maass, Wolfgang 1 1981 Simple unstable theories. Zbl 0489.03008 Shelah, Saharon 88 1980 Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Zbl 0517.03018 Silver, Jack H. 85 1980 Perfect-set forcing for uncountable cardinals. Zbl 0453.03056 Kanamori, Akihiro 40 1980 Almost sure theories. Zbl 0433.03020 Lynch, James F. 29 1980 Reducibility orderings: Theories, definability and automorphisms. Zbl 0494.03028 Nerode, Anil; Shore, Richard A. 22 1980 Superstable fields and groups. Zbl 0475.03012 Cherlin, G.; Shelah, S. 19 1980 Superstable fields and groups. Zbl 0467.03025 Cherlin, G.; Shelah, S. 12 1980 Recursion theory on algebraic structures with independent sets. Zbl 0471.03037 Remmel, J. B. 11 1980 On the elementary theory of quadruples of vector spaces. Zbl 0453.03010 Baur, Walter 11 1980 Effective partitions of the real line into Borel sets of bounded rank. Zbl 0522.03032 Stern, Jacques 7 1980 Boolean valued models and generalized quantifiers. Zbl 0484.03017 Vaeaenaenen, Jouko 5 1980 Thin collections of sets of projective ordinals and analogs of L. Zbl 0453.03050 Becker, Howard 4 1980 Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice. Zbl 0457.03054 Hayashi, Susumu 3 1980 Concerning the consistency of the Souslin hypothesis with the continuum hypothesis. Zbl 0469.03034 Devlin, Keith J. 3 1980 Interpretations of Heyting’s arithmetic - An analysis by means of a language with set symbols. Zbl 0453.03062 Stein, Martin 1 1980 Saturated structures, unions of chains, and preservation theorems. Zbl 0471.03043 Adamson, Alan 1 1980 Countable models of \(omega_ 1-\)categorical theories in admissible languages. Zbl 0478.03016 Kierstead, Henry A. 1 1980 Iterated perfect-set forcing. Zbl 0427.03043 Baumgartner, James E.; Laver, Richard 71 1979 Effective content of field theory. Zbl 0469.03028 Metakides, G.; Nerode, A. 65 1979 Groups of small Morley rank. Zbl 0427.20001 Cherlin, Gregory 59 1979 A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028 Pour-El, Marian Boykan; Richards, Ian 43 1979 Rosser sentences. Zbl 0426.03062 Guaspari, D.; Solovay, R. M. 39 1979 Filter spaces and continuous functionals. Zbl 0415.03037 Hyland, J. M. E. 29 1979 On the length of Borel hierarchies. Zbl 0415.03038 Miller, Arnold W. 23 1979 Universal equational theories and varieties of algebras. Zbl 0436.03021 Pigozzi, Don 13 1979 Stationary logic of finitely determinate structures. Zbl 0448.03025 Eklof, Paul C.; Mekler, Alan H. 11 1979 A representation theorem for universal Horn classes categorical in power. Zbl 0436.03020 Givant, Steven 10 1979 Regularity properties of ideals and ultrafilters. Zbl 0411.03042 Taylor, Alan D. 9 1979 Researches into the world of \(\kappa\to(\kappa)^\kappa\). Zbl 0426.03055 Henle, J. M. 9 1979 Model-complete theories of pseudo-algebraically closed fields. Zbl 0473.03029 Wheeler, William H. 8 1979 Progress report on generalized functionality. Zbl 0442.03014 Seldin, Jonathan P. 6 1979 Substructure lattices of models of arithmetic. Zbl 0427.03057 Mills, George 5 1979 Isomorphism and higher order equivalence. Zbl 0415.03044 Ajtai, M. 4 1979 The next admissible ordinal. Zbl 0424.03024 Gostanian, Richard 4 1979 Some applications of Kripke models to formal systems of intuitionistic analysis. Zbl 0431.03037 Weinstein, Scott 2 1979 On \(\alpha\)- and \(\beta\)-recursively enumerable degrees. Zbl 0441.03017 Maass, Wolfgang 2 1979 Finite injury arguments in infinite computation theories. Zbl 0417.03019 Stoltenberg-Hansen, Viggo 1 1979 Strong axioms of infinity and elementary embeddings. Zbl 0376.02055 Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro 151 1978 Probability logic. Zbl 0394.03033 Hoover, Douglas N. 36 1978 Forcing with tagged trees. Zbl 0404.03020 Steel, John R. 34 1978 Stationary logic. Zbl 0372.02031 Barwise, Jon; Kaufmann, Matt; Makkai, Michael 33 1978 Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047 Statman, Richard 33 1978 Models with second order properties. II: Trees with no undefined branches. Zbl 0383.03019 Shelah, Saharon 32 1978 Foundations of recursive model theory. Zbl 0432.03018 Millar, Terrence S. 29 1978 An interpretation of intuitionistic analysis. Zbl 0399.03049 van Dalen, Dirk 24 1978 Universal Horn classes categorical or free in power. Zbl 0401.03009 Givant, Steven 19 1978 Iterated ultrapowers and Prikry forcing. Zbl 0417.03025 Dehornoy, Patrick 18 1978 Infinitary intuitionistic logic from a classical point of view. Zbl 0406.03055 Nadel, Mark E. 15 1978 \(\aleph_1\)-trees. Zbl 0397.03035 Devlin, Keith J. 14 1978 Models with second order properties. I: Boolean algebras with no definable automorphisms. Zbl 0383.03018 Shelah, Saharon 12 1978 Recursively enumerable Boolean algebras. Zbl 0413.03027 Remmel, J. B. 12 1978 Successive large cardinals. Zbl 0402.03048 Bull, Everett L. jun. 11 1978 Generalized Erdős cardinals and \(\square\#\). Zbl 0437.03028 Baumgartner, James E.; Galvin, Fred 9 1978 Model theory of topological structures. Zbl 0409.03041 Garavaglia, Steven 8 1978 Appendix to ”Models with second order properties. II: Trees with no undefined branches”. Zbl 0383.03020 Shelah, Saharon 7 1978 Model-theoretic forcing in logic with a generalized quantifier. Zbl 0436.03025 Bruce, Kim B. 7 1978 Recursive well-founded orderings. Zbl 0384.03027 Chen, Keh-Hsun 6 1978 Inadmissibility, tame r.e. sets and the admissible collapse. Zbl 0385.03034 Maass, Wolfgang 6 1978 Consistency proofs in model theory: A contribution to Jensenlehre. Zbl 0384.03035 Burgess, John P. 5 1978 On elementary theories of some lattices of \(\alpha\)-recursively enumerable sets. Zbl 0391.03022 Lerman, Manuel 3 1978 Compactness for omitting of types. Zbl 0384.03037 Benda, Miroslav 3 1978 Admissible sets and the saturation of structures. Zbl 0395.03025 Adamson, Alan 3 1978 Countable ordinals and the analytical hierarchy. II. Zbl 0449.03047 Kechris, Alexander S. 3 1978 The axiomatization problem for fragments. Zbl 0395.03039 Smorynski, C. 2 1978 Extending models of arithmetic. Zbl 0389.03028 Schmerl, James H. 1 1978 Happy families. Zbl 0369.02041 Mathias, A. R. D. 176 1977 ...and 114 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,080 Authors 217 Shelah, Saharon 68 Apter, Arthur W. 63 Friedman, Sy-David 46 Downey, Rodney Graham 43 Magidor, Menachem 38 Shore, Richard Arnold 29 Gitik, Moti 28 Cummings, James 28 Rinot, Assaf 27 Matet, Pierre 25 Todorcevic, Stevo B. 24 Hamkins, Joel David 21 Baldwin, John T. 21 Kechris, Alexander S. 21 Tachtsis, Eleftherios 20 Kanovei, Vladimir G. 20 Väänänen, Jouko Antero 19 Hayut, Yair 19 Montalbán, Antonio 19 Pillay, Anand 18 Bagaria, Joan 18 Blass, Andreas Raphael 18 Enayat, Ali 18 Hyttinen, Tapani 18 Lücke, Philipp Moritz 18 Mitchell, William John 17 Jech, Thomas J. 17 Miller, Arnold W. 17 Slaman, Theodore A. 16 Di Prisco, Carlos Augusto 16 Harizanov, Valentina S. 16 Knight, Julia F. 16 Koepke, Peter 16 Lempp, Steffen 16 Rathjen, Michael 15 Dow, Alan S. 15 Fischer, Vera 15 Freund, Anton 15 Garti, Shimon 15 Henle, James M. 15 Hrušák, Michael 15 Koszmider, Piotr B. 15 Schmerl, James H. 14 Ben-Neria, Omer 14 Foreman, Matthew D. 14 Fuchs, Gunter 14 Greenberg, Noam 14 Hjorth, Gregory 14 Kanamori, Akihiro 14 Krueger, John 14 Remmel, Jeffrey Brian 14 Schlicht, Philipp 14 Visser, Albert 13 Becker, Howard S. 13 Honzik, Radek 13 Lambie-Hanson, Chris 13 Melnikov, Alexander G. 13 Mildenberger, Heike 13 Miller, Russell G. 13 Schimmerling, Ernest 13 Schindler, Ralf-Dieter 13 Steel, John R. 13 Unger, Spencer T. 12 Baumgartner, James Earl 12 Cherlin, Gregory L. 12 Cody, Brent M. 12 Guzmán González, Osvaldo 12 Kaplan, Itay 12 Komjáth, Péter 12 Malliaris, Maryanthe Elizabeth 12 Neeman, Itay 12 Prest, Mike 12 Prikry, Karel 12 Sinapova, Dima 12 Taylor, Walter F. 12 Usuba, Toshimichi 12 Welch, Philip D. 11 Aguilera, Juan Pablo 11 Chernikov, Artem 11 Chong, Chi Tat 11 Eskew, Monroe 11 Gitman, Victoria 11 Hirschfeldt, Denis Roman 11 Kunen, Kenneth 11 Lyubetsky, Vassily Aleksandrovich 11 Steprāns, Juris 11 Tall, Franklin D. 11 Toffalori, Carlo 10 Ambos-Spies, Klaus 10 Eklof, Paul C. 10 Golshani, Mohammad 10 Holy, Peter 10 Keisler, Howard Jerome 10 Kim, Byunghan 10 Miller, Benjamin David 10 Montagna, Franco 10 Weiermann, Andreas 10 Zeman, Martin 9 Abraham, Uri 9 Cenzer, Douglas ...and 1,980 more Authors all top 5 Cited in 227 Journals 731 The Journal of Symbolic Logic 521 Annals of Pure and Applied Logic 227 Israel Journal of Mathematics 209 Archive for Mathematical Logic 173 Transactions of the American Mathematical Society 168 Proceedings of the American Mathematical Society 103 Topology and its Applications 93 Mathematical Logic Quarterly (MLQ) 84 The Bulletin of Symbolic Logic 72 Advances in Mathematics 69 Algebra Universalis 68 Journal of Mathematical Logic 52 Journal of Algebra 49 Algebra and Logic 47 Notre Dame Journal of Formal Logic 45 Theoretical Computer Science 43 Fundamenta Mathematicae 41 Studia Logica 39 Archiv für Mathematische Logik und Grundlagenforschung 31 Journal of Pure and Applied Algebra 23 Journal of Philosophical Logic 21 Siberian Mathematical Journal 19 Communications in Algebra 16 Journal of Mathematical Analysis and Applications 16 Acta Mathematica Hungarica 16 Information and Computation 16 Journal of the American Mathematical Society 14 Journal of Soviet Mathematics 14 Bulletin of the American Mathematical Society. New Series 14 The Review of Symbolic Logic 13 Mathematical Notes 13 Synthese 12 Mathematical Proceedings of the Cambridge Philosophical Society 12 Czechoslovak Mathematical Journal 12 Mathematische Zeitschrift 11 Model Theory 10 Compositio Mathematica 10 Order 10 Bulletin of the American Mathematical Society 9 Bulletin of the Polish Academy of Sciences, Mathematics 9 Logica Universalis 9 Forum of Mathematics, Sigma 8 Periodica Mathematica Hungarica 8 Archiv der Mathematik 8 Journal of Functional Analysis 8 Journal of the London Mathematical Society. Second Series 8 Memoirs of the American Mathematical Society 8 Semigroup Forum 8 Mathematical Structures in Computer Science 8 Journal of Mathematical Sciences (New York) 8 Logical Methods in Computer Science 7 Discrete Mathematics 7 Bulletin of the London Mathematical Society 7 Journal of Computer and System Sciences 7 Rendiconti del Seminario Matematico della Università di Padova 7 Mathematical Social Sciences 7 History and Philosophy of Logic 7 Journal of Symbolic Computation 7 European Journal of Mathematics 6 Bulletin of the Australian Mathematical Society 6 Applied Mathematics and Computation 6 Journal of the Mathematical Society of Japan 6 Monatshefte für Mathematik 6 Nagoya Mathematical Journal 6 Publications of the Research Institute for Mathematical Sciences, Kyoto University 6 International Journal of Algebra and Computation 6 ACM Transactions on Computational Logic 5 Fuzzy Sets and Systems 5 Journal of Combinatorial Theory. Series A 5 Manuscripta Mathematica 5 Mathematika 5 Journal of Automated Reasoning 5 Random Structures & Algorithms 5 Indagationes Mathematicae. New Series 5 Journal of the European Mathematical Society (JEMS) 5 Bollettino dell’Unione Matematica Italiana 4 Rocky Mountain Journal of Mathematics 4 Commentationes Mathematicae Universitatis Carolinae 4 Journal of Mathematical Economics 4 Quaestiones Mathematicae 4 Acta Mathematica Sinica. New Series 4 Annals of Mathematics and Artificial Intelligence 4 Journal of Applied Analysis 4 Lobachevskii Journal of Mathematics 4 Journal of Applied Logic 4 Sarajevo Journal of Mathematics 3 Acta Mathematica Academiae Scientiarum Hungaricae 3 Artificial Intelligence 3 Acta Mathematica 3 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 3 Canadian Journal of Mathematics 3 Colloquium Mathematicum 3 Mathematische Annalen 3 Mathematica Slovaca 3 Results in Mathematics 3 Tsukuba Journal of Mathematics 3 Advances in Applied Mathematics 3 Combinatorica 3 Journal of Complexity ...and 127 more Journals all top 5 Cited in 53 Fields 3,436 Mathematical logic and foundations (03-XX) 329 General topology (54-XX) 246 Group theory and generalizations (20-XX) 192 Order, lattices, ordered algebraic structures (06-XX) 182 Computer science (68-XX) 127 Combinatorics (05-XX) 117 General algebraic systems (08-XX) 99 Category theory; homological algebra (18-XX) 93 Measure and integration (28-XX) 82 Associative rings and algebras (16-XX) 80 Functional analysis (46-XX) 68 Field theory and polynomials (12-XX) 56 Commutative algebra (13-XX) 42 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 41 History and biography (01-XX) 33 Real functions (26-XX) 29 Probability theory and stochastic processes (60-XX) 25 Number theory (11-XX) 24 General and overarching topics; collections (00-XX) 21 Topological groups, Lie groups (22-XX) 17 Dynamical systems and ergodic theory (37-XX) 13 Algebraic geometry (14-XX) 11 Ordinary differential equations (34-XX) 10 Operator theory (47-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 7 Quantum theory (81-XX) 6 Sequences, series, summability (40-XX) 5 Abstract harmonic analysis (43-XX) 5 Numerical analysis (65-XX) 5 Information and communication theory, circuits (94-XX) 4 Partial differential equations (35-XX) 4 Geometry (51-XX) 4 Algebraic topology (55-XX) 4 Manifolds and cell complexes (57-XX) 3 Nonassociative rings and algebras (17-XX) 3 Approximations and expansions (41-XX) 3 Convex and discrete geometry (52-XX) 3 Mechanics of particles and systems (70-XX) 2 Functions of a complex variable (30-XX) 2 Differential geometry (53-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Statistics (62-XX) 2 Relativity and gravitational theory (83-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 \(K\)-theory (19-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Difference and functional equations (39-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral equations (45-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) Citations by Year