## 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: 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 B. 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 David, Rene 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 H. J. 1 Dehornoy, Patrick 1 Dekker, Jacob C. E. 1 Dodd, Tony J. 1 Dunham, Bradford 1 Easton, W. 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. ...and 73 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)

### Citations contained in zbMATH Open

214 Publications have been cited 4,690 times in 3,397 Documents Cited by Year
The fine structure of the constructible hierarchy. With an appendix of J. Silver. Zbl 0257.02035
Jensen, R. Björn
1972
Internal Cohen extensions. Zbl 0222.02075
Martin, D. A.; Solovay, R. M.
1970
Happy families. Zbl 0369.02041
Mathias, A. R. D.
1977
Strong axioms of infinity and elementary embeddings. Zbl 0376.02055
Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro
1978
Aronszajn trees and the independence of the transfer property. Zbl 0255.02069
Mitchell, William
1972
Model-completions and modules. Zbl 0227.02029
Eklof, Paul; Sabbagh, Gabriel
1971
Logic with the quantifier ’There exist uncountably many’. Zbl 0206.27302
Keisler, H. J.
1970
Some combinatorial problems concerning uncountable cardinals. Zbl 0262.02062
Jech, Thomas J.
1973
Simple unstable theories. Zbl 0489.03008
Shelah, Saharon
1980
Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Zbl 0517.03018
Silver, Jack H.
1980
Some applications of iterated ultrapowers in set theory. Zbl 0236.02053
Kunen, Kenneth
1970
Almost-disjoint sets, the dense set problem and the partition calculus. Zbl 0339.04003
Baumgartner, James E.
1976
Ultrafilters on a countable set. Zbl 0231.02067
Booth, David
1970
How large is the first strongly compact cardinal? or: A study on identity crises. Zbl 0342.02051
Magidor, Menachem
1976
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Zbl 0281.02052
Shelah, Saharon
1971
Powers of regular cardinals. Zbl 0209.30601
Easton, W. B.
1970
Iterated perfect-set forcing. Zbl 0427.03043
Baumgartner, James E.; Laver, Richard
1979
Effective content of field theory. Zbl 0469.03028
Metakides, G.; Nerode, A.
1979
Recursively enumerable vector spaces. Zbl 0389.03019
Metakides, G.; Nerode, A.
1977
On strong compactness and supercompactness. Zbl 0299.02084
Menas, Telis K.
1975
Axioms for abstract model theory. Zbl 0324.02034
Barwise, K. Jon
1974
The elementary theory of abelian groups. Zbl 0248.02049
Eklof, Paul C.; Fischer, Edward R.
1972
Finite diagrams stable in power. Zbl 0204.31104
Shelah, S.
1970
Groups of small Morley rank. Zbl 0427.20001
Cherlin, Gregory
1979
A new class of order types. Zbl 0339.04002
Baumgartner, James E.
1976
The core model. Zbl 0457.03051
Dodd, A.; Jensen, R.
1981
Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101
Kreisel, Georg; Troelstra, A. S.
1970
Completing theories by forcing. Zbl 0222.02058
Barwise, Jon; Robinson, Abraham
1970
Higher set theory and mathematical practice. Zbl 0215.32702
Friedman, H. M.
1971
$$\Pi_2^1$$-logic. I: Dilators. Zbl 0496.03037
Girard, Jean-Yves
1981
The weak truth table degrees of recursively enumerable sets. Zbl 0324.02028
Ladner, Richard E.; Sasso, Leonard P. jun.
1975
A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028
Pour-El, Marian Boykan; Richards, Ian
1979
The correspondence between cut-elimination and normalization. I, II, Errata to part I. Zbl 0298.02023
Zucker, J.
1974
Some applications of model theory in set theory. Zbl 0215.32404
Silver, J. H.
1971
Compact extensions of L(Q). Ia. Zbl 0356.02012
Magidor, Menachem; Malitz, Jerome
1977
Scott sentences and admissible sets. Zbl 0301.02050
1974
Models and types of Peano’s arithmetic. Zbl 0332.02058
Gaifman, Haim
1976
Rosser sentences. Zbl 0426.03062
Guaspari, D.; Solovay, R. M.
1979
Perfect-set forcing for uncountable cardinals. Zbl 0453.03056
Kanamori, Akihiro
1980
A recursively enumerable degree which will not split over all lesser ones. Zbl 0357.02040
Lachlan, Alistair H.
1976
Measure and category in effective descriptive set theory. Zbl 0277.02019
Kechris, Alexander S.
1973
Boolean extensions and measurable cardinals. Zbl 0216.01402
Kunen, K.; Paris, J. B.
1971
Adding closed cofinal sequences to large cardinals. Zbl 0502.03028
1982
Long projective wellorderings. Zbl 0384.03033
Harrington, Leo
1977
Probability logic. Zbl 0394.03033
Hoover, Douglas N.
1978
Forcing with tagged trees. Zbl 0404.03020
Steel, John R.
1978
Stationary logic. Zbl 0372.02031
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
1978
The $$\alpha$$-finite injury method. Zbl 0262.02037
Sacks, G. E.; Simpson, S. G.
1972
Models with second order properties. II: Trees with no undefined branches. Zbl 0383.03019
Shelah, Saharon
1978
The theory of Boolean ultrapowers. Zbl 0216.29401
Mansfield, R.
1971
Combinatorics on ideals and forcing. Zbl 0328.02041
Grigorieff, Serge
1971
Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047
Statman, Richard
1978
Models with compactness properties relative to an admissible language. Zbl 0376.02032
Ressayre, J. P.
1977
Countable approximations and Löwenheim-Skolem theorems. Zbl 0364.02009
Kueker, David W.
1977
Foundations of recursive model theory. Zbl 0432.03018
Millar, Terrence S.
1978
Almost sure theories. Zbl 0433.03020
Lynch, James F.
1980
Some strong axioms of infinity incompatible with the axiom of constructibility. Zbl 0274.02034
Rowbottom, Frederick
1971
$$\Delta$$-logics and generalized quantifiers. Zbl 0346.02007
Makowsky, J. A.; Shelah, Saharon; Stavi, Jonathan
1976
Filter spaces and continuous functionals. Zbl 0415.03037
Hyland, J. M. E.
1979
Morasses, diamond, and forcing. Zbl 0521.03034
Velleman, Daniel J.
1982
The covering lemma for K. Zbl 0492.03014
Dodd, Tony; Jensen, Ronald
1982
The covering lemma for L[U]. Zbl 0522.03037
Dodd, A. J.; Jensen, R. B.
1982
Strong compactness and other cardinal sins. Zbl 0257.02055
Ketonen, Jussi
1972
Infinitary properties of abelian torsion groups. Zbl 0222.02014
Barwise, Jon; Eklof, Paul
1970
Enumeration reducibility and partial degrees. Zbl 0223.02046
Case, John
1971
Consistency results about ordinal definability. Zbl 0225.02044
McAloon, Kenneth
1971
Reducibility orderings: Theories, definability and automorphisms. Zbl 0494.03028
Nerode, Anil; Shore, Richard A.
1980
Automorphisms of the lattice of recursively enumerable sets. II: Low sets. Zbl 0526.03022
Soare, Robert I.
1982
Horn sentences. Zbl 0206.27801
Galvin, F.
1970
Normalization as a homomorphic image of cut-elimination. Zbl 0378.02017
Pottinger, Garrel
1977
Some weak versions of large cardinal axioms. Zbl 0279.02051
Devlin, Keith J.
1973
Functional completeness of cartesian categories. Zbl 0282.18004
Lambek, J.
1974
An interpretation of intuitionistic analysis. Zbl 0399.03049
van Dalen, Dirk
1978
On the length of Borel hierarchies. Zbl 0415.03038
Miller, Arnold W.
1979
Some constructions of compact algebras. Zbl 0239.08003
Taylor, Walter
1971
On the completeness principle: A study of provability in Heyting’s arithmetic and extensions. Zbl 0505.03026
Visser, Albert
1982
Definability in lattices of equational theories. Zbl 0328.02038
McKenzie, Ralph
1971
Trees, subtrees and order types. Zbl 0469.03036
Todorcevic, Stevo B.
1981
On the determinacy of games on ordinals. Zbl 0489.03018
Harrington, Leo A.; Kechris, A. S.
1981
Adding dependent choice. Zbl 0365.02052
Pincus, David
1977
Monadic theory of order and topology in ZFC. Zbl 0516.03007
Gurevich, Yuri; Shelah, Saharon
1982
The decision problem for equational bases of algebras. Zbl 0376.08005
McNulty, George F.
1976
Some applications of model theory in Banach space theory. Zbl 0378.02026
Stern, Jacques
1976
Universal Horn classes categorical or free in power. Zbl 0401.03009
Givant, Steven
1978
The recursively enumerable $$\alpha$$-degrees are dense. Zbl 0374.02022
Shore, Richard A.
1976
A degree-theoretic definition of the ramified analytical hierarchy. Zbl 0333.02039
Jockusch, Carl G. jun.; Simpson, Stephen G.
1976
Superstable fields and groups. Zbl 0475.03012
Cherlin, G.; Shelah, S.
1980
Absolute logics and L$$_{\infty \omega}$$. Zbl 0248.02061
Barwise, K. Jon
1972
Categoricity and stability of commutative rings. Zbl 0326.02041
Cherlin, Gregory L.; Reineke, Joachim
1976
Recursive models for constructive set theories. Zbl 0514.03039
Beeson, M.
1982
Sheaves of structures and generalized ultraproducts. Zbl 0295.02031
Ellerman, David P.
1974
Principles of continuous choice and continuity of functions in formal systems for constructive mathematics. Zbl 0393.03012
Beeson, Michael J.
1977
Local definability theory. Zbl 0217.30501
Reyes, G. E.
1970
An independence result concerning the axiom of choice. Zbl 0306.02060
Sageev, Gershon
1975
Universal equational theories and varieties of algebras. Zbl 0436.03021
Pigozzi, Don
1979
On a problem of Gillman and Keisler. Zbl 0209.30701
Prikry, K.
1970
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.
1977
Infinite games and reduced products. Zbl 0501.03014
Hodges, Wilfrid; Shelah, Saharon
1981
Models with second order properties. I: Boolean algebras with no definable automorphisms. Zbl 0383.03018
Shelah, Saharon
1978
Recursively enumerable Boolean algebras. Zbl 0413.03027
Remmel, J. B.
1978
Adding closed cofinal sequences to large cardinals. Zbl 0502.03028
1982
Morasses, diamond, and forcing. Zbl 0521.03034
Velleman, Daniel J.
1982
The covering lemma for K. Zbl 0492.03014
Dodd, Tony; Jensen, Ronald
1982
The covering lemma for L[U]. Zbl 0522.03037
Dodd, A. J.; Jensen, R. B.
1982
Automorphisms of the lattice of recursively enumerable sets. II: Low sets. Zbl 0526.03022
Soare, Robert I.
1982
On the completeness principle: A study of provability in Heyting’s arithmetic and extensions. Zbl 0505.03026
Visser, Albert
1982
Monadic theory of order and topology in ZFC. Zbl 0516.03007
Gurevich, Yuri; Shelah, Saharon
1982
Recursive models for constructive set theories. Zbl 0514.03039
Beeson, M.
1982
Decidability and stability of free nilpotent Lie algebras and free nilpotent p-groups of finite exponent. Zbl 0499.03016
Baudisch, Andreas
1982
A very absolute $$\Pi_ 2^ 1$$ real singleton. Zbl 0519.03038
David, Rene
1982
Concepts of general topology in constructive mathematics and in sheaves. II. Zbl 0495.03040
Grayson, R. J.
1982
Some applications of Jensen’s coding theorem. Zbl 0489.03021
David, R.
1982
Determinacy in the Mitchell models. Zbl 0573.03026
Steel, John R.
1982
Compactness, interpolation and Friedman’s third problem. Zbl 0495.03020
Mundici, Daniele
1982
Chains in Boolean algebras. Zbl 0499.06011
McKenzie, Ralph; Monk, J. Donald
1982
$$\Delta_ 3^ 1$$ reals. Zbl 0519.03039
David, Rene
1982
Steel forcing and Barwise compactness. Zbl 0501.03032
Friedman, Sy D.
1982
On Martin’s conjecture. Zbl 0523.03018
Wagner, C. M.
1982
Reflection and partition properties of admissible ordinals. Zbl 0494.03030
Kranakis, Evangelos
1982
The Boolean algebra of formulas of first-order logic. Zbl 0501.03005
Faust, Don H.
1982
The core model. Zbl 0457.03051
Dodd, A.; Jensen, R.
1981
$$\Pi_2^1$$-logic. I: Dilators. Zbl 0496.03037
Girard, Jean-Yves
1981
Trees, subtrees and order types. Zbl 0469.03036
Todorcevic, Stevo B.
1981
On the determinacy of games on ordinals. Zbl 0489.03018
Harrington, Leo A.; Kechris, A. S.
1981
Infinite games and reduced products. Zbl 0501.03014
Hodges, Wilfrid; Shelah, Saharon
1981
Concepts of general topology in constructive mathematics and in sheaves. Zbl 0458.03015
Grayson, R. J.
1981
A correction to ”Stationary logic”. Zbl 0457.03034
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
1981
Algebraically prime models. Zbl 0494.03024
Baldwin, John T.; Kueker, David W.
1981
On non-minimal p-points over a measurable cardinal. Zbl 0481.03032
Gitik, Moti
1981
The continuous functionals; computations, recursions and degrees. Zbl 0472.03037
Normann, Dag
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
1981
Transfinite descending sequences of models HOD**alpha. Zbl 0483.03033
1981
Filter logics: Filters on $$omega_ 1$$. Zbl 0467.03030
Kaufmann, Matt
1981
Recursively invariant beta-recursion theory. Zbl 0482.03021
Maass, Wolfgang
1981
Simple unstable theories. Zbl 0489.03008
Shelah, Saharon
1980
Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Zbl 0517.03018
Silver, Jack H.
1980
Perfect-set forcing for uncountable cardinals. Zbl 0453.03056
Kanamori, Akihiro
1980
Almost sure theories. Zbl 0433.03020
Lynch, James F.
1980
Reducibility orderings: Theories, definability and automorphisms. Zbl 0494.03028
Nerode, Anil; Shore, Richard A.
1980
Superstable fields and groups. Zbl 0475.03012
Cherlin, G.; Shelah, S.
1980
Superstable fields and groups. Zbl 0467.03025
Cherlin, G.; Shelah, S.
1980
Recursion theory on algebraic structures with independent sets. Zbl 0471.03037
Remmel, J. B.
1980
On the elementary theory of quadruples of vector spaces. Zbl 0453.03010
Baur, Walter
1980
Effective partitions of the real line into Borel sets of bounded rank. Zbl 0522.03032
Stern, Jacques
1980
Boolean valued models and generalized quantifiers. Zbl 0484.03017
Vaeaenaenen, Jouko
1980
Thin collections of sets of projective ordinals and analogs of L. Zbl 0453.03050
Becker, Howard
1980
Concerning the consistency of the Souslin hypothesis with the continuum hypothesis. Zbl 0469.03034
Devlin, Keith J.
1980
Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice. Zbl 0457.03054
Hayashi, Susumu
1980
Interpretations of Heyting’s arithmetic - An analysis by means of a language with set symbols. Zbl 0453.03062
Stein, Martin
1980
Saturated structures, unions of chains, and preservation theorems. Zbl 0471.03043
1980
Countable models of $$omega_ 1-$$categorical theories in admissible languages. Zbl 0478.03016
1980
Iterated perfect-set forcing. Zbl 0427.03043
Baumgartner, James E.; Laver, Richard
1979
Effective content of field theory. Zbl 0469.03028
Metakides, G.; Nerode, A.
1979
Groups of small Morley rank. Zbl 0427.20001
Cherlin, Gregory
1979
A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028
Pour-El, Marian Boykan; Richards, Ian
1979
Rosser sentences. Zbl 0426.03062
Guaspari, D.; Solovay, R. M.
1979
Filter spaces and continuous functionals. Zbl 0415.03037
Hyland, J. M. E.
1979
On the length of Borel hierarchies. Zbl 0415.03038
Miller, Arnold W.
1979
Universal equational theories and varieties of algebras. Zbl 0436.03021
Pigozzi, Don
1979
Stationary logic of finitely determinate structures. Zbl 0448.03025
Eklof, Paul C.; Mekler, Alan H.
1979
Regularity properties of ideals and ultrafilters. Zbl 0411.03042
Taylor, Alan D.
1979
Researches into the world of $$\kappa\to(\kappa)^\kappa$$. Zbl 0426.03055
Henle, J. M.
1979
A representation theorem for universal Horn classes categorical in power. Zbl 0436.03020
Givant, Steven
1979
Model-complete theories of pseudo-algebraically closed fields. Zbl 0473.03029
Wheeler, William H.
1979
Progress report on generalized functionality. Zbl 0442.03014
Seldin, Jonathan P.
1979
Substructure lattices of models of arithmetic. Zbl 0427.03057
Mills, George
1979
Isomorphism and higher order equivalence. Zbl 0415.03044
Ajtai, M.
1979
The next admissible ordinal. Zbl 0424.03024
Gostanian, Richard
1979
Some applications of Kripke models to formal systems of intuitionistic analysis. Zbl 0431.03037
Weinstein, Scott
1979
On $$\alpha$$- and $$\beta$$-recursively enumerable degrees. Zbl 0441.03017
Maass, Wolfgang
1979
Finite injury arguments in infinite computation theories. Zbl 0417.03019
Stoltenberg-Hansen, Viggo
1979
Strong axioms of infinity and elementary embeddings. Zbl 0376.02055
Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro
1978
Probability logic. Zbl 0394.03033
Hoover, Douglas N.
1978
Forcing with tagged trees. Zbl 0404.03020
Steel, John R.
1978
Stationary logic. Zbl 0372.02031
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
1978
Models with second order properties. II: Trees with no undefined branches. Zbl 0383.03019
Shelah, Saharon
1978
Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047
Statman, Richard
1978
Foundations of recursive model theory. Zbl 0432.03018
Millar, Terrence S.
1978
An interpretation of intuitionistic analysis. Zbl 0399.03049
van Dalen, Dirk
1978
Universal Horn classes categorical or free in power. Zbl 0401.03009
Givant, Steven
1978
Models with second order properties. I: Boolean algebras with no definable automorphisms. Zbl 0383.03018
Shelah, Saharon
1978
Recursively enumerable Boolean algebras. Zbl 0413.03027
Remmel, J. B.
1978
Iterated ultrapowers and Prikry forcing. Zbl 0417.03025
Dehornoy, Patrick
1978
$$\aleph_1$$-trees. Zbl 0397.03035
Devlin, Keith J.
1978
Successive large cardinals. Zbl 0402.03048
Bull, Everett L. jun.
1978
Infinitary intuitionistic logic from a classical point of view. Zbl 0406.03055
1978
Generalized Erdős cardinals and $$\square\#$$. Zbl 0437.03028
Baumgartner, James E.; Galvin, Fred
1978
Appendix to ”Models with second order properties. II: Trees with no undefined branches”. Zbl 0383.03020
Shelah, Saharon
1978
Model-theoretic forcing in logic with a generalized quantifier. Zbl 0436.03025
Bruce, Kim B.
1978
Recursive well-founded orderings. Zbl 0384.03027
Chen, Keh-Hsun
1978
Inadmissibility, tame r.e. sets and the admissible collapse. Zbl 0385.03034
Maass, Wolfgang
1978
Model theory of topological structures. Zbl 0409.03041
Garavaglia, Steven
1978
Consistency proofs in model theory: A contribution to Jensenlehre. Zbl 0384.03035
Burgess, John P.
1978
On elementary theories of some lattices of $$\alpha$$-recursively enumerable sets. Zbl 0391.03022
Lerman, Manuel
1978
Admissible sets and the saturation of structures. Zbl 0395.03025
1978
Countable ordinals and the analytical hierarchy. II. Zbl 0449.03047
Kechris, Alexander S.
1978
The axiomatization problem for fragments. Zbl 0395.03039
Smorynski, C.
1978
Compactness for omitting of types. Zbl 0384.03037
Benda, Miroslav
1978
Extending models of arithmetic. Zbl 0389.03028
Schmerl, James H.
1978
Happy families. Zbl 0369.02041
Mathias, A. R. D.
1977
...and 114 more Documents
all top 5

