# zbMATH — the first resource for mathematics

## 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 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 A. 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 Dodd, A. J. 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 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 E. 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. 1 Jacob, Bill ...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

213 Publications have been cited 4,510 times in 3,261 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
Some applications of iterated ultrapowers in set theory. Zbl 0236.02053
Kunen, Kenneth
1970
Ultrafilters on a countable set. Zbl 0231.02067
Booth, David
1970
Almost-disjoint sets, the dense set problem and the partition calculus. Zbl 0339.04003
Baumgartner, James E.
1976
Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Zbl 0517.03018
Silver, Jack H.
1980
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Zbl 0281.02052
Shelah, Saharon
1971
How large is the first strongly compact cardinal? or: A study on identity crises. Zbl 0342.02051
Magidor, Menachem
1976
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
The elementary theory of abelian groups. Zbl 0248.02049
Eklof, Paul C.; Fischer, Edward R.
1972
On strong compactness and supercompactness. Zbl 0299.02084
Menas, Telis K.
1975
Axioms for abstract model theory. Zbl 0324.02034
Barwise, K. Jon
1974
Finite diagrams stable in power. Zbl 0204.31104
Shelah, S.
1970
Groups of small Morley rank. Zbl 0427.20001
Cherlin, Gregory
1979
The core model. Zbl 0457.03051
Dodd, A.; Jensen, R.
1981
A new class of order types. Zbl 0339.04002
Baumgartner, James E.
1976
Completing theories by forcing. Zbl 0222.02058
Barwise, Jon; Robinson, Abraham
1970
Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101
Kreisel, Georg; Troelstra, A. S.
1970
$$\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
Higher set theory and mathematical practice. Zbl 0215.32702
Friedman, H. M.
1971
The correspondence between cut-elimination and normalization. I, II, Errata to part I. Zbl 0298.02023
Zucker, J.
1974
A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028
Pour-El, Marian Boykan; Richards, Ian
1979
Some applications of model theory in set theory. Zbl 0215.32404
Silver, J. H.
1971
Models and types of Peano’s arithmetic. Zbl 0332.02058
Gaifman, Haim
1976
Compact extensions of L(Q). Ia. Zbl 0356.02012
Magidor, Menachem; Malitz, Jerome
1977
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
Rosser sentences. Zbl 0426.03062
Guaspari, D.; Solovay, R. M.
1979
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
Measure and category in effective descriptive set theory. Zbl 0277.02019
Kechris, Alexander S.
1973
Scott sentences and admissible sets. Zbl 0301.02050
1974
Forcing with tagged trees. Zbl 0404.03020
Steel, John R.
1978
Long projective wellorderings. Zbl 0384.03033
Harrington, Leo
1977
The theory of Boolean ultrapowers. Zbl 0216.29401
Mansfield, R.
1971
Stationary logic. Zbl 0372.02031
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
1978
Probability logic. Zbl 0394.03033
Hoover, Douglas N.
1978
The $$\alpha$$-finite injury method. Zbl 0262.02037
Sacks, G. E.; Simpson, S. G.
1972
Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047
Statman, Richard
1978
Models with second order properties. II: Trees with no undefined branches. Zbl 0383.03019
Shelah, Saharon
1978
Foundations of recursive model theory. Zbl 0432.03018
Millar, Terrence S.
1978
Almost sure theories. Zbl 0433.03020
Lynch, James F.
1980
Combinatorics on ideals and forcing. Zbl 0328.02041
Grigorieff, Serge
1971
Countable approximations and Löwenheim-Skolem theorems. Zbl 0364.02009
Kueker, David W.
1977
Models with compactness properties relative to an admissible language. Zbl 0376.02032
Ressayre, J. P.
1977
Some strong axioms of infinity incompatible with the axiom of constructibility. Zbl 0274.02034
Rowbottom, Frederick
1971
Filter spaces and continuous functionals. Zbl 0415.03037
Hyland, J. M. E.
1979
The covering lemma for K. Zbl 0492.03014
Dodd, Tony; Jensen, Ronald
1982
Morasses, diamond, and forcing. Zbl 0521.03034
Velleman, Daniel J.
1982
$$\Delta$$-logics and generalized quantifiers. Zbl 0346.02007
Makowsky, J. A.; Shelah, Saharon; Stavi, Jonathan
1976
Reducibility orderings: Theories, definability and automorphisms. Zbl 0494.03028
Nerode, Anil; Shore, Richard A.
1980
Enumeration reducibility and partial degrees. Zbl 0223.02046
Case, John
1971
On the length of Borel hierarchies. Zbl 0415.03038
Miller, Arnold W.
1979
Infinitary properties of abelian torsion groups. Zbl 0222.02014
Barwise, Jon; Eklof, Paul
1970
Some constructions of compact algebras. Zbl 0239.08003
Taylor, Walter
1971
Normalization as a homomorphic image of cut-elimination. Zbl 0378.02017
Pottinger, Garrel
1977
Strong compactness and other cardinal sins. Zbl 0257.02055
Ketonen, Jussi
1972
Horn sentences. Zbl 0206.27801
Galvin, F.
1970
Consistency results about ordinal definability. Zbl 0225.02044
McAloon, Kenneth
1971
An interpretation of intuitionistic analysis. Zbl 0399.03049
van Dalen, Dirk
1978
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
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
On the determinacy of games on ordinals. Zbl 0489.03018
Harrington, Leo A.; Kechris, A. S.
1981
Definability in lattices of equational theories. Zbl 0328.02038
McKenzie, Ralph
1971
On the completeness principle: A study of provability in Heyting’s arithmetic and extensions. Zbl 0505.03026
Visser, Albert
1982
Trees, subtrees and order types. Zbl 0469.03036
Todorcevic, Stevo B.
1981
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
The recursively enumerable $$\alpha$$-degrees are dense. Zbl 0374.02022
Shore, Richard A.
1976
Monadic theory of order and topology in ZFC. Zbl 0516.03007
Gurevich, Yuri; Shelah, Saharon
1982
Superstable fields and groups. Zbl 0475.03012
Cherlin, G.; Shelah, S.
1980
A degree-theoretic definition of the ramified analytical hierarchy. Zbl 0333.02039
Jockusch, Carl G. jun.; Simpson, Stephen G.
1976
Pincus, David
1977
Universal Horn classes categorical or free in power. Zbl 0401.03009
Givant, Steven
1978
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
Principles of continuous choice and continuity of functions in formal systems for constructive mathematics. Zbl 0393.03012
Beeson, Michael J.
1977
Sheaves of structures and generalized ultraproducts. Zbl 0295.02031
Ellerman, David P.
1974
Universal equational theories and varieties of algebras. Zbl 0436.03021
Pigozzi, Don
1979
Local definability theory. Zbl 0217.30501
Reyes, G. E.
1970
Absolute logics and L$$_{\infty \omega}$$. Zbl 0248.02061
Barwise, K. Jon
1972
An independence result concerning the axiom of choice. Zbl 0306.02060
Sageev, Gershon
1975
Recursively enumerable Boolean algebras. Zbl 0413.03027
Remmel, J. B.
1978
Iterated ultrapowers and Prikry forcing. Zbl 0417.03025
Dehornoy, Patrick
1978
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
Models with second order properties. I: Boolean algebras with no definable automorphisms. Zbl 0383.03018
Shelah, Saharon
1978
Adding closed cofinal sequences to large cardinals. Zbl 0502.03028
1982
The covering lemma for K. Zbl 0492.03014
Dodd, Tony; Jensen, Ronald
1982
Morasses, diamond, and forcing. Zbl 0521.03034
Velleman, Daniel J.
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
Some applications of Jensen’s coding theorem. Zbl 0489.03021
David, R.
1982
Concepts of general topology in constructive mathematics and in sheaves. II. Zbl 0495.03040
Grayson, R. J.
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
A very absolute $$\Pi_ 2^ 1$$ real singleton. Zbl 0519.03038
David, Rene
1982
Determinacy in the Mitchell models. Zbl 0573.03026
Steel, John R.
1982
Steel forcing and Barwise compactness. Zbl 0501.03032
Friedman, Sy D.
1982
$$\Delta_ 3^ 1$$ reals. Zbl 0519.03039
David, Rene
1982
Reflection and partition properties of admissible ordinals. Zbl 0494.03030
Kranakis, Evangelos
1982
On Martin’s conjecture. Zbl 0523.03018
Wagner, C. M.
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
On the determinacy of games on ordinals. Zbl 0489.03018
Harrington, Leo A.; Kechris, A. S.
1981
Trees, subtrees and order types. Zbl 0469.03036
Todorcevic, Stevo B.
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
On non-minimal p-points over a measurable cardinal. Zbl 0481.03032
Gitik, Moti
1981
Algebraically prime models. Zbl 0494.03024
Baldwin, John T.; Kueker, David W.
1981
The continuous functionals; computations, recursions and degrees. Zbl 0472.03037
Normann, Dag
1981
Transfinite descending sequences of models HOD**alpha. Zbl 0483.03033
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
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
Researches into the world of $$\kappa\to(\kappa)^\kappa$$. Zbl 0426.03055
Henle, J. M.
1979
Regularity properties of ideals and ultrafilters. Zbl 0411.03042
Taylor, Alan D.
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
Isomorphism and higher order equivalence. Zbl 0415.03044
Ajtai, M.
1979
Substructure lattices of models of arithmetic. Zbl 0427.03057
Mills, George
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
Forcing with tagged trees. Zbl 0404.03020
Steel, John R.
1978
Stationary logic. Zbl 0372.02031
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
1978
Probability logic. Zbl 0394.03033
Hoover, Douglas N.
1978
Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047
Statman, Richard
1978
Models with second order properties. II: Trees with no undefined branches. Zbl 0383.03019
Shelah, Saharon
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
Recursively enumerable Boolean algebras. Zbl 0413.03027
Remmel, J. B.
1978
Iterated ultrapowers and Prikry forcing. Zbl 0417.03025
Dehornoy, Patrick
1978
Models with second order properties. I: Boolean algebras with no definable automorphisms. Zbl 0383.03018
Shelah, Saharon
1978
$$\aleph_1$$-trees. Zbl 0397.03035
Devlin, Keith J.
1978
Successive large cardinals. Zbl 0402.03048
Bull, Everett L. jun.
1978
Generalized Erdős cardinals and $$\square\#$$. Zbl 0437.03028
Baumgartner, James E.; Galvin, Fred
1978
Infinitary intuitionistic logic from a classical point of view. Zbl 0406.03055
1978
Model-theoretic forcing in logic with a generalized quantifier. Zbl 0436.03025
Bruce, Kim B.
1978
Appendix to ”Models with second order properties. II: Trees with no undefined branches”. Zbl 0383.03020
Shelah, Saharon
1978
Model theory of topological structures. Zbl 0409.03041
Garavaglia, Steven
1978
Recursive well-founded orderings. Zbl 0384.03027
Chen, Keh-Hsun
1978
Maass, Wolfgang
1978
Consistency proofs in model theory: A contribution to Jensenlehre. Zbl 0384.03035
Burgess, John P.
1978
Countable ordinals and the analytical hierarchy. II. Zbl 0449.03047
Kechris, Alexander S.
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
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
Recursively enumerable vector spaces. Zbl 0389.03019
Metakides, G.; Nerode, A.
1977
...and 113 more Documents
all top 5

