×

Annals of Pure and Applied Logic

Short Title: Ann. Pure Appl. Logic
Publisher: Elsevier (North-Holland), Amsterdam
ISSN: 0168-0072
Online: http://www.sciencedirect.com/science/journal/01680072
Predecessor: Annals of Mathematical Logic
Comments: Indexed cover-to-cover
Documents Indexed: 2,552 Publications (since 1983)
References Indexed: 2,415 Publications with 50,759 References.
all top 5

Latest Issues

173, No. 10 (2022)
173, No. 9 (2022)
173, No. 8 (2022)
173, No. 7 (2022)
173, No. 6 (2022)
173, No. 5 (2022)
173, No. 4 (2022)
173, No. 3 (2022)
173, No. 2 (2022)
173, No. 1 (2022)
172, No. 10 (2021)
172, No. 9 (2021)
172, No. 8 (2021)
172, No. 7 (2021)
172, No. 6 (2021)
172, No. 5 (2021)
172, No. 4 (2021)
172, No. 3 (2021)
172, No. 2 (2021)
172, No. 1 (2021)
171, No. 10 (2020)
171, No. 9 (2020)
171, No. 8 (2020)
171, No. 7 (2020)
171, No. 6 (2020)
171, No. 5 (2020)
171, No. 4 (2020)
171, No. 3 (2020)
171, No. 2 (2020)
171, No. 1 (2020)
170, No. 12 (2019)
170, No. 11 (2019)
170, No. 10 (2019)
170, No. 9 (2019)
170, No. 8 (2019)
170, No. 7 (2019)
170, No. 6 (2019)
170, No. 5 (2019)
170, No. 4 (2019)
170, No. 3 (2019)
170, No. 2 (2019)
170, No. 1 (2019)
169, No. 12 (2018)
169, No. 11 (2018)
169, No. 10 (2018)
169, No. 9 (2018)
169, No. 8 (2018)
169, No. 7 (2018)
169, No. 6 (2018)
169, No. 5 (2018)
169, No. 4 (2018)
169, No. 3 (2018)
169, No. 2 (2018)
169, No. 1 (2018)
168, No. 12 (2017)
168, No. 11 (2017)
168, No. 10 (2017)
168, No. 9 (2017)
168, No. 8 (2017)
168, No. 7 (2017)
168, No. 6 (2017)
168, No. 5 (2017)
168, No. 4 (2017)
168, No. 3 (2017)
168, No. 2 (2017)
168, No. 1 (2017)
167, No. 12 (2016)
167, No. 11 (2016)
167, No. 10 (2016)
167, No. 9 (2016)
167, No. 8 (2016)
167, No. 7 (2016)
167, No. 6 (2016)
167, No. 5 (2016)
167, No. 4 (2016)
167, No. 3 (2016)
167, No. 2 (2016)
167, No. 1 (2016)
166, No. 12 (2015)
166, No. 11 (2015)
166, No. 10 (2015)
166, No. 9 (2015)
166, No. 7-8 (2015)
166, No. 6 (2015)
166, No. 5 (2015)
166, No. 4 (2015)
166, No. 3 (2015)
166, No. 2 (2015)
166, No. 1 (2015)
165, No. 12 (2014)
165, No. 11 (2014)
165, No. 10 (2014)
165, No. 9 (2014)
165, No. 7-8 (2014)
165, No. 6 (2014)
165, No. 5 (2014)
165, No. 4 (2014)
165, No. 3 (2014)
165, No. 2 (2014)
165, No. 1 (2014)
...and 300 more Volumes
all top 5

Authors

88 Shelah, Saharon
41 Downey, Rodney Graham
30 Friedman, Sy-David
22 Remmel, Jeffrey B.
19 Stephan, Frank
18 Friedman, Harvey M.
18 Gitik, Moti
18 Pillay, Anand
16 Macintyre, Angus John
16 Nerode, Anil
15 Jäger, Gerhard
14 Buss, Samuel R.
14 Palmgren, Erik
13 Harizanov, Valentina S.
13 Rathjen, Michael
12 Baaz, Matthias
12 Slaman, Theodore A.
12 Väänänen, Jouko Antero
12 Weiermann, Andreas
11 Ash, Christopher John
11 Baldwin, John T.
11 Fitting, Melvin Chris
11 Keisler, Howard Jerome
11 Mints, Grigoriĭ Efroimovich
11 Scowcroft, Philip
10 Apter, Arthur W.
10 Arai, Toshiyasu
10 Artemov, Sergei
10 Beklemishev, Lev D.
10 Blass, Andreas Raphael
10 Cenzer, Douglas
10 Hyttinen, Tapani
10 Knight, Julia F.
10 Kohlenbach, Ulrich Wilhelm
10 Kurilić, Miloš S.
10 Nies, André Otfrid
10 Shore, Richard Arnold
10 Visser, Albert
9 Ambos-Spies, Klaus
9 Brendle, Jörg
9 Hodkinson, Ian Martin
9 Ishihara, Hajime
9 Khoussainov, Bakhadyr M.
9 Point, Françoise
9 Scedrov, Andre
9 Simpson, Stephen G.
9 Soare, Robert I.
9 Sureson, Claude
9 Wu, Guohua
8 Asperó, David
8 Beckmann, Arnold
8 Berardi, Stefano
8 Berger, Ulrich
8 Cooper, Stuart Barry
8 Coquand, Thierry
8 Ghilardi, Silvio
8 Hamkins, Joel David
8 Harrington, Leo A.
8 Jeřábek, Emil
8 Krueger, John
8 Magidor, Menachem
8 Matet, Pierre
8 Mundici, Daniele
8 Vasey, Sebastien
7 Barmpalias, George
7 Brattka, Vasco
7 Cummings, James
7 Enayat, Ali
7 Fischer, Vera
7 Gasarch, William Ian
7 Hrushovski, Ehud
7 Iemhoff, Rosalie
7 Kalantari, Iraj
7 Matiyasevich, Yuriĭ Vladimirovich
7 Miller, Joseph S.
7 Moerdijk, Ieke
7 Oliva, Paulo
7 Schlicht, Philipp
7 Sorbi, Andrea
7 Streicher, Thomas
7 Van den Berg, Benno
7 van Oosten, Jaap
7 Zapletal, Jindřich
6 Avigad, Jeremy
6 Berarducci, Alessandro
6 Bezhanishvili, Guram
6 Bridges, Douglas Suth
6 Buchholz, Wilfried
6 Cholak, Peter A.
6 D’Aquino, Paola
6 Di Nola, Antonio
6 Evans, David M.
6 Feferman, Solomon
6 Ferreira, Fernando
6 Groszek, Marcia J.
6 Gurevich, Yuri
6 Hjorth, Gregory
6 Honzik, Radek
6 Hyland, J. Martin E.
6 Jain, Sanjay
...and 1,848 more Authors
all top 5