### Cited by 1,888 Authors

 198 Shelah, Saharon 62 Apter, Arthur W. 60 Friedman, Sy-David 45 Downey, Rodney Graham 40 Magidor, Menachem 37 Shore, Richard Arnold 27 Gitik, Moti 25 Cummings, James 24 Todorcevic, Stevo B. 23 Matet, Pierre 22 Hamkins, Joel David 20 Rinot, Assaf 19 Baldwin, John T. 19 Kechris, Alexander S. 18 Enayat, Ali 18 Kanovei, Vladimir G. 18 Mitchell, William John 18 Montalbán, Antonio 18 Pillay, Anand 18 Väänänen, Jouko Antero 17 Blass, Andreas Raphael 17 Jech, Thomas J. 17 Miller, Arnold W. 16 Harizanov, Valentina S. 16 Hyttinen, Tapani 16 Knight, Julia F. 16 Koepke, Peter 16 Lempp, Steffen 16 Slaman, Theodore A. 15 Bagaria, Joan 15 Henle, James M. 15 Schmerl, James H. 14 Di Prisco, Carlos Augusto 14 Dow, Alan S. 14 Hjorth, Gregory 14 Kanamori, Akihiro 14 Koszmider, Piotr B. 14 Krueger, John 14 Lücke, Philipp Moritz 14 Remmel, Jeffrey B. 14 Visser, Albert 13 Becker, Howard S. 13 Foreman, Matthew D. 13 Greenberg, Noam 13 Hrušák, Michael 13 Schimmerling, Ernest 13 Schindler, Ralf-Dieter 12 Baumgartner, James Earl 12 Fuchs, Gunter 12 Honzik, Radek 12 Kaplan, Itay 12 Komjáth, Péter 12 Neeman, Itay 12 Prikry, Karel 12 Rathjen, Michael 12 Steel, John R. 12 Tachtsis, Eleftherios 12 Taylor, Walter F. 12 Usuba, Toshimichi 11 Cherlin, Gregory L. 11 Hirschfeldt, Denis Roman 11 Kunen, Kenneth 11 Melnikov, Alexander G. 11 Schlicht, Philipp 11 Sinapova, Dima 11 Toffalori, Carlo 11 Unger, Spencer T. 10 Ambos-Spies, Klaus 10 Chernikov, Artem 10 Chong, Chi Tat 10 Eklof, Paul C. 10 Fischer, Vera 10 Garti, Shimon 10 Hayut, Yair 10 Kim, Byunghan 10 Malliaris, Maryanthe Elizabeth 10 Mildenberger, Heike 10 Miller, Benjamin David 10 Miller, Russell G. 10 Montagna, Franco 10 Prest, Mike 10 Tall, Franklin D. 9 Abraham, Uri 9 Cenzer, Douglas 9 Cody, Brent M. 9 Goncharov, Sergeĭ Savost’yanovich 9 Grossberg, Rami P. 9 Harrington, Leo A. 9 Keisler, Howard Jerome 9 Laver, Richard Joseph 9 Lyubetsky, Vassily Aleksandrovich 9 Nies, André Otfrid 9 Rašković, Miodrag D. 9 Simpson, Stephen G. 9 Soare, Robert I. 9 Stanley, Lee J. 9 Steprāns, Juris 9 Welch, Philip D. 9 Yu, Liang 9 Zeman, Martin ...and 1,788 more Authors