#### Cited by 1,825 Authors

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

#### Cited in 198 Journals

 676 The Journal of Symbolic Logic 462 Annals of Pure and Applied Logic 209 Israel Journal of Mathematics 187 Archive for Mathematical Logic 166 Transactions of the American Mathematical Society 153 Proceedings of the American Mathematical Society 89 Topology and its Applications 71 The Bulletin of Symbolic Logic 68 Algebra Universalis 61 Advances in Mathematics 53 Mathematical Logic Quarterly (MLQ) 49 Algebra and Logic 48 Journal of Algebra 45 Notre Dame Journal of Formal Logic 45 Journal of Mathematical Logic 40 Theoretical Computer Science 39 Archiv für Mathematische Logik und Grundlagenforschung 36 Studia Logica 27 Journal of Pure and Applied Algebra 21 Journal of Philosophical Logic 21 Siberian Mathematical Journal 19 Fundamenta Mathematicae 18 Communications in Algebra 15 Journal of the American Mathematical Society 14 Journal of Soviet Mathematics 14 Bulletin of the American Mathematical Society. New Series 13 Journal of Mathematical Analysis and Applications 13 Mathematical Notes 13 Synthese 12 Mathematical Proceedings of the Cambridge Philosophical Society 12 Czechoslovak Mathematical Journal 12 Mathematische Zeitschrift 12 Information and Computation 10 Compositio Mathematica 10 Acta Mathematica Hungarica 10 Bulletin of the American Mathematical Society 10 The Review of Symbolic Logic 9 Order 9 Bulletin of the Polish Academy of Sciences, Mathematics 8 Periodica Mathematica Hungarica 8 Archiv der Mathematik 8 Semigroup Forum 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 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 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 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 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Sarajevo Journal of Mathematics 3 Logical Methods in Computer Science 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 2 Bulletin of the London Mathematical Society 2 Journal of Combinatorial Theory. Series B 2 Mathematica Slovaca ...and 98 more Journals
