×

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

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

Publications by Year

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

Citations by Year