Fields

2,474 Mathematical logic and foundations (03-XX)
375 Computer science (68-XX)
211 Order, lattices, ordered algebraic structures (06-XX)
130 General topology (54-XX)
122 Category theory; homological algebra (18-XX)
84 Group theory and generalizations (20-XX)
83 Field theory and polynomials (12-XX)
78 Combinatorics (05-XX)
57 General and overarching topics; collections (00-XX)
50 Number theory (11-XX)
47 General algebraic systems (08-XX)
42 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
40 Measure and integration (28-XX)
31 Functional analysis (46-XX)
29 Associative rings and algebras (16-XX)
28 Real functions (26-XX)
25 History and biography (01-XX)
25 Commutative algebra (13-XX)
25 Algebraic geometry (14-XX)
20 Probability theory and stochastic processes (60-XX)
19 Topological groups, Lie groups (22-XX)
17 Dynamical systems and ergodic theory (37-XX)
11 Geometry (51-XX)
10 Algebraic topology (55-XX)
9 Quantum theory (81-XX)
8 Convex and discrete geometry (52-XX)
7 Operator theory (47-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Several complex variables and analytic spaces (32-XX)
6 Manifolds and cell complexes (57-XX)
5 Global analysis, analysis on manifolds (58-XX)
4 Nonassociative rings and algebras (17-XX)
4 Operations research, mathematical programming (90-XX)
4 Information and communication theory, circuits (94-XX)
3 Partial differential equations (35-XX)
2 Ordinary differential equations (34-XX)
2 Sequences, series, summability (40-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Relativity and gravitational theory (83-XX)
1 \(K\)-theory (19-XX)
1 Special functions (33-XX)
1 Difference and functional equations (39-XX)
1 Approximations and expansions (41-XX)
1 Integral equations (45-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Differential geometry (53-XX)
1 Statistics (62-XX)
1 Numerical analysis (65-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

Citations contained in zbMATH Open

2,075 Publications have been cited 17,284 times in 10,471 Documents Cited by Year
Model theory of modules. Zbl 0593.16019
Ziegler, Martin
161
1984
Concept lattices and order in fuzzy logic. Zbl 1060.03040
Bělohlávek, Radim
141
2004
\(\Sigma_ 1^ 1\)-formulae on finite structures. Zbl 0519.03021
Ajtai, M.
132
1983
Domain theory in logical form. Zbl 0737.03006
Abramsky, Samson
131
1991
A new strongly minimal set. Zbl 0804.03020
Hrushovski, Ehud
113
1993
Uniform proofs as a foundation for logic programming. Zbl 0721.03037
Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre
92
1991
Varieties of complex algebras. Zbl 0722.08005
Goldblatt, Robert
92
1989
Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034
Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M.
87
2002
Simple theories. Zbl 0897.03036
Kim, Byunghan; Pillay, Anand
84
1997
Analytic ideals and their applications. Zbl 0932.03060
Solecki, Sławomir
82
1999
On the scheme of induction for bounded arithmetic formulas. Zbl 0647.03046
Wilkie, A. J.; Paris, J. B.
81
1987
\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures. Zbl 0566.03022
Cherlin, G.; Harrington, L.; Lachlan, A. H.
81
1985
Coalgebraic logic. Zbl 0969.03026
Moss, Lawrence S.
76
1999
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
72
2005
There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed. Zbl 0634.03047
Blass, Andreas; Shelah, Saharon
71
1987
Inclusion and exclusion dependencies in team semantics – on some logics of imperfect information. Zbl 1250.03047
Galliani, Pietro
70
2012
Infinite games played on finite graphs. Zbl 0798.90151
McNaughton, Robert
69
1993
Generic copies of countable structures. Zbl 0678.03012
Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore
66
1989
Decision problems for propositional linear logic. Zbl 0768.03003
Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan
62
1992
On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types. Zbl 0585.03019
Abraham, Uri; Rubin, Matatyahu; Shelah, Saharon
61
1985
The complexity of first-order and monadic second-order logic revisited. Zbl 1062.03032
Frick, Markus; Grohe, Martin
60
2004
A game semantics for linear logic. Zbl 0763.03008
Blass, Andreas
57
1992
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052
Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles
57
2009
Countable algebra and set existence axioms. Zbl 0575.03038
Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L.
57
1983
Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009
Makowsky, J. A.
57
2004
Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036
Makkai, M.; Reyes, G. E.
56
1995
Inductively generated formal topologies. Zbl 1070.03041
Coquand, Thierry; Sambin, Giovanni; Smith, Jan; Valentini, Silvio
56
2003
Generic structures and simple theories. Zbl 0929.03043
Chatzidakis, Z.; Pillay, A.
55
1998
Fixed-parameter tractability and completeness. IV: On completeness for W\([\) P\(]\) and PSPACE analogues. Zbl 0828.68077
Abrahamson, Karl A.; Downey, Rodney G.; Fellows, Michael R.
54
1995
Generalized algebraic theories and contextual categories. Zbl 0634.18003
Cartmell, John
53
1986
The lottery preparation. Zbl 0949.03045
Hamkins, Joel David
52
2000
Fixed-point extensions of first-order logic. Zbl 0621.03013
Gurevich, Yuri; Shelah, Saharon
50
1986
Quasi finitely axiomatizable totally categorical theories. Zbl 0592.03018
Ahlbrandt, Gisela; Ziegler, Martin
50
1986
Real closed rings. II. Model theory. Zbl 0538.03028
Cherlin, Gregory; Dickmann, Max A.
49
1983
Categoricity for abstract classes with amalgamation. Zbl 0945.03049
Shelah, Saharon
47
1999
The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\). Zbl 0673.03043
Gitik, Moti
47
1989
An axiomatic approach to self-referential truth. Zbl 0634.03058
Friedman, Harvey; Sheard, Michael
47
1987
Infinite combinatorics and definability. Zbl 0667.03037
Miller, Arnold W.
46
1989
Combinatorial principles in the core model for one Woodin cardinal. Zbl 0834.03018
Schimmerling, Ernest
46
1995
Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017
van den Dries, Lou
44
1989
A small complete category. Zbl 0659.18007
Hyland, J. M. E.
44
1988
Toward classifying unstable theories. Zbl 0874.03043
Shelah, Saharon
43
1996
Large cardinals and definable counterexamples to the continuum hypothesis. Zbl 0837.03040
Foreman, Matthew; Magidor, Menachem
43
1995
Bounded arithmetic and the polynomial hierarchy. Zbl 0736.03022
Krajíček, Jan; Pudlák, Pavel; Takeuti, Gaisi
42
1991
Proof-theoretic investigations on Kruskal’s theorem. Zbl 0786.03042
Rathjen, Michael; Weiermann, Andreas
42
1993
Unidimensional theories are superstable. Zbl 0713.03015
Hrushovski, Ehud
42
1990
Dynamical method in algebra: Effective Nullstellensätze. Zbl 0992.03076
Coste, Michel; Lombardi, Henri; Roy, Marie-Françoise
42
2001
Pseudo-exponentiation on algebraically closed fields of characteristic zero. Zbl 1076.03024
Zilber, B.
42
2005
Pairs of recursive structures. Zbl 0712.03020
Ash, C. J.; Knight, J. F.
41
1990
Wellfounded trees in categories. Zbl 1010.03056
Moerdijk, Ieke; Palmgren, Erik
41
2000
On variants of \(o\)-minimality. Zbl 0858.03039
Macpherson, Dugald; Steinhorn, Charles
41
1996
Expansions of the real field with power functions. Zbl 0823.03018
Miller, Chris
41
1994
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
41
2005
Normal functors, power series and \(\lambda\)-calculus. Zbl 0646.03056
Girard, Jean-Yves
41
1988
The structure of the models of decidable monadic theories of graphs. Zbl 0733.03026
Seese, D.
41
1991
Best solving modal equations. Zbl 0949.03010
Ghilardi, Silvio
40
2000
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
40
2000
The Manin-Mumford conjecture and the model theory of difference fields. Zbl 0987.03036
Hrushovski, Ehud
40
2001
Stable generic structures. Zbl 0857.03020
Baldwin, John T.; Shi, Niandong
40
1996
A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde
40
2005
Remarks on superatomic Boolean algebras. Zbl 0643.03038
Baumgartner, James E.; Shelah, Saharon
40
1987
The d.r.e. degrees are not dense. Zbl 0756.03020
Cooper, S. Barry; Harrington, Leo; Lachlan, Alistair H.; Lempp, Steffen; Soare, Robert I.
39
1991
Shelah’s pcf theory and its applications. Zbl 0713.03024
Burke, Maxim R.; Magidor, Menachem
39
1990
Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
39
2012
Closed choice and a uniform low basis theorem. Zbl 1251.03082
Brattka, Vasco; De Brecht, Matthew; Pauly, Arno
39
2012
Aronszajn trees on \(\aleph_2\) and \(\aleph_3\). Zbl 0516.03029
Abraham, Uri
39
1983
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
39
2006
State-morphism MV-algebras. Zbl 1186.06007
Di Nola, Antonio; Dvurečenskij, Anatolij
39
2009
Semantics of weakening and contraction. Zbl 0814.03007
Jacobs, Bart
38
1994
The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma. Zbl 1245.03097
Brattka, Vasco; Gherardi, Guido; Marcone, Alberto
38
2012
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms. Zbl 0513.03009
Longo, Giuseppe
38
1983
Quasi-Polish spaces. Zbl 1270.03086
de Brecht, Matthew
37
2013
A uniform method for proving lower bounds on the computational complexity of logical theories. Zbl 0705.03017
Compton, Kevin J.; Henson, C. Ward
37
1990
Functional interpretations of feasibly constructive arithmetic. Zbl 0780.03026
Cook, Stephen; Urquhart, Alasdair
37
1993
Inner models with many Woodin cardinals. Zbl 0805.03043
Steel, J. R.
37
1993
Globalization of intuitionistic set theory. Zbl 0633.03050
Takeuti, Gaisi; Titani, Satoko
36
1987
On the unity of logic. Zbl 0781.03044
Girard, Jean-Yves
35
1993
Toward categoricity for classes with no maximal models. Zbl 0945.03048
Shelah, Saharon; Villaveces, Andrés
34
1999
Borel equivalence relations and classifications of countable models. Zbl 0933.03056
Hjorth, Greg; Kechris, Alexander S.
34
1996
Cell decompositions of \(C\)-minimal structures. Zbl 0790.03039
Haskell, Deirdre; Macpherson, Dugald
34
1994
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045
Beklemishev, Lev D.
34
2004
Fragments of arithmetic. Zbl 0558.03029
Sieg, Wilfried
34
1985
D-completions and the \(d\)-topology. Zbl 1172.54016
Keimel, Klaus; Lawson, Jimmie D.
33
2009
On monadic MV-algebras. Zbl 1052.06010
Di Nola, Antonio; Grigolia, Revaz
33
2004
Theories without the tree property of the second kind. Zbl 1386.03035
Chernikov, Artem
33
2014
Topological reasoning and the logic of knowledge. Zbl 0861.68092
Dabrowski, Andrew; Moss, Lawrence S.; Parikh, Rohit
32
1996
Bounded functional interpretation. Zbl 1095.03060
Ferreira, Fernando; Oliva, Paulo
32
2005
Polynomial-time versus recursive models. Zbl 0756.03021
Cenzer, Douglas; Remmel, Jeffrey
31
1991
Categoricity in hyperarithmetical degrees. Zbl 0617.03016
Ash, C. J.
31
1987
Stability of recursive structures in arithmetical degrees. Zbl 0631.03016
Ash, C. J.
31
1986
A new system of proof-theoretic ordinal functions. Zbl 0655.03038
Buchholz, Wilfried
31
1986
Superstable groups. Zbl 0599.03034
Berline, Ch.; Lascar, D.
31
1986
The axioms of constructive geometry. Zbl 0836.03034
von Plato, Jan
31
1995
Intuitionistic logic and implicit definability. Zbl 0963.03044
Maksimova, Larisa
30
2000
\(\Delta^ 1_ 2\)-sets of reals. Zbl 0668.03020
Ihoda, Jaime I.; Shelah, Saharon
30
1989
Degrees of orderings not isomorphic to recursive linear orderings. Zbl 0734.03026
Jockusch, Carl G. jun.; Soare, Robert I.
30
1991
Lovely pairs of models. Zbl 1030.03026
Ben-Yaacov, Itay; Pillay, Anand; Vassiliev, Evgueni
30
2003
Aspects of general topology in constructive set theory. Zbl 1077.03035
Aczel, Peter
29
2006
Henkin quantifiers and complete problems. Zbl 0618.03016
Blass, Andreas; Gurevich, Yuri
29
1986
On Gödel incompleteness and finite combinatorics. Zbl 0627.03041
Kanamori, Akihiro; McAloon, Kenneth
29
1987
Adequate predimension inequalities in differential fields. Zbl 1491.12003
Aslanyan, Vahagn
1
2022
Infinitary action logic with exponentiation. Zbl 07458791
Kuznetsov, Stepan L.; Speranski, Stanislav O.
1
2022
Reflection algebras and conservation results for theories of iterated truth. Zbl 07501986
Beklemishev, Lev D.; Pakhomov, Fedor N.
1
2022
A characterisation of elementary fibrations. Zbl 07514090
Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
1
2022
Set theoretical analogues of the Barwise-Schlipf theorem. Zbl 07566291
Enayat, Ali
1
2022
Completion of choice. Zbl 1462.03019
Brattka, Vasco; Gherardi, Guido
7
2021
Filter-linkedness and its effect on preservation of cardinal characteristics. Zbl 07260103
Brendle, Jörg; Cardona, Miguel A.; Mejía, Diego A.
6
2021
Derivatives of normal functions in reverse mathematics. Zbl 1473.03036
Freund, Anton; Rathjen, Michael
6
2021
Ax-Schanuel and strong minimality for the \(j\)-function. Zbl 1481.12006
Aslanyan, Vahagn
3
2021
Tukey order, calibres and the rationals. Zbl 07260109
Gartside, Paul; Mamatelashvili, Ana
3
2021
Superstability, Noetherian rings and pure-semisimple rings. Zbl 07300478
Mazari-Armida, Marcos
3
2021
Dp-finite fields. I(A): The infinitesimals. Zbl 1473.03018
Johnson, Will
2
2021
Infinitesimal analysis without the axiom of choice. Zbl 07333022
Hrbacek, Karel; Katz, Mikhail G.
2
2021
\(\widetilde{|}\)-divisibility of ultrafilters. Zbl 1471.54012
Šobot, Boris
2
2021
Open core and small groups in dense pairs of topological structures. Zbl 1473.03019
Baro, Elías; Martin-Pizarro, Amador
2
2021
Small models, large cardinals, and induced ideals. Zbl 1479.03024
Holy, Peter; Lücke, Philipp
2
2021
Long games and \(\sigma \)-projective sets. Zbl 07327746
Aguilera, Juan P.; Müller, Sandra; Schlicht, Philipp
2
2021
Punctual definability on structures. Zbl 07358547
Kalimullin, Iskander; Melnikov, Alexander; Montalban, Antonio
2
2021
Games with finitely generated structures. Zbl 07404816
Krawczyk, Adam; Kubiś, Wiesław
2
2021
Local collection and end-extensions of models of compositional truth. Zbl 1473.03047
Łełyk, Mateusz; Wcisło, Bartosz
1
2021
Non-forking and preservation of NIP and dp-rank. Zbl 07333018
Estevan, Pedro Andrés; Kaplan, Itay
1
2021
Dp-finite fields. I(B): Positive characteristic. Zbl 1477.03136
Johnson, Will
1
2021
Finitely generated groups are universal among finitely generated structures. Zbl 07260102
Harrison-Trainor, Matthew; Ho, Meng-Che “Turbo”
1
2021
Complexity of syntactical tree fragments of independence-friendly logic. Zbl 07260106
Barbero, Fausto
1
2021
Towards the entropy-limit conjecture. Zbl 07285670
Landes, Jürgen; Rad, Soroush Rafiee; Williamson, Jon
1
2021
When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\). Zbl 1491.03035
Matet, Pierre
1
2021
First-order model theory of free projective planes. Zbl 07285675
Hyttinen, Tapani; Paolini, Gianluca
1
2021
Computable irrational numbers with representations of surprising complexity. Zbl 1481.03041
Georgiev, Ivan; Kristiansen, Lars; Stephan, Frank
1
2021
Unbounded towers and products. Zbl 1460.54014
Szewczak, Piotr; Włudecka, Magdalena
1
2021
Intuitionistic fixed point logic. Zbl 07300474
Berger, Ulrich; Tsuiki, Hideki
1
2021
A topological zero-one law and elementary equivalence of finitely generated groups. Zbl 07300476
Osin, D.
1
2021
Sets in Prikry and Magidor generic extensions. Zbl 07327740
Benhamou, Tom; Gitik, Moti
1
2021
Continuous extension of maps between sequential cascades. Zbl 07327742
Dolecki, Szymon; Starosolski, Andrzej
1
2021
A parametrised functional interpretation of Heyting arithmetic. Zbl 07327747
Dinis, Bruno; Oliva, Paulo
1
2021
A microscopic approach to Souslin-tree construction. II. Zbl 1477.03177
Brodsky, Ari Meir; Rinot, Assaf
1
2021
Separating families and order dimension of Turing degrees. Zbl 07328994
Kumar, Ashutosh; Raghavan, Dilip
1
2021
Some remarks on the Open Coloring Axiom. Zbl 07328995
Moore, Justin Tatch
1
2021
Universal graphs and functions on \(\omega_1\). Zbl 1485.03205
Shelah, Saharon; Steprāns, Juris
1
2021
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations. Zbl 07358548
Chan, William; Jackson, Stephen
1
2021
Banach-Stone-like results for combinatorial Banach spaces. Zbl 1480.46012
Brech, C.; Piña, C.
1
2021
Pure \(\Sigma_2\)-elementarity beyond the core. Zbl 07374869
Wilken, Gunnar
1
2021
Topological dynamics and NIP fields. Zbl 07374870
Jagiella, Grzegorz
1
2021
An approach to stochastic processes via non-classical logic. Zbl 1491.06023
Di Nola, Antonio; Dvurečenskij, Anatolij; Lapenta, Serafina
1
2021
Strongly compact cardinals and the continuum function. Zbl 1491.03036
Apter, Arthur W.; Dimopoulos, Stamatis; Usuba, Toshimichi
1
2021
Weaker cousins of Ramsey’s theorem over a weak base theory. Zbl 1490.03012
Fiori-Carones, Marta; Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.
1
2021
Pincherle’s theorem in reverse mathematics and computability theory. Zbl 1443.03008
Normann, Dag; Sanders, Sam
9
2020
Algebraic description of limit models in classes of abelian groups. Zbl 1480.03019
Mazari-Armida, Marcos
4
2020
Embeddings between well-orderings: computability-theoretic reductions. Zbl 1479.03008
Goh, Jun Le
3
2020
Characterizations of the weakly compact ideal on \(P_\kappa\lambda\). Zbl 07189163
Cody, Brent
3
2020
On expansions of \((\mathbf{Z},+,0)\). Zbl 1481.03014
Lambotte, Quentin; Point, Françoise
3
2020
The theory of ceers computes true arithmetic. Zbl 1442.03021
Andrews, Uri; Schweber, Noah; Sorbi, Andrea
3
2020
The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. Zbl 1455.03077
Ferreira, Fernando
3
2020
Diagonal supercompact Radin forcing. Zbl 1472.03058
Ben-Neria, Omer; Lambie-Hanson, Chris; Unger, Spencer
3
2020
Feasibly constructive proofs of succinct weak circuit lower bounds. Zbl 1454.03078
Müller, Moritz; Pich, Ján
2
2020
Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition. Zbl 1435.03062
Fujita, Masato
2
2020
Stationarily ordered types and the number of countable models. Zbl 1475.03090
Moconja, Slavko; Tanović, Predrag
2
2020
Herbrand’s theorem as higher order recursion. Zbl 1464.03085
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E.
2
2020
Computability of pseudo-cubes. Zbl 1481.03042
Horvat, Marko; Iljazović, Zvonko; Pažek, Bojan
2
2020
Epimorphism surjectivity in varieties of Heyting algebras. Zbl 1457.03055
Moraschini, T.; Wannenburg, J. J.
2
2020
A premouse inheriting strong cardinals from \(V\). Zbl 1485.03218
Schlutzenberg, Farmer
2
2020
Join-completions of partially ordered algebras. Zbl 1484.06056
Gil-Férez, José; Spada, Luca; Tsinakis, Constantine; Zhou, Hongjun
2
2020
Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus. Zbl 07127338
Yu, Junhua
1
2020
Resolution over linear equations modulo two. Zbl 07127339
Itsykson, Dmitry; Sokolov, Dmitry
1
2020
Remarks on generic stability in independent theories. Zbl 07135274
Conant, Gabriel; Gannon, Kyle
1
2020
Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives. Zbl 1476.03075
Sato, Kentaro
1
2020
Completeness theorems for \(\sigma \)-additive probabilistic semantics. Zbl 1452.03064
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
1
2020
Bilattice logic of epistemic actions and knowledge. Zbl 1481.03005
Bakhtiari, Zeinab; van Ditmarsch, Hans; Rivieccio, Umberto
1
2020
Definable groups in models of Presburger arithmetic. Zbl 1481.03025
Onshuus, Alf; Vicaría, Mariana
1
2020
Expander construction in \(\mathrm{VNC}^1\). Zbl 1481.03065
Buss, Sam; Kabanets, Valentine; Kolokolova, Antonina; Koucký, Michal
1
2020
The density zero ideal and the splitting number. Zbl 1481.03048
Raghavan, Dilip
1
2020
A classification of the cofinal structures of precompacta. Zbl 1452.03101
Eshed, Aviv; Vicenta Ferrer, M.; Hernández, Salvador; Szewczak, Piotr; Tsaban, Boaz
1
2020
A forcing axiom for a non-special Aronszajn tree. Zbl 1481.03053
Krueger, John
1
2020
The tree property at first and double successors of singular cardinals with an arbitrary gap. Zbl 07179724
Poveda, Alejandro
1
2020
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. Zbl 1442.03011
Hampson, Christopher; Kikot, Stanislav; Kurucz, Agi; Marcelino, Sérgio
1
2020
Silver type theorems for collapses. Zbl 1485.03188
Gitik, Moti
1
2020
Proofs and surfaces. Zbl 1452.03127
Baralić, Djordje; Curien, Pierre-Louis; Milićević, Marina; Obradović, Jovana; Petrić, Zoran; Zekić, Mladen; Živaljević, Rade T.
1
2020
Polish metric spaces with fixed distance set. Zbl 1484.03094
Camerlo, Riccardo; Marcone, Alberto; Motto Ros, Luca
1
2020
Structure and representation of semimodules over inclines. Zbl 1484.06020
Bai, Ruiqi; Yang, Yichuan
1
2020
Algorithmic correspondence and canonicity for non-distributive logics. Zbl 1477.03046
Conradie, Willem; Palmigiano, Alessandra
10
2019
The strength of compactness in computability theory and nonstandard analysis. Zbl 1430.03035
Normann, Dag; Sanders, Sam
8
2019
Finite computable dimension and degrees of categoricity. Zbl 06974479
Csima, Barbara F.; Stephenson, Jonathan
6
2019
Uniform interpolation and the existence of sequent calculi. Zbl 1475.03078
Iemhoff, Rosalie
5
2019
Provability logic and the completeness principle. Zbl 1439.03106
Visser, Albert; Zoethout, Jetze
5
2019
Model theoretic dynamics in Galois fashion. Zbl 1439.03073
Hoffmann, Daniel Max
5
2019
Fixed point theorems for precomplete numberings. Zbl 1454.03049
Barendregt, Henk; Terwijn, Sebastiaan A.
5
2019
When is scalar multiplication decidable? Zbl 1446.03029
Hieronymi, Philipp
5
2019
Categories of models of \(\mathbf{R}\)-mingle. Zbl 07078384
Fussner, Wesley; Galatos, Nick
5
2019
Reductions between types of numberings. Zbl 1439.03077
Herbert, Ian; Jain, Sanjay; Lempp, Steffen; Mustafa, Manat; Stephan, Frank
4
2019
The Nikodym property and cardinal characteristics of the continuum. Zbl 06974477
Sobota, Damian
4
2019
Reverse mathematics and parameter-free transfer. Zbl 06994737
van den Berg, Benno; Sanders, Sam
4
2019
Categoricity in multiuniversal classes. Zbl 07114345
Ackerman, Nathanael; Boney, Will; Vasey, Sebastien
3
2019
Small embedding characterizations for large cardinals. Zbl 1404.03043
Holy, Peter; Lücke, Philipp; Njegomir, Ana
3
2019
On modal logics arising from scattered locally compact Hausdorff spaces. Zbl 1472.03015
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
3
2019
A new look at interpretability and saturation. Zbl 1472.03030
Malliaris, M.; Shelah, S.
3
2019
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. Zbl 1459.03091
Fujiwara, Makoto; Kawai, Tatsuji
2
2019
Vaught’s conjecture for monomorphic theories. Zbl 1459.03039
Kurilić, Miloš S.
2
2019
Infinitary first-order categorical logic. Zbl 1445.03077
Espíndola, Christian
2
2019
On stably pointed varieties and generically stable groups in ACVF. Zbl 1477.03149
Halevi, Yatir
2
2019
On the existence of skinny stationary subsets. Zbl 1472.03046
Matsubara, Yo; Sakai, Hiroshi; Usuba, Toshimichi
2
2019
Computability-theoretic categoricity and Scott families. Zbl 1441.03031
Fokina, Ekaterina; Harizanov, Valentina; Turetsky, Daniel
2
2019
...and 1482 more Documents
all top 5

Cited by 5,972 Authors

248 Shelah, Saharon
109 Downey, Rodney Graham
72 Friedman, Sy-David
71 Pillay, Anand
56 Apter, Arthur W.
45 Bazhenov, Nikolaĭ Alekseevich
45 Stephan, Frank
43 Gitik, Moti
42 Rathjen, Michael
41 Nies, André Otfrid
39 Montalbán, Antonio
38 Hamkins, Joel David
38 Lempp, Steffen
38 Melnikov, Alexander G.
38 Remmel, Jeffrey B.
37 Greenberg, Noam
37 Shore, Richard Arnold
36 Knight, Julia F.
36 Prest, Mike
35 Baldwin, John T.
35 Hrushovski, Ehud
35 Schindler, Ralf-Dieter
34 Cenzer, Douglas
33 Courcelle, Bruno
33 Harizanov, Valentina S.
33 Ng, KengMeng
32 Hrušák, Michael
32 Kohlenbach, Ulrich Wilhelm
31 Hyttinen, Tapani
30 Bezhanishvili, Guram
30 Kalimullin, Iskander Shagitovich
29 Vasey, Sebastien
28 Bělohlávek, Radim
28 Point, Françoise
27 Bezhanishvili, Nick
27 Khoussainov, Bakhadyr M.
27 Kulpeshov, Beibut Shaiykovich
27 Todorcevic, Stevo B.
27 Visser, Albert
26 Brattka, Vasco
26 Ishihara, Hajime
26 Kurilić, Miloš S.
26 Rinot, Assaf
26 Schuster, Peter Michael
26 Toffalori, Carlo
25 Arai, Toshiyasu
25 Brendle, Jörg
25 Jain, Sanjay
25 Li, Qingguo
25 Rybakov, Vladimir Vladimirovich
25 Weiermann, Andreas
25 Wu, Guohua
24 Bridges, Douglas Suth
24 Makowsky, Johann-Andreas
24 Neeman, Itay
24 Pauly, Arno M.
24 Simpson, Stephen G.
24 Slaman, Theodore A.
24 Vychodil, Vilém
23 Cummings, James
23 Hodkinson, Ian Martin
23 Jäger, Gerhard
23 Jeřábek, Emil
23 Magidor, Menachem
23 Maksimova, Larisa L’vovna
23 Malliaris, Maryanthe Elizabeth
23 Miller, Russell G.
23 Palmigiano, Alessandra
23 Väänänen, Jouko Antero
22 Andrews, Uri
22 Cholak, Peter A.
22 Gehrke, Mai
22 Palmgren, Erik
22 Sanders, Sam
22 Schlicht, Philipp
22 Selivanov, Viktor L’vovich
22 Sorbi, Andrea
22 Thomas, Simon R.
21 Baaz, Matthias
21 Beklemishev, Lev D.
21 Ben-Yaacov, Itaï
21 Eleftheriou, Pantelis E.
21 Ghilardi, Silvio
21 Iemhoff, Rosalie
21 Macpherson, Dugald
21 Mildenberger, Heike
21 Miller, Joseph S.
21 Montanari, Angelo
21 Simon, Pierre
21 Steel, John R.
21 Studer, Thomas
21 Wagner, Frank Olaf
21 Zdoms’kyĭ, Lyubomyr Sergiĭovych
20 Blass, Andreas Raphael
20 Fernández Duque, David
20 Harrison-Trainor, Matthew
20 Kanovei, Vladimir G.
20 Kim, Byunghan
20 Kontinen, Juha
20 Laskowski, Michael Chris
...and 5,872 more Authors
all top 5

Cited in 425 Journals

1,449 Annals of Pure and Applied Logic
1,169 The Journal of Symbolic Logic
563 Archive for Mathematical Logic
544 Theoretical Computer Science
219 Information and Computation
215 Israel Journal of Mathematics
204 The Bulletin of Symbolic Logic
196 Transactions of the American Mathematical Society
195 Mathematical Logic Quarterly (MLQ)
179 Studia Logica
174 Proceedings of the American Mathematical Society
171 Notre Dame Journal of Formal Logic
170 Topology and its Applications
157 MSCS. Mathematical Structures in Computer Science
152 Journal of Pure and Applied Algebra
148 Fuzzy Sets and Systems
141 Journal of Mathematical Logic
124 Logical Methods in Computer Science
120 Advances in Mathematics
101 The Review of Symbolic Logic
98 Journal of Computer and System Sciences
95 Algebra and Logic
85 Journal of Algebra
81 Algebra Universalis
72 Fundamenta Mathematicae
71 Journal of Philosophical Logic
65 Soft Computing
64 Journal of Applied Non-Classical Logics
63 Annals of Mathematics and Artificial Intelligence
63 Theory of Computing Systems
61 Synthese
52 Journal of Automated Reasoning
49 Communications in Algebra
47 Siberian Mathematical Journal
42 Information Sciences
41 Order
41 Journal of Applied Logic
40 Journal of Mathematical Sciences (New York)
38 Journal of Logic, Language and Information
38 Logica Universalis
37 Information Processing Letters
37 International Journal of Approximate Reasoning
36 Discrete Applied Mathematics
33 ACM Transactions on Computational Logic
29 Discrete Mathematics
28 Applied Categorical Structures
27 Journal of Mathematical Analysis and Applications
24 Artificial Intelligence
23 Journal of the American Mathematical Society
23 Computational Complexity
23 Selecta Mathematica. New Series
23 Lobachevskii Journal of Mathematics
22 Indagationes Mathematicae. New Series
21 Acta Mathematica Hungarica
21 Journal of Symbolic Computation
21 Journal of Functional Programming
21 Computability
20 International Journal of Foundations of Computer Science
20 The Journal of Logic and Algebraic Programming
19 Algorithmica
19 Journal of the Institute of Mathematics of Jussieu
19 Journal of Logic and Analysis
18 Journal of Logical and Algebraic Methods in Programming
17 International Journal of Algebra and Computation
17 Sibirskie Èlektronnye Matematicheskie Izvestiya
15 European Journal of Combinatorics
15 Journal of Algebra and its Applications
14 Acta Informatica
14 Mathematical Proceedings of the Cambridge Philosophical Society
14 Memoirs of the American Mathematical Society
14 Journal of the European Mathematical Society (JEMS)
14 RAIRO. Theoretical Informatics and Applications
14 Theory and Practice of Logic Programming
14 Forum of Mathematics, Sigma
13 Mathematica Slovaca
13 SIAM Journal on Computing
13 Journal of Complexity
13 Formal Aspects of Computing
12 Theory and Applications of Categories
11 Mathematische Zeitschrift
11 History and Philosophy of Logic
11 Doklady Mathematics
10 Archiv für Mathematische Logik und Grundlagenforschung
10 International Journal of General Systems
10 Mathematical Notes
10 Journal of Combinatorial Theory. Series A
10 Journal of Functional Analysis
10 Ergodic Theory and Dynamical Systems
10 Forum Mathematicum
10 Logic and Logical Philosophy
9 Annales de l’Institut Fourier
9 Monatshefte für Mathematik
9 Bulletin of the American Mathematical Society. New Series
9 Annals of Mathematics. Second Series
9 Comptes Rendus. Mathématique. Académie des Sciences, Paris
9 Proceedings of the Steklov Institute of Mathematics
8 Illinois Journal of Mathematics
8 Inventiones Mathematicae
8 Journal of the Mathematical Society of Japan
8 Russian Mathematics
...and 325 more Journals
all top 5

Cited in 58 Fields

8,359 Mathematical logic and foundations (03-XX)
2,570 Computer science (68-XX)
967 Order, lattices, ordered algebraic structures (06-XX)
641 General topology (54-XX)
561 Category theory; homological algebra (18-XX)
456 Combinatorics (05-XX)
443 Group theory and generalizations (20-XX)
325 Field theory and polynomials (12-XX)
246 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
178 General algebraic systems (08-XX)
175 Number theory (11-XX)
173 Functional analysis (46-XX)
170 Associative rings and algebras (16-XX)
158 Commutative algebra (13-XX)
152 Algebraic geometry (14-XX)
147 Measure and integration (28-XX)
110 History and biography (01-XX)
110 Real functions (26-XX)
105 Topological groups, Lie groups (22-XX)
98 Dynamical systems and ergodic theory (37-XX)
85 Probability theory and stochastic processes (60-XX)
78 General and overarching topics; collections (00-XX)
67 Information and communication theory, circuits (94-XX)
59 Quantum theory (81-XX)
55 Geometry (51-XX)
50 Operator theory (47-XX)
46 Operations research, mathematical programming (90-XX)
42 Algebraic topology (55-XX)
38 Several complex variables and analytic spaces (32-XX)
30 Sequences, series, summability (40-XX)
29 Linear and multilinear algebra; matrix theory (15-XX)
24 Manifolds and cell complexes (57-XX)
22 Convex and discrete geometry (52-XX)
19 Numerical analysis (65-XX)
14 Ordinary differential equations (34-XX)
13 Functions of a complex variable (30-XX)
13 Difference and functional equations (39-XX)
12 Global analysis, analysis on manifolds (58-XX)
12 Biology and other natural sciences (92-XX)
11 Nonassociative rings and algebras (17-XX)
11 Statistics (62-XX)
11 Statistical mechanics, structure of matter (82-XX)
10 Approximations and expansions (41-XX)
10 Abstract harmonic analysis (43-XX)
9 \(K\)-theory (19-XX)
7 Differential geometry (53-XX)
7 Systems theory; control (93-XX)
6 Partial differential equations (35-XX)
4 Special functions (33-XX)
3 Harmonic analysis on Euclidean spaces (42-XX)
3 Relativity and gravitational theory (83-XX)
3 Mathematics education (97-XX)
2 Integral equations (45-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
1 Potential theory (31-XX)
1 Integral transforms, operational calculus (44-XX)
1 Mechanics of deformable solids (74-XX)
1 Classical thermodynamics, heat transfer (80-XX)

Citations by Year