all top 5

### Cited in 208 Journals

 697 The Journal of Symbolic Logic 476 Annals of Pure and Applied Logic 216 Israel Journal of Mathematics 192 Archive for Mathematical Logic 168 Transactions of the American Mathematical Society 162 Proceedings of the American Mathematical Society 92 Topology and its Applications 77 The Bulletin of Symbolic Logic 68 Algebra Universalis 64 Advances in Mathematics 56 Journal of Mathematical Logic 53 Mathematical Logic Quarterly (MLQ) 49 Algebra and Logic 48 Journal of Algebra 46 Notre Dame Journal of Formal Logic 41 Theoretical Computer Science 39 Archiv für Mathematische Logik und Grundlagenforschung 37 Studia Logica 28 Journal of Pure and Applied Algebra 27 Fundamenta Mathematicae 21 Journal of Philosophical Logic 21 Siberian Mathematical Journal 18 Communications in Algebra 16 Journal of the American Mathematical Society 14 Journal of Mathematical Analysis and Applications 14 Journal of Soviet Mathematics 14 Acta Mathematica Hungarica 14 Information and Computation 14 Bulletin of the American Mathematical Society. New Series 13 Mathematical Notes 13 Synthese 12 Mathematical Proceedings of the Cambridge Philosophical Society 12 Czechoslovak Mathematical Journal 12 Mathematische Zeitschrift 11 The Review of Symbolic Logic 10 Compositio Mathematica 10 Order 10 Bulletin of the American Mathematical Society 9 Bulletin of the Polish Academy of Sciences, Mathematics 8 Periodica Mathematica Hungarica 8 Archiv der Mathematik 8 MSCS. Mathematical Structures in Computer Science 7 Discrete Mathematics 7 Journal of Computer and System Sciences 7 Memoirs of the American Mathematical Society 7 Rendiconti del Seminario Matematico della Università di Padova 7 Semigroup Forum 7 Mathematical Social Sciences 7 Journal of Symbolic Computation 7 Journal of Mathematical Sciences (New York) 6 Bulletin of the Australian Mathematical Society 6 Applied Mathematics and Computation 6 Journal of Functional Analysis 6 Publications of the Research Institute for Mathematical Sciences, Kyoto University 6 History and Philosophy of Logic 6 European Journal of Mathematics 5 Fuzzy Sets and Systems 5 Journal of Combinatorial Theory. Series A 5 Journal of the Mathematical Society of Japan 5 Manuscripta Mathematica 5 Nagoya Mathematical Journal 5 Random Structures & Algorithms 5 International Journal of Algebra and Computation 5 Indagationes Mathematicae. New Series 5 Logica Universalis 4 Rocky Mountain Journal of Mathematics 4 Mathematika 4 Journal of Automated Reasoning 4 Acta Mathematica Sinica. New Series 4 Annals of Mathematics and Artificial Intelligence 4 Journal of Applied Analysis 4 Journal of Applied Logic 4 Logical Methods in Computer Science 4 Forum of Mathematics, Sigma 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 Journal of Mathematical Economics 3 Mathematische Annalen 3 Monatshefte für Mathematik 3 Quaestiones Mathematicae 3 Advances in Applied Mathematics 3 Journal of Complexity 3 Journal of Computer Science and Technology 3 International Journal of Approximate Reasoning 3 Journal of Logic, Language and Information 3 Topology Proceedings 3 Journal of the European Mathematical Society (JEMS) 3 ACM Transactions on Computational Logic 3 Journal of Algebra and its Applications 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Sarajevo Journal of Mathematics 3 Bollettino dell’Unione Matematica Italiana 2 Acta Informatica 2 Computers & Mathematics with Applications 2 Ukrainian Mathematical Journal 2 The Mathematical Intelligencer 2 Annali di Matematica Pura ed Applicata. Serie Quarta ...and 108 more Journals
