×

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,523 Publications (since 1983)
References Indexed: 2,386 Publications with 50,001 References.
all top 5

Latest Issues

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)
164, No. 12 (2013)
164, No. 11 (2013)
164, No. 10 (2013)
164, No. 9 (2013)
...and 296 more Volumes
all top 5

Authors

87 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
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 Visser, Albert
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 Mundici, Daniele
7 Barmpalias, George
7 Brattka, Vasco
7 Cummings, James
7 Gasarch, William Ian
7 Hrushovski, Ehud
7 Iemhoff, Rosalie
7 Kalantari, Iraj
7 Matet, Pierre
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 Vasey, Sebastien
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
6 Japaridze, Giorgi
6 Kim, Byunghan
...and 1,823 more Authors
all top 5

Fields

2,445 Mathematical logic and foundations (03-XX)
371 Computer science (68-XX)
209 Order, lattices, ordered algebraic structures (06-XX)
128 General topology (54-XX)
121 Category theory; homological algebra (18-XX)
83 Field theory and polynomials (12-XX)
83 Group theory and generalizations (20-XX)
77 Combinatorics (05-XX)
57 General and overarching topics; collections (00-XX)
50 Number theory (11-XX)
46 General algebraic systems (08-XX)
42 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
39 Measure and integration (28-XX)
30 Functional analysis (46-XX)
28 Associative rings and algebras (16-XX)
28 Real functions (26-XX)
25 History and biography (01-XX)
24 Commutative algebra (13-XX)
24 Algebraic geometry (14-XX)
20 Probability theory and stochastic processes (60-XX)
17 Topological groups, Lie groups (22-XX)
17 Dynamical systems and ergodic theory (37-XX)
11 Geometry (51-XX)
10 Algebraic topology (55-XX)
8 Convex and discrete geometry (52-XX)
8 Quantum theory (81-XX)
7 Operator theory (47-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Manifolds and cell complexes (57-XX)
5 Several complex variables and analytic spaces (32-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)
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 Numerical analysis (65-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Relativity and gravitational theory (83-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

Citations contained in zbMATH Open

2,046 Publications have been cited 16,768 times in 10,154 Documents Cited by Year
Model theory of modules. Zbl 0593.16019
Ziegler, Martin
160
1984
Concept lattices and order in fuzzy logic. Zbl 1060.03040
Bělohlávek, Radim
139
2004
Domain theory in logical form. Zbl 0737.03006
Abramsky, Samson
126
1991
\(\Sigma_ 1^ 1\)-formulae on finite structures. Zbl 0519.03021
Ajtai, M.
124
1983
A new strongly minimal set. Zbl 0804.03020
Hrushovski, Ehud
112
1993
Varieties of complex algebras. Zbl 0722.08005
Goldblatt, Robert
91
1989
Uniform proofs as a foundation for logic programming. Zbl 0721.03037
Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre
90
1991
Simple theories. Zbl 0897.03036
Kim, Byunghan; Pillay, Anand
84
1997
Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034
Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M.
83
2002
\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures. Zbl 0566.03022
Cherlin, G.; Harrington, L.; Lachlan, A. H.
81
1985
On the scheme of induction for bounded arithmetic formulas. Zbl 0647.03046
Wilkie, A. J.; Paris, J. B.
80
1987
Analytic ideals and their applications. Zbl 0932.03060
Solecki, Sławomir
79
1999
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
Coalgebraic logic. Zbl 0969.03026
Moss, Lawrence S.
69
1999
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
68
2005
Generic copies of countable structures. Zbl 0678.03012
Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore
66
1989
Infinite games played on finite graphs. Zbl 0798.90151
McNaughton, Robert
64
1993
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
60
1985
The complexity of first-order and monadic second-order logic revisited. Zbl 1062.03032
Frick, Markus; Grohe, Martin
57
2004
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
A game semantics for linear logic. Zbl 0763.03008
Blass, Andreas
57
1992
Decision problems for propositional linear logic. Zbl 0768.03003
Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan
57
1992
Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009
Makowsky, J. A.
56
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
55
2003
Inclusion and exclusion dependencies in team semantics – on some logics of imperfect information. Zbl 1250.03047
Galliani, Pietro
55
2012
Countable algebra and set existence axioms. Zbl 0575.03038
Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L.
55
1983
Generic structures and simple theories. Zbl 0929.03043
Chatzidakis, Z.; Pillay, A.
54
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.
53
1995
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
Real closed rings. II. Model theory. Zbl 0538.03028
Cherlin, Gregory; Dickmann, Max A.
49
1983
Quasi finitely axiomatizable totally categorical theories. Zbl 0592.03018
Ahlbrandt, Gisela; Ziegler, Martin
49
1986
Generalized algebraic theories and contextual categories. Zbl 0634.18003
Cartmell, John
48
1986
Categoricity for abstract classes with amalgamation. Zbl 0945.03049
Shelah, Saharon
46
1999
Combinatorial principles in the core model for one Woodin cardinal. Zbl 0834.03018
Schimmerling, Ernest
46
1995
The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\). Zbl 0673.03043
Gitik, Moti
46
1989
An axiomatic approach to self-referential truth. Zbl 0634.03058
Friedman, Harvey; Sheard, Michael
45
1987
Large cardinals and definable counterexamples to the continuum hypothesis. Zbl 0837.03040
Foreman, Matthew; Magidor, Menachem
43
1995
Toward classifying unstable theories. Zbl 0874.03043
Shelah, Saharon
43
1996
Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017
van den Dries, Lou
43
1989
Unidimensional theories are superstable. Zbl 0713.03015
Hrushovski, Ehud
42
1990
Bounded arithmetic and the polynomial hierarchy. Zbl 0736.03022
Krajíček, Jan; Pudlák, Pavel; Takeuti, Gaisi
42
1991
Pseudo-exponentiation on algebraically closed fields of characteristic zero. Zbl 1076.03024
Zilber, B.
41
2005
Proof-theoretic investigations on Kruskal’s theorem. Zbl 0786.03042
Rathjen, Michael; Weiermann, Andreas
41
1993
A small complete category. Zbl 0659.18007
Hyland, J. M. E.
41
1988
Infinite combinatorics and definability. Zbl 0667.03037
Miller, Arnold W.
41
1989
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
40
2005
Stable generic structures. Zbl 0857.03020
Baldwin, John T.; Shi, Niandong
40
1996
Pairs of recursive structures. Zbl 0712.03020
Ash, C. J.; Knight, J. F.
40
1990
Dynamical method in algebra: Effective Nullstellensätze. Zbl 0992.03076
Coste, Michel; Lombardi, Henri; Roy, Marie-Françoise
40
2001
Remarks on superatomic Boolean algebras. Zbl 0643.03038
Baumgartner, James E.; Shelah, Saharon
40
1987
Closed choice and a uniform low basis theorem. Zbl 1251.03082
Brattka, Vasco; De Brecht, Matthew; Pauly, Arno
39
2012
On variants of \(o\)-minimality. Zbl 0858.03039
Macpherson, Dugald; Steinhorn, Charles
39
1996
A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde
39
2005
Shelah’s pcf theory and its applications. Zbl 0713.03024
Burke, Maxim R.; Magidor, Menachem
39
1990
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
Wellfounded trees in categories. Zbl 1010.03056
Moerdijk, Ieke; Palmgren, Erik
39
2000
Aronszajn trees on \(\aleph_2\) and \(\aleph_3\). Zbl 0516.03029
Abraham, Uri
39
1983
The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma. Zbl 1245.03097
Brattka, Vasco; Gherardi, Guido; Marcone, Alberto
38
2012
The Manin-Mumford conjecture and the model theory of difference fields. Zbl 0987.03036
Hrushovski, Ehud
38
2001
Best solving modal equations. Zbl 0949.03010
Ghilardi, Silvio
38
2000
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms. Zbl 0513.03009
Longo, Giuseppe
38
1983
Normal functors, power series and \(\lambda\)-calculus. Zbl 0646.03056
Girard, Jean-Yves
38
1988
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
38
2000
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
37
2006
Inner models with many Woodin cardinals. Zbl 0805.03043
Steel, J. R.
37
1993
State-morphism MV-algebras. Zbl 1186.06007
Di Nola, Antonio; Dvurečenskij, Anatolij
37
2009
Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
36
2012
Globalization of intuitionistic set theory. Zbl 0633.03050
Takeuti, Gaisi; Titani, Satoko
36
1987
Semantics of weakening and contraction. Zbl 0814.03007
Jacobs, Bart
36
1994
Functional interpretations of feasibly constructive arithmetic. Zbl 0780.03026
Cook, Stephen; Urquhart, Alasdair
35
1993
Fragments of arithmetic. Zbl 0558.03029
Sieg, Wilfried
34
1985
Quasi-Polish spaces. Zbl 1270.03086
de Brecht, Matthew
34
2013
A uniform method for proving lower bounds on the computational complexity of logical theories. Zbl 0705.03017
Compton, Kevin J.; Henson, C. Ward
34
1990
The structure of the models of decidable monadic theories of graphs. Zbl 0733.03026
Seese, D.
34
1991
On the unity of logic. Zbl 0781.03044
Girard, Jean-Yves
34
1993
Toward categoricity for classes with no maximal models. Zbl 0945.03048
Shelah, Saharon; Villaveces, Andrés
33
1999
Borel equivalence relations and classifications of countable models. Zbl 0933.03056
Hjorth, Greg; Kechris, Alexander S.
32
1996
Bounded functional interpretation. Zbl 1095.03060
Ferreira, Fernando; Oliva, Paulo
32
2005
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045
Beklemishev, Lev D.
32
2004
Cell decompositions of \(C\)-minimal structures. Zbl 0790.03039
Haskell, Deirdre; Macpherson, Dugald
32
1994
The axioms of constructive geometry. Zbl 0836.03034
von Plato, Jan
31
1995
Theories without the tree property of the second kind. Zbl 1386.03035
Chernikov, Artem
31
2014
Superstable groups. Zbl 0599.03034
Berline, Ch.; Lascar, D.
31
1986
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
Lovely pairs of models. Zbl 1030.03026
Ben-Yaacov, Itay; Pillay, Anand; Vassiliev, Evgueni
30
2003
Topological reasoning and the logic of knowledge. Zbl 0861.68092
Dabrowski, Andrew; Moss, Lawrence S.; Parikh, Rohit
30
1996
D-completions and the \(d\)-topology. Zbl 1172.54016
Keimel, Klaus; Lawson, Jimmie D.
30
2009
Degrees of orderings not isomorphic to recursive linear orderings. Zbl 0734.03026
Jockusch, Carl G. jun.; Soare, Robert I.
30
1991
Polynomial-time versus recursive models. Zbl 0756.03021
Cenzer, Douglas; Remmel, Jeffrey
30
1991
Aspects of general topology in constructive set theory. Zbl 1077.03035
Aczel, Peter
29
2006
On monadic MV-algebras. Zbl 1052.06010
Di Nola, Antonio; Grigolia, Revaz
29
2004
Topology and duality in modal logic. Zbl 0643.03014
Sambin, Giovanni; Vaccaro, Virginia
29
1988
\(\Delta^ 1_ 2\)-sets of reals. Zbl 0668.03020
Ihoda, Jaime I.; Shelah, Saharon
29
1989
Intuitionistic logic and implicit definability. Zbl 0963.03044
Maksimova, Larisa
29
2000
Introduction to computability logic. Zbl 1028.03025
Japaridze, Giorgi
28
2003
Derivatives of normal functions in reverse mathematics. Zbl 1473.03036
Freund, Anton; Rathjen, Michael
5
2021
Completion of choice. Zbl 1462.03019
Brattka, Vasco; Gherardi, Guido
5
2021
Filter-linkedness and its effect on preservation of cardinal characteristics. Zbl 07260103
Brendle, Jörg; Cardona, Miguel A.; Mejía, Diego A.
3
2021
Tukey order, calibres and the rationals. Zbl 07260109
Gartside, Paul; Mamatelashvili, Ana
3
2021
Ax-Schanuel and strong minimality for the \(j\)-function. Zbl 1481.12006
Aslanyan, Vahagn
2
2021
Small models, large cardinals, and induced ideals. Zbl 1479.03024
Holy, Peter; Lücke, Philipp
2
2021
Superstability, Noetherian rings and pure-semisimple rings. Zbl 07300478
Mazari-Armida, Marcos
2
2021
Long games and \(\sigma \)-projective sets. Zbl 07327746
Aguilera, Juan P.; Müller, Sandra; Schlicht, Philipp
2
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
Weaker cousins of Ramsey’s theorem over a weak base theory. Zbl 07404819
Fiori-Carones, Marta; Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.
1
2021
Finitely generated groups are universal among finitely generated structures. Zbl 07260102
Harrison-Trainor, Matthew; Ho, Meng-Che “Turbo”
1
2021
\(\widetilde{|}\)-divisibility of ultrafilters. Zbl 1471.54012
Šobot, Boris
1
2021
Open core and small groups in dense pairs of topological structures. Zbl 1473.03019
Baro, Elías; Martin-Pizarro, Amador
1
2021
Complexity of syntactical tree fragments of independence-friendly logic. Zbl 07260106
Barbero, Fausto
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
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
Pure \(\Sigma_2\)-elementarity beyond the core. Zbl 07374869
Wilken, Gunnar
1
2021
Topological dynamics and NIP fields. Zbl 07374870
Jagiella, Grzegorz
1
2021
Strongly compact cardinals and the continuum function. Zbl 07374873
Apter, Arthur W.; Dimopoulos, Stamatis; Usuba, Toshimichi
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
Local collection and end-extensions of models of compositional truth. Zbl 1473.03047
Łełyk, Mateusz; Wcisło, Bartosz
1
2021
Dp-finite fields. I(B): Positive characteristic. Zbl 1477.03136
Johnson, Will
1
2021
Universal graphs and functions on \(\omega_1\). Zbl 07358546
Shelah, Saharon; Steprāns, Juris
1
2021
Punctual definability on structures. Zbl 07358547
Kalimullin, Iskander; Melnikov, Alexander; Montalban, Antonio
1
2021
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations. Zbl 07358548
Chan, William; Jackson, Stephen
1
2021
Pincherle’s theorem in reverse mathematics and computability theory. Zbl 1443.03008
Normann, Dag; Sanders, Sam
6
2020
Algebraic description of limit models in classes of abelian groups. Zbl 1480.03019
Mazari-Armida, Marcos
4
2020
Diagonal supercompact Radin forcing. Zbl 1472.03058
Ben-Neria, Omer; Lambie-Hanson, Chris; Unger, Spencer
3
2020
On expansions of \((\mathbf{Z},+,0)\). Zbl 1481.03014
Lambotte, Quentin; Point, Françoise
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 07240981
Schlutzenberg, Farmer
2
2020
The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. Zbl 1455.03077
Ferreira, Fernando
2
2020
Stationarily ordered types and the number of countable models. Zbl 1475.03090
Moconja, Slavko; Tanović, Predrag
2
2020
Embeddings between well-orderings: computability-theoretic reductions. Zbl 1479.03008
Goh, Jun Le
2
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
The theory of ceers computes true arithmetic. Zbl 1442.03021
Andrews, Uri; Schweber, Noah; Sorbi, Andrea
1
2020
A forcing axiom for a non-special Aronszajn tree. Zbl 1481.03053
Krueger, John
1
2020
Silver type theorems for collapses. Zbl 07240980
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
Join-completions of partially ordered algebras. Zbl 07257241
Gil-Férez, José; Spada, Luca; Tsinakis, Constantine; Zhou, Hongjun
1
2020
Structure and representation of semimodules over inclines. Zbl 07257242
Bai, Ruiqi; Yang, Yichuan
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
Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition. Zbl 1435.03062
Fujita, Masato
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
Bilattice logic of epistemic actions and knowledge. Zbl 1481.03005
Bakhtiari, Zeinab; van Ditmarsch, Hans; Rivieccio, Umberto
1
2020
Characterizations of the weakly compact ideal on \(P_\kappa\lambda\). Zbl 07189163
Cody, Brent
1
2020
Herbrand’s theorem as higher order recursion. Zbl 1464.03085
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E.
1
2020
Definable groups in models of Presburger arithmetic. Zbl 1481.03025
Onshuus, Alf; Vicaría, Mariana
1
2020
Algorithmic correspondence and canonicity for non-distributive logics. Zbl 1477.03046
Conradie, Willem; Palmigiano, Alessandra
9
2019
Finite computable dimension and degrees of categoricity. Zbl 06974479
Csima, Barbara F.; Stephenson, Jonathan
6
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
The strength of compactness in computability theory and nonstandard analysis. Zbl 1430.03035
Normann, Dag; Sanders, Sam
5
2019
Provability logic and the completeness principle. Zbl 1439.03106
Visser, Albert; Zoethout, Jetze
5
2019
Fixed point theorems for precomplete numberings. Zbl 1454.03049
Barendregt, Henk; Terwijn, Sebastiaan A.
4
2019
Reductions between types of numberings. Zbl 1439.03077
Herbert, Ian; Jain, Sanjay; Lempp, Steffen; Mustafa, Manat; Stephan, Frank
4
2019
Reverse mathematics and parameter-free transfer. Zbl 06994737
van den Berg, Benno; Sanders, Sam
4
2019
Model theoretic dynamics in Galois fashion. Zbl 1439.03073
Hoffmann, Daniel Max
4
2019
The Nikodym property and cardinal characteristics of the continuum. Zbl 06974477
Sobota, Damian
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
Small embedding characterizations for large cardinals. Zbl 1404.03043
Holy, Peter; Lücke, Philipp; Njegomir, Ana
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
On the complexity of the Leibniz hierarchy. Zbl 07049925
Moraschini, Tommaso
2
2019
Uniform interpolation and coherence. Zbl 07049926
Kowalski, Tomasz; Metcalfe, George
2
2019
Categorical linearly ordered structures. Zbl 1435.03076
Downey, Rod; Melnikov, Alexander; Ng, Keng Meng
1
2019
Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions. Zbl 1461.03057
Kawai, Tatsuji
1
2019
Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable. Zbl 06974480
Atmai, Rachid; Sargsyan, Grigor
1
2019
On eigenvectors, approximations and the Feynman propagator. Zbl 06974481
Hirvonen, Åsa; Hyttinen, Tapani
1
2019
Descriptive complexity of graph spectra. Zbl 1430.68119
Dawar, Anuj; Severini, Simone; Zapata, Octavio
1
2019
Uniform interpolation and the existence of sequent calculi. Zbl 1475.03078
Iemhoff, Rosalie
1
2019
Categoricity in multiuniversal classes. Zbl 07114345
Ackerman, Nathanael; Boney, Will; Vasey, Sebastien
1
2019
A strict implication calculus for compact Hausdorff spaces. Zbl 1446.03041
Bezhanishvili, G.; Bezhanishvili, N.; Santoli, T.; Venema, Y.
1
2019
Categories with families and first-order logic with dependent sorts. Zbl 1458.18003
Palmgren, Erik
1
2019
Model-completions for abelian lattice-ordered groups with finitely many disjoint elements. Zbl 07049211
Scowcroft, Philip
1
2019
Existential monadic second order logic of undirected graphs: the Le Bars conjecture is false. Zbl 1477.03157
Popova, S. N.; Zhukovskii, M. E.
1
2019
Isolated maximal d.r.e. degrees. Zbl 07011464
Liu, Yong
1
2019
Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories. Zbl 1469.03096
Kruckman, Alex; Ramsey, Nicholas
8
2018
Characterizations of pretameness and the Ord-cc. Zbl 1469.03148
Holy, Peter; Krapf, Regula; Schlicht, Philipp
7
2018
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\). Zbl 1426.03039
Ardeshir, Mohammad; Mojtahedi, Mojtaba
7
2018
Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic. Zbl 1477.03103
Rönnholm, Raine
7
2018
First order theory of cyclically ordered groups. Zbl 1469.03104
Giraudet, M.; Leloup, G.; Lucas, F.
6
2018
Jumps of computably enumerable equivalence relations. Zbl 1406.03055
Andrews, Uri; Sorbi, Andrea
6
2018
...and 1477 more Documents
all top 5

Cited by 5,799 Authors

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

Cited in 413 Journals

1,428 Annals of Pure and Applied Logic
1,144 The Journal of Symbolic Logic
547 Archive for Mathematical Logic
540 Theoretical Computer Science
211 Israel Journal of Mathematics
210 Information and Computation
202 The Bulletin of Symbolic Logic
195 Transactions of the American Mathematical Society
195 Mathematical Logic Quarterly (MLQ)
174 Studia Logica
170 Proceedings of the American Mathematical Society
169 Notre Dame Journal of Formal Logic
167 Topology and its Applications
153 MSCS. Mathematical Structures in Computer Science
150 Journal of Pure and Applied Algebra
148 Fuzzy Sets and Systems
130 Journal of Mathematical Logic
119 Advances in Mathematics
105 Logical Methods in Computer Science
100 The Review of Symbolic Logic
98 Journal of Computer and System Sciences
91 Algebra and Logic
84 Journal of Algebra
80 Algebra Universalis
69 Fundamenta Mathematicae
68 Journal of Philosophical Logic
64 Journal of Applied Non-Classical Logics
63 Annals of Mathematics and Artificial Intelligence
63 Theory of Computing Systems
61 Synthese
61 Soft Computing
52 Journal of Automated Reasoning
49 Communications in Algebra
45 Siberian Mathematical Journal
42 Information Sciences
41 Journal of Applied Logic
40 Order
40 Journal of Mathematical Sciences (New York)
38 Journal of Logic, Language and Information
37 Information Processing Letters
37 Logica Universalis
36 Discrete Applied Mathematics
35 International Journal of Approximate Reasoning
33 ACM Transactions on Computational Logic
29 Discrete Mathematics
27 Journal of Mathematical Analysis and Applications
26 Applied Categorical Structures
24 Artificial Intelligence
23 Journal of the American Mathematical Society
23 Computational Complexity
23 Selecta Mathematica. New Series
22 Indagationes Mathematicae. New Series
21 Journal of Symbolic Computation
21 Journal of Functional Programming
21 Lobachevskii Journal of Mathematics
21 Computability
20 Acta Mathematica Hungarica
20 International Journal of Foundations of Computer Science
20 The Journal of Logic and Algebraic Programming
19 Journal of the Institute of Mathematics of Jussieu
19 Journal of Logic and Analysis
18 Algorithmica
17 Sibirskie Èlektronnye Matematicheskie Izvestiya
17 Journal of Logical and Algebraic Methods in Programming
16 International Journal of Algebra and Computation
14 Mathematical Proceedings of the Cambridge Philosophical Society
14 European Journal of Combinatorics
14 Journal of the European Mathematical Society (JEMS)
14 RAIRO. Theoretical Informatics and Applications
14 Theory and Practice of Logic Programming
14 Journal of Algebra and its Applications
13 Acta Informatica
13 Memoirs of the American Mathematical Society
13 Journal of Complexity
13 Formal Aspects of Computing
12 SIAM Journal on Computing
12 Forum of Mathematics, Sigma
11 Mathematica Slovaca
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 Theory and Applications of Categories
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 Journal of the Mathematical Society of Japan
8 Russian Mathematics
8 Algebras and Representation Theory
...and 313 more Journals
all top 5

Cited in 57 Fields

8,121 Mathematical logic and foundations (03-XX)
2,454 Computer science (68-XX)
941 Order, lattices, ordered algebraic structures (06-XX)
625 General topology (54-XX)
542 Category theory; homological algebra (18-XX)
448 Combinatorics (05-XX)
434 Group theory and generalizations (20-XX)
317 Field theory and polynomials (12-XX)
239 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
171 General algebraic systems (08-XX)
169 Functional analysis (46-XX)
166 Number theory (11-XX)
166 Associative rings and algebras (16-XX)
155 Commutative algebra (13-XX)
146 Algebraic geometry (14-XX)
146 Measure and integration (28-XX)
110 History and biography (01-XX)
109 Real functions (26-XX)
101 Topological groups, Lie groups (22-XX)
95 Dynamical systems and ergodic theory (37-XX)
83 Probability theory and stochastic processes (60-XX)
78 General and overarching topics; collections (00-XX)
66 Information and communication theory, circuits (94-XX)
55 Geometry (51-XX)
55 Quantum theory (81-XX)
48 Operator theory (47-XX)
45 Operations research, mathematical programming (90-XX)
41 Algebraic topology (55-XX)
37 Several complex variables and analytic spaces (32-XX)
30 Linear and multilinear algebra; matrix theory (15-XX)
30 Sequences, series, summability (40-XX)
24 Manifolds and cell complexes (57-XX)
22 Convex and discrete geometry (52-XX)
18 Numerical analysis (65-XX)
13 Functions of a complex variable (30-XX)
13 Ordinary differential equations (34-XX)
13 Difference and functional equations (39-XX)
12 Biology and other natural sciences (92-XX)
11 Nonassociative rings and algebras (17-XX)
11 Global analysis, analysis on manifolds (58-XX)
11 Statistical mechanics, structure of matter (82-XX)
10 Statistics (62-XX)
9 Abstract harmonic analysis (43-XX)
8 \(K\)-theory (19-XX)
8 Approximations and expansions (41-XX)
7 Differential geometry (53-XX)
7 Systems theory; control (93-XX)
5 Partial differential equations (35-XX)
4 Special functions (33-XX)
3 Mathematics education (97-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
2 Relativity and gravitational theory (83-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