all top 5

#### Cited in 52 Fields

 2,936 Mathematical logic and foundations (03-XX) 275 General topology (54-XX) 226 Group theory and generalizations (20-XX) 165 Order, lattices, ordered algebraic structures (06-XX) 133 Computer science (68-XX) 112 General algebraic systems (08-XX) 103 Combinatorics (05-XX) 82 Measure and integration (28-XX) 76 Associative rings and algebras (16-XX) 72 Category theory; homological algebra (18-XX) 59 Functional analysis (46-XX) 58 Field theory and polynomials (12-XX) 53 Commutative algebra (13-XX) 39 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 33 History and biography (01-XX) 28 Real functions (26-XX) 25 Probability theory and stochastic processes (60-XX) 21 Number theory (11-XX) 19 Topological groups, Lie groups (22-XX) 17 General and overarching topics; collections (00-XX) 13 Dynamical systems and ergodic theory (37-XX) 11 Algebraic geometry (14-XX) 9 Ordinary differential equations (34-XX) 9 Operator theory (47-XX) 6 Abstract harmonic analysis (43-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Sequences, series, summability (40-XX) 4 Partial differential equations (35-XX) 4 Algebraic topology (55-XX) 4 Manifolds and cell complexes (57-XX) 4 Numerical analysis (65-XX) 3 Nonassociative rings and algebras (17-XX) 3 Approximations and expansions (41-XX) 3 Mechanics of particles and systems (70-XX) 3 Quantum theory (81-XX) 3 Information and communication theory, circuits (94-XX) 2 Geometry (51-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)