all top 5

### Cited in 52 Fields

 3,060 Mathematical logic and foundations (03-XX) 291 General topology (54-XX) 229 Group theory and generalizations (20-XX) 176 Order, lattices, ordered algebraic structures (06-XX) 144 Computer science (68-XX) 115 General algebraic systems (08-XX) 110 Combinatorics (05-XX) 84 Measure and integration (28-XX) 79 Category theory; homological algebra (18-XX) 78 Associative rings and algebras (16-XX) 64 Functional analysis (46-XX) 60 Field theory and polynomials (12-XX) 54 Commutative algebra (13-XX) 41 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 36 History and biography (01-XX) 29 Real functions (26-XX) 26 Probability theory and stochastic processes (60-XX) 21 Number theory (11-XX) 19 General and overarching topics; collections (00-XX) 18 Topological groups, Lie groups (22-XX) 15 Dynamical systems and ergodic theory (37-XX) 11 Algebraic geometry (14-XX) 10 Operator theory (47-XX) 9 Ordinary differential equations (34-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Sequences, series, summability (40-XX) 6 Abstract harmonic analysis (43-XX) 4 Partial differential equations (35-XX) 4 Algebraic topology (55-XX) 4 Manifolds and cell complexes (57-XX) 4 Numerical analysis (65-XX) 4 Quantum theory (81-XX) 4 Information and communication theory, circuits (94-XX) 3 Nonassociative rings and algebras (17-XX) 3 Approximations and expansions (41-XX) 3 Geometry (51-XX) 3 Mechanics of particles and systems (70-XX) 2 Convex and discrete geometry (52-XX) 2 Differential geometry (53-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 $$K$$-theory (19-XX) 1 Functions of a complex variable (30-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 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX) 1 Biology and other natural sciences (92-XX)