×

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 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

Publications by Year

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
305
1972
Internal Cohen extensions. Zbl 0222.02075
Martin, D. A.; Solovay, R. M.
156
1970
Happy families. Zbl 0369.02041
Mathias, A. R. D.
148
1977
Strong axioms of infinity and elementary embeddings. Zbl 0376.02055
Solovay, Robert M.; Reinhardt, William N.; Kanamori, Akihiro
139
1978
Aronszajn trees and the independence of the transfer property. Zbl 0255.02069
Mitchell, William
107
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.
86
1970
Some combinatorial problems concerning uncountable cardinals. Zbl 0262.02062
Jech, Thomas J.
85
1973
Simple unstable theories. Zbl 0489.03008
Shelah, Saharon
76
1980
Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Zbl 0517.03018
Silver, Jack H.
75
1980
Some applications of iterated ultrapowers in set theory. Zbl 0236.02053
Kunen, Kenneth
74
1970
Almost-disjoint sets, the dense set problem and the partition calculus. Zbl 0339.04003
Baumgartner, James E.
73
1976
Ultrafilters on a countable set. Zbl 0231.02067
Booth, David
72
1970
How large is the first strongly compact cardinal? or: A study on identity crises. Zbl 0342.02051
Magidor, Menachem
71
1976
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Zbl 0281.02052
Shelah, Saharon
70
1971
Powers of regular cardinals. Zbl 0209.30601
Easton, W. B.
69
1970
Iterated perfect-set forcing. Zbl 0427.03043
Baumgartner, James E.; Laver, Richard
63
1979
Effective content of field theory. Zbl 0469.03028
Metakides, G.; Nerode, A.
61
1979
Recursively enumerable vector spaces. Zbl 0389.03019
Metakides, G.; Nerode, A.
60
1977
On strong compactness and supercompactness. Zbl 0299.02084
Menas, Telis K.
57
1975
Axioms for abstract model theory. Zbl 0324.02034
Barwise, K. Jon
56
1974
The elementary theory of abelian groups. Zbl 0248.02049
Eklof, Paul C.; Fischer, Edward R.
55
1972
Finite diagrams stable in power. Zbl 0204.31104
Shelah, S.
53
1970
Groups of small Morley rank. Zbl 0427.20001
Cherlin, Gregory
52
1979
A new class of order types. Zbl 0339.04002
Baumgartner, James E.
49
1976
The core model. Zbl 0457.03051
Dodd, A.; Jensen, R.
49
1981
Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101
Kreisel, Georg; Troelstra, A. S.
45
1970
Completing theories by forcing. Zbl 0222.02058
Barwise, Jon; Robinson, Abraham
45
1970
Higher set theory and mathematical practice. Zbl 0215.32702
Friedman, H. M.
44
1971
\(\Pi_2^1\)-logic. I: Dilators. Zbl 0496.03037
Girard, Jean-Yves
42
1981
The weak truth table degrees of recursively enumerable sets. Zbl 0324.02028
Ladner, Richard E.; Sasso, Leonard P. jun.
39
1975
A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028
Pour-El, Marian Boykan; Richards, Ian
39
1979
The correspondence between cut-elimination and normalization. I, II, Errata to part I. Zbl 0298.02023
Zucker, J.
38
1974
Some applications of model theory in set theory. Zbl 0215.32404
Silver, J. H.
37
1971
Compact extensions of L(Q). Ia. Zbl 0356.02012
Magidor, Menachem; Malitz, Jerome
36
1977
Scott sentences and admissible sets. Zbl 0301.02050
Nadel, Mark
35
1974
Models and types of Peano’s arithmetic. Zbl 0332.02058
Gaifman, Haim
35
1976
Rosser sentences. Zbl 0426.03062
Guaspari, D.; Solovay, R. M.
35
1979
Perfect-set forcing for uncountable cardinals. Zbl 0453.03056
Kanamori, Akihiro
35
1980
A recursively enumerable degree which will not split over all lesser ones. Zbl 0357.02040
Lachlan, Alistair H.
34
1976
Measure and category in effective descriptive set theory. Zbl 0277.02019
Kechris, Alexander S.
33
1973
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
32
1982
Long projective wellorderings. Zbl 0384.03033
Harrington, Leo
32
1977
Probability logic. Zbl 0394.03033
Hoover, Douglas N.
32
1978
Forcing with tagged trees. Zbl 0404.03020
Steel, John R.
32
1978
Stationary logic. Zbl 0372.02031
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
30
1978
The \(\alpha\)-finite injury method. Zbl 0262.02037
Sacks, G. E.; Simpson, S. G.
30
1972
Models with second order properties. II: Trees with no undefined branches. Zbl 0383.03019
Shelah, Saharon
30
1978
The theory of Boolean ultrapowers. Zbl 0216.29401
Mansfield, R.
29
1971
Combinatorics on ideals and forcing. Zbl 0328.02041
Grigorieff, Serge
29
1971
Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047
Statman, Richard
28
1978
Models with compactness properties relative to an admissible language. Zbl 0376.02032
Ressayre, J. P.
27
1977
Countable approximations and Löwenheim-Skolem theorems. Zbl 0364.02009
Kueker, David W.
27
1977
Foundations of recursive model theory. Zbl 0432.03018
Millar, Terrence S.
27
1978
Almost sure theories. Zbl 0433.03020
Lynch, James F.
27
1980
Some strong axioms of infinity incompatible with the axiom of constructibility. Zbl 0274.02034
Rowbottom, Frederick
26
1971
\(\Delta\)-logics and generalized quantifiers. Zbl 0346.02007
Makowsky, J. A.; Shelah, Saharon; Stavi, Jonathan
26
1976
Filter spaces and continuous functionals. Zbl 0415.03037
Hyland, J. M. E.
26
1979
Morasses, diamond, and forcing. Zbl 0521.03034
Velleman, Daniel J.
25
1982
The covering lemma for K. Zbl 0492.03014
Dodd, Tony; Jensen, Ronald
25
1982
The covering lemma for L[U]. Zbl 0522.03037
Dodd, A. J.; Jensen, R. B.
23
1982
Strong compactness and other cardinal sins. Zbl 0257.02055
Ketonen, Jussi
23
1972
Infinitary properties of abelian torsion groups. Zbl 0222.02014
Barwise, Jon; Eklof, Paul
22
1970
Enumeration reducibility and partial degrees. Zbl 0223.02046
Case, John
22
1971
Consistency results about ordinal definability. Zbl 0225.02044
McAloon, Kenneth
22
1971
Reducibility orderings: Theories, definability and automorphisms. Zbl 0494.03028
Nerode, Anil; Shore, Richard A.
22
1980
Automorphisms of the lattice of recursively enumerable sets. II: Low sets. Zbl 0526.03022
Soare, Robert I.
21
1982
Horn sentences. Zbl 0206.27801
Galvin, F.
21
1970
Normalization as a homomorphic image of cut-elimination. Zbl 0378.02017
Pottinger, Garrel
21
1977
Some weak versions of large cardinal axioms. Zbl 0279.02051
Devlin, Keith J.
21
1973
Functional completeness of cartesian categories. Zbl 0282.18004
Lambek, J.
21
1974
An interpretation of intuitionistic analysis. Zbl 0399.03049
van Dalen, Dirk
21
1978
On the length of Borel hierarchies. Zbl 0415.03038
Miller, Arnold W.
21
1979
Some constructions of compact algebras. Zbl 0239.08003
Taylor, Walter
20
1971
On the completeness principle: A study of provability in Heyting’s arithmetic and extensions. Zbl 0505.03026
Visser, Albert
20
1982
Definability in lattices of equational theories. Zbl 0328.02038
McKenzie, Ralph
20
1971
Trees, subtrees and order types. Zbl 0469.03036
Todorcevic, Stevo B.
19
1981
On the determinacy of games on ordinals. Zbl 0489.03018
Harrington, Leo A.; Kechris, A. S.
19
1981
Adding dependent choice. Zbl 0365.02052
Pincus, David
18
1977
Monadic theory of order and topology in ZFC. Zbl 0516.03007
Gurevich, Yuri; Shelah, Saharon
17
1982
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
Universal Horn classes categorical or free in power. Zbl 0401.03009
Givant, Steven
17
1978
The recursively enumerable \(\alpha\)-degrees are dense. Zbl 0374.02022
Shore, Richard A.
16
1976
A degree-theoretic definition of the ramified analytical hierarchy. Zbl 0333.02039
Jockusch, Carl G. jun.; Simpson, Stephen G.
16
1976
Superstable fields and groups. Zbl 0475.03012
Cherlin, G.; Shelah, S.
16
1980
Absolute logics and L\(_{\infty \omega}\). Zbl 0248.02061
Barwise, K. Jon
15
1972
Categoricity and stability of commutative rings. Zbl 0326.02041
Cherlin, Gregory L.; Reineke, Joachim
15
1976
Recursive models for constructive set theories. Zbl 0514.03039
Beeson, M.
14
1982
Sheaves of structures and generalized ultraproducts. Zbl 0295.02031
Ellerman, David P.
14
1974
Principles of continuous choice and continuity of functions in formal systems for constructive mathematics. Zbl 0393.03012
Beeson, Michael J.
14
1977
Local definability theory. Zbl 0217.30501
Reyes, G. E.
13
1970
An independence result concerning the axiom of choice. Zbl 0306.02060
Sageev, Gershon
13
1975
Universal equational theories and varieties of algebras. Zbl 0436.03021
Pigozzi, Don
13
1979
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
Infinite games and reduced products. Zbl 0501.03014
Hodges, Wilfrid; Shelah, Saharon
12
1981
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
Adding closed cofinal sequences to large cardinals. Zbl 0502.03028
Radin, Lon Berk
32
1982
Morasses, diamond, and forcing. Zbl 0521.03034
Velleman, Daniel J.
25
1982
The covering lemma for K. Zbl 0492.03014
Dodd, Tony; Jensen, Ronald
25
1982
The covering lemma for L[U]. Zbl 0522.03037
Dodd, A. J.; Jensen, R. B.
23
1982
Automorphisms of the lattice of recursively enumerable sets. II: Low sets. Zbl 0526.03022
Soare, Robert I.
21
1982
On the completeness principle: A study of provability in Heyting’s arithmetic and extensions. Zbl 0505.03026
Visser, Albert
20
1982
Monadic theory of order and topology in ZFC. Zbl 0516.03007
Gurevich, Yuri; Shelah, Saharon
17
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
A very absolute \(\Pi_ 2^ 1\) real singleton. Zbl 0519.03038
David, Rene
7
1982
Concepts of general topology in constructive mathematics and in sheaves. II. Zbl 0495.03040
Grayson, R. J.
7
1982
Some applications of Jensen’s coding theorem. Zbl 0489.03021
David, R.
7
1982
Determinacy in the Mitchell models. Zbl 0573.03026
Steel, John R.
6
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
\(\Delta_ 3^ 1\) reals. Zbl 0519.03039
David, Rene
4
1982
Steel forcing and Barwise compactness. Zbl 0501.03032
Friedman, Sy D.
4
1982
On Martin’s conjecture. Zbl 0523.03018
Wagner, C. M.
2
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
The core model. Zbl 0457.03051
Dodd, A.; Jensen, R.
49
1981
\(\Pi_2^1\)-logic. I: Dilators. Zbl 0496.03037
Girard, Jean-Yves
42
1981
Trees, subtrees and order types. Zbl 0469.03036
Todorcevic, Stevo B.
19
1981
On the determinacy of games on ordinals. Zbl 0489.03018
Harrington, Leo A.; Kechris, A. S.
19
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.
6
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
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
Transfinite descending sequences of models HOD**alpha. Zbl 0483.03033
Zadrozny, Wlodzimierz
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
76
1980
Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Zbl 0517.03018
Silver, Jack H.
75
1980
Perfect-set forcing for uncountable cardinals. Zbl 0453.03056
Kanamori, Akihiro
35
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.
16
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
5
1980
Thin collections of sets of projective ordinals and analogs of L. Zbl 0453.03050
Becker, Howard
4
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
63
1979
Effective content of field theory. Zbl 0469.03028
Metakides, G.; Nerode, A.
61
1979
Groups of small Morley rank. Zbl 0427.20001
Cherlin, Gregory
52
1979
A computable ordinary differential equation which possesses no computable solution. Zbl 0424.68028
Pour-El, Marian Boykan; Richards, Ian
39
1979
Rosser sentences. Zbl 0426.03062
Guaspari, D.; Solovay, R. M.
35
1979
Filter spaces and continuous functionals. Zbl 0415.03037
Hyland, J. M. E.
26
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
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
A representation theorem for universal Horn classes categorical in power. Zbl 0436.03020
Givant, Steven
9
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
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
3
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
139
1978
Probability logic. Zbl 0394.03033
Hoover, Douglas N.
32
1978
Forcing with tagged trees. Zbl 0404.03020
Steel, John R.
32
1978
Stationary logic. Zbl 0372.02031
Barwise, Jon; Kaufmann, Matt; Makkai, Michael
30
1978
Models with second order properties. II: Trees with no undefined branches. Zbl 0383.03019
Shelah, Saharon
30
1978
Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047
Statman, Richard
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
21
1978
Universal Horn classes categorical or free in power. Zbl 0401.03009
Givant, Steven
17
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
Iterated ultrapowers and Prikry forcing. Zbl 0417.03025
Dehornoy, Patrick
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
Infinitary intuitionistic logic from a classical point of view. Zbl 0406.03055
Nadel, Mark E.
9
1978
Generalized Erdős cardinals and \(\square\#\). Zbl 0437.03028
Baumgartner, James E.; Galvin, Fred
9
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
Model theory of topological structures. Zbl 0409.03041
Garavaglia, Steven
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
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
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.
148
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)

Citations by Year