×

Annals of Pure and Applied Logic

Short Title: Ann. Pure Appl. Logic
Publisher: Elsevier (North-Holland), Amsterdam
ISSN: 0168-0072
Online: https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/issues
Predecessor: Annals of Mathematical Logic
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 2,684 Publications (since 1983)
References Indexed: 2,546 Publications with 54,348 References.
all top 5

Latest Issues

175, No. 7 (2024)
175, No. 6 (2024)
175, No. 5 (2024)
175, No. 4 (2024)
175, No. 3 (2024)
175, No. 2 (2024)
175, No. 1 (2024)
174, No. 10 (2023)
174, No. 9 (2023)
174, No. 8 (2023)
174, No. 7 (2023)
174, No. 6 (2023)
174, No. 5 (2023)
174, No. 4 (2023)
174, No. 3 (2023)
174, No. 2 (2023)
174, No. 1 (2023)
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)
...and 317 more Volumes
all top 5

Authors

94 Shelah, Saharon
41 Downey, Rodney Graham
31 Friedman, Sy-David
22 Remmel, Jeffrey Brian
19 Buss, Samuel R.
19 Gitik, Moti
19 Pillay, Anand
18 Friedman, Harvey M.
18 Stephan, Frank
16 Macintyre, Angus John
16 Nerode, Anil
16 Rathjen, Michael
15 Jäger, Gerhard
14 Palmgren, Erik
13 Harizanov, Valentina S.
13 Scedrov, Andre
12 Baaz, Matthias
12 Baldwin, John T.
12 Keisler, Howard Jerome
12 Slaman, Theodore A.
12 Väänänen, Jouko Antero
12 Weiermann, Andreas
11 Ash, Christopher John
11 Fitting, Melvin Chris
11 Kurilić, Miloš S.
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 Brendle, Jörg
10 Cenzer, Douglas
10 Ghilardi, Silvio
10 Hyttinen, Tapani
10 Jeřábek, Emil
10 Knight, Julia F.
10 Kohlenbach, Ulrich Wilhelm
10 Nies, André Otfrid
10 Point, Françoise
10 Shore, Richard Arnold
10 Visser, Albert
9 Ambos-Spies, Klaus
9 Fischer, Vera
9 Hodkinson, Ian Martin
9 Ishihara, Hajime
9 Khoussainov, Bakhadyr M.
9 Krueger, John
9 Mundici, Daniele
9 Simpson, Stephen G.
9 Soare, Robert I.
9 Sureson, Claude
9 Wu, Guohua
9 Zapletal, Jindřich
8 Asperó, David
8 Beckmann, Arnold
8 Berardi, Stefano
8 Berger, Ulrich
8 Cooper, Stuart Barry
8 Coquand, Thierry
8 Cummings, James
8 Hamkins, Joel David
8 Harrington, Leo A.
8 Honzik, Radek
8 Magidor, Menachem
8 Matet, Pierre
8 Melnikov, Alexander G.
8 Schlicht, Philipp
8 Vasey, Sebastien
7 Bagaria, Joan
7 Barmpalias, George
7 Brattka, Vasco
7 Džamonja, Mirna
7 Enayat, Ali
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 Sato, Kentaro
7 Sorbi, Andrea
7 Streicher, Thomas
7 Todorcevic, Stevo B.
7 Van den Berg, Benno
7 van Oosten, Jaap
7 Zdoms’kyĭ, Lyubomyr Sergiĭovych
6 Avigad, Jeremy
6 Berarducci, Alessandro
6 Bezhanishvili, Guram
6 Bezhanishvili, Nick
6 Bridges, Douglas Suth
6 Buchholz, Wilfried
6 Cholak, Peter A.
6 D’Aquino, Paola
6 Di Nola, Antonio
6 Evans, David M.
...and 1,941 more Authors
all top 5

Fields

2,603 Mathematical logic and foundations (03-XX)
384 Computer science (68-XX)
222 Order, lattices, ordered algebraic structures (06-XX)
142 General topology (54-XX)
130 Category theory; homological algebra (18-XX)
90 Field theory and polynomials (12-XX)
88 Group theory and generalizations (20-XX)
83 Combinatorics (05-XX)
58 General and overarching topics; collections (00-XX)
52 General algebraic systems (08-XX)
52 Number theory (11-XX)
44 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
42 Measure and integration (28-XX)
33 Functional analysis (46-XX)
29 Associative rings and algebras (16-XX)
28 Algebraic geometry (14-XX)
26 Real functions (26-XX)
25 History and biography (01-XX)
25 Commutative algebra (13-XX)
20 Topological groups, Lie groups (22-XX)
20 Probability theory and stochastic processes (60-XX)
19 Dynamical systems and ergodic theory (37-XX)
11 Geometry (51-XX)
11 Algebraic topology (55-XX)
9 Convex and discrete geometry (52-XX)
9 Quantum theory (81-XX)
8 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)
5 Information and communication theory, circuits (94-XX)
4 Nonassociative rings and algebras (17-XX)
4 Sequences, series, summability (40-XX)
4 Operations research, mathematical programming (90-XX)
3 Partial differential equations (35-XX)
2 \(K\)-theory (19-XX)
2 Special functions (33-XX)
2 Ordinary differential equations (34-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Relativity and gravitational theory (83-XX)
1 Difference and functional equations (39-XX)
1 Approximations and expansions (41-XX)
1 Abstract harmonic analysis (43-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,213 Publications have been cited 20,621 times in 12,191 Documents Cited by Year
Model theory of modules. Zbl 0593.16019
Ziegler, Martin
177
1984
Concept lattices and order in fuzzy logic. Zbl 1060.03040
Bělohlávek, Radim
170
2004
\(\Sigma_ 1^ 1\)-formulae on finite structures. Zbl 0519.03021
Ajtai, M.
158
1983
Domain theory in logical form. Zbl 0737.03006
Abramsky, Samson
152
1991
A new strongly minimal set. Zbl 0804.03020
Hrushovski, Ehud
122
1993
Varieties of complex algebras. Zbl 0722.08005
Goldblatt, Robert
108
1989
Uniform proofs as a foundation for logic programming. Zbl 0721.03037
Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre
107
1991
Simple theories. Zbl 0897.03036
Kim, Byunghan; Pillay, Anand
96
1997
Inclusion and exclusion dependencies in team semantics – on some logics of imperfect information. Zbl 1250.03047
Galliani, Pietro
96
2012
Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034
Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M.
94
2002
Analytic ideals and their applications. Zbl 0932.03060
Solecki, Sławomir
93
1999
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
92
2005
\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures. Zbl 0566.03022
Cherlin, G.; Harrington, L.; Lachlan, A. H.
90
1985
Coalgebraic logic. Zbl 0969.03026
Moss, Lawrence S.
87
1999
On the scheme of induction for bounded arithmetic formulas. Zbl 0647.03046
Wilkie, A. J.; Paris, J. B.
84
1987
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
82
1987
Infinite games played on finite graphs. Zbl 0798.90151
McNaughton, Robert
79
1993
Generalized algebraic theories and contextual categories. Zbl 0634.18003
Cartmell, John
75
1986
Decision problems for propositional linear logic. Zbl 0768.03003
Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan
72
1992
Generic copies of countable structures. Zbl 0678.03012
Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore
72
1989
The complexity of first-order and monadic second-order logic revisited. Zbl 1062.03032
Frick, Markus; Grohe, Martin
71
2004
Generic structures and simple theories. Zbl 0929.03043
Chatzidakis, Z.; Pillay, A.
68
1998
A game semantics for linear logic. Zbl 0763.03008
Blass, Andreas
67
1992
Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009
Makowsky, J. A.
67
2004
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
66
1985
Inductively generated formal topologies. Zbl 1070.03041
Coquand, Thierry; Sambin, Giovanni; Smith, Jan; Valentini, Silvio
65
2003
Countable algebra and set existence axioms. Zbl 0575.03038
Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L.
61
1983
Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036
Makkai, M.; Reyes, G. E.
61
1995
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
61
2009
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.
59
1995
The lottery preparation. Zbl 0949.03045
Hamkins, Joel David
57
2000
Fixed-point extensions of first-order logic. Zbl 0621.03013
Gurevich, Yuri; Shelah, Saharon
56
1986
Categoricity for abstract classes with amalgamation. Zbl 0945.03049
Shelah, Saharon
55
1999
Dynamical method in algebra: Effective Nullstellensätze. Zbl 0992.03076
Coste, Michel; Lombardi, Henri; Roy, Marie-Françoise
55
2001
Proof-theoretic investigations on Kruskal’s theorem. Zbl 0786.03042
Rathjen, Michael; Weiermann, Andreas
54
1993
Quasi finitely axiomatizable totally categorical theories. Zbl 0592.03018
Ahlbrandt, Gisela; Ziegler, Martin
54
1986
An axiomatic approach to self-referential truth. Zbl 0634.03058
Friedman, Harvey; Sheard, Michael
54
1987
The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\). Zbl 0673.03043
Gitik, Moti
54
1989
Large cardinals and definable counterexamples to the continuum hypothesis. Zbl 0837.03040
Foreman, Matthew; Magidor, Menachem
53
1995
Infinite combinatorics and definability. Zbl 0667.03037
Miller, Arnold W.
52
1989
Real closed rings. II. Model theory. Zbl 0538.03028
Cherlin, Gregory; Dickmann, Max A.
52
1983
Combinatorial principles in the core model for one Woodin cardinal. Zbl 0834.03018
Schimmerling, Ernest
52
1995
Quasi-Polish spaces. Zbl 1270.03086
de Brecht, Matthew
52
2013
Bounded arithmetic and the polynomial hierarchy. Zbl 0736.03022
Krajíček, Jan; Pudlák, Pavel; Takeuti, Gaisi
51
1991
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
51
2000
Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017
van den Dries, Lou
51
1989
Pseudo-exponentiation on algebraically closed fields of characteristic zero. Zbl 1076.03024
Zilber, B.
50
2005
A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde
50
2005
The Manin-Mumford conjecture and the model theory of difference fields. Zbl 0987.03036
Hrushovski, Ehud
50
2001
A small complete category. Zbl 0659.18007
Hyland, J. M. E.
50
1988
Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
49
2012
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
48
2005
Wellfounded trees in categories. Zbl 1010.03056
Moerdijk, Ieke; Palmgren, Erik
48
2000
Expansions of the real field with power functions. Zbl 0823.03018
Miller, Chris
48
1994
Closed choice and a uniform low basis theorem. Zbl 1251.03082
Brattka, Vasco; De Brecht, Matthew; Pauly, Arno
48
2012
On variants of \(o\)-minimality. Zbl 0858.03039
Macpherson, Dugald; Steinhorn, Charles
47
1996
Toward classifying unstable theories. Zbl 0874.03043
Shelah, Saharon
46
1996
Unidimensional theories are superstable. Zbl 0713.03015
Hrushovski, Ehud
46
1990
Best solving modal equations. Zbl 0949.03010
Ghilardi, Silvio
46
2000
Stable generic structures. Zbl 0857.03020
Baldwin, John T.; Shi, Niandong
45
1996
Normal functors, power series and \(\lambda\)-calculus. Zbl 0646.03056
Girard, Jean-Yves
45
1988
On the unity of logic. Zbl 0781.03044
Girard, Jean-Yves
45
1993
D-completions and the \(d\)-topology. Zbl 1172.54016
Keimel, Klaus; Lawson, Jimmie D.
45
2009
Polynomial-time versus recursive models. Zbl 0756.03021
Cenzer, Douglas; Remmel, Jeffrey
44
1991
Semantics of weakening and contraction. Zbl 0814.03007
Jacobs, Bart
44
1994
State-morphism MV-algebras. Zbl 1186.06007
Di Nola, Antonio; Dvurečenskij, Anatolij
44
2009
Remarks on superatomic Boolean algebras. Zbl 0643.03038
Baumgartner, James E.; Shelah, Saharon
43
1987
Shelah’s pcf theory and its applications. Zbl 0713.03024
Burke, Maxim R.; Magidor, Menachem
43
1990
Functional interpretations of feasibly constructive arithmetic. Zbl 0780.03026
Cook, Stephen; Urquhart, Alasdair
43
1993
Pairs of recursive structures. Zbl 0712.03020
Ash, C. J.; Knight, J. F.
43
1990
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
43
2006
The structure of the models of decidable monadic theories of graphs. Zbl 0733.03026
Seese, D.
43
1991
Aronszajn trees on \(\aleph_2\) and \(\aleph_3\). Zbl 0516.03029
Abraham, Uri
43
1983
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms. Zbl 0513.03009
Longo, Giuseppe
43
1983
Theories without the tree property of the second kind. Zbl 1386.03035
Chernikov, Artem
43
2014
The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma. Zbl 1245.03097
Brattka, Vasco; Gherardi, Guido; Marcone, Alberto
43
2012
Distal and non-distal NIP theories. Zbl 1269.03037
Simon, Pierre
42
2013
The d.r.e. degrees are not dense. Zbl 0756.03020
Cooper, S. Barry; Harrington, Leo; Lachlan, Alistair H.; Lempp, Steffen; Soare, Robert I.
41
1991
On monadic MV-algebras. Zbl 1052.06010
Di Nola, Antonio; Grigolia, Revaz
41
2004
Topological reasoning and the logic of knowledge. Zbl 0861.68092
Dabrowski, Andrew; Moss, Lawrence S.; Parikh, Rohit
41
1996
Toward categoricity for classes with no maximal models. Zbl 0945.03048
Shelah, Saharon; Villaveces, Andrés
39
1999
Bounded functional interpretation. Zbl 1095.03060
Ferreira, Fernando; Oliva, Paulo
39
2005
Algorithmic correspondence and canonicity for distributive modal logic. Zbl 1255.03030
Conradie, Willem; Palmigiano, Alessandra
39
2012
Inner models with many Woodin cardinals. Zbl 0805.03043
Steel, J. R.
39
1993
Borel equivalence relations and classifications of countable models. Zbl 0933.03056
Hjorth, Greg; Kechris, Alexander S.
38
1996
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045
Beklemishev, Lev D.
38
2004
Globalization of intuitionistic set theory. Zbl 0633.03050
Takeuti, Gaisi; Titani, Satoko
38
1987
A uniform method for proving lower bounds on the computational complexity of logical theories. Zbl 0705.03017
Compton, Kevin J.; Henson, C. Ward
38
1990
Cell decompositions of \(C\)-minimal structures. Zbl 0790.03039
Haskell, Deirdre; Macpherson, Dugald
38
1994
Propositional logics of dependence. Zbl 1355.03021
Yang, Fan; Väänänen, Jouko
37
2016
Aspects of general topology in constructive set theory. Zbl 1077.03035
Aczel, Peter
36
2006
Lovely pairs of models. Zbl 1030.03026
Ben-Yaacov, Itay; Pillay, Anand; Vassiliev, Evgueni
36
2003
Fraïssé sequences: category-theoretic approach to universal homogeneous structures. Zbl 1329.18002
Kubiś, Wiesław
36
2014
Advice classes of parametrized tractability. Zbl 0873.68071
Cai, Liming; Chen, Jianer; Downey, Rodney G.; Fellows, Michael R.
35
1997
Logarithmic-exponential series. Zbl 0998.12014
van den Dries, Lou; Macintyre, Angus; Marker, David
35
2001
A new system of proof-theoretic ordinal functions. Zbl 0655.03038
Buchholz, Wilfried
35
1986
Fragments of arithmetic. Zbl 0558.03029
Sieg, Wilfried
35
1985
Set-theoretic geology. Zbl 1348.03051
Fuchs, Gunter; Hamkins, Joel David; Reitz, Jonas
34
2015
Forcing with filters and complete combinatorics. Zbl 0681.03035
Laflamme, Claude
34
1989
The axioms of constructive geometry. Zbl 0836.03034
von Plato, Jan
33
1995
A formalised theorem in the partition calculus. Zbl 07748742
Paulson, Lawrence C.
1
2024
Laver forcing and converging sequences. Zbl 07748743
Dow, Alan
1
2024
Using ultrapowers to compare continuous structures. Zbl 07748744
Keisler, H. Jerome
1
2024
A Borel maximal eventually different family. Zbl 07748760
Horowitz, Haim; Shelah, Saharon
1
2024
Primitive recursive reverse mathematics. Zbl 07748763
Bazhenov, Nikolay; Fiori-Carones, Marta; Liu, Lu; Melnikov, Alexander
1
2024
Positive modal logic beyond distributivity. Zbl 07780209
Bezhanishvili, Nick; Dmitrieva, Anna; de Groot, Jim; Moraschini, Tommaso
1
2024
An undecidability result for the asymptotic theory of \(p\)-adic fields. Zbl 1516.12002
Kartas, Konstantinos
4
2023
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model. Zbl 1509.03150
Gitik, Moti; Kaplan, Eyal
3
2023
Different cofinalities of tree ideals. Zbl 07695418
Shelah, Saharon; Spinas, Otmar
3
2023
Computable Stone spaces. Zbl 07719414
Bazhenov, Nikolay; Harrison-Trainor, Matthew; Melnikov, Alexander
3
2023
Topological fields with a generic derivation. Zbl 1511.12003
Cubides Kovacsics, Pablo; Point, Françoise
2
2023
A characterization of generalized existential completions. Zbl 1506.18008
Maietti, Maria Emilia; Trotta, Davide
2
2023
A finitization of Littlewood’s Tauberian theorem and an application in Tauberian remainder theory. Zbl 1523.03024
Powell, Thomas
2
2023
Burden in Henselian valued fields. Zbl 07741121
Touchard, Pierre
2
2023
Huge reflection. Zbl 1511.03012
Bagaria, Joan; Lücke, Philipp
1
2023
Cohen-like first order structures. Zbl 07601554
Kostana, Ziemowit
1
2023
Effective compactness and orbits of points under the isometry group. Zbl 07628760
Iljazović, Zvonko; Validžić, Lucija
1
2023
Hanf number of the first stability cardinal in AECs. Zbl 07628763
Leung, Samson
1
2023
On Kripke completeness of modal predicate logics around quantified K5. Zbl 1523.03007
Shehtman, Valentin
1
2023
Metric spaces are universal for bi-interpretation with metric structures. Zbl 07628766
Hanson, James
1
2023
A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection. Zbl 07637214
Sato, Kentaro
1
2023
Realisability for infinitary intuitionistic set theory. Zbl 07680007
Carl, Merlin; Galeotti, Lorenzo; Passmann, Robert
1
2023
Bilinear spaces over a fixed field are simple unstable. Zbl 07680010
Kamsma, Mark
1
2023
Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\). Zbl 07680011
Jeřábek, Emil
1
2023
Axiomatizing AECs and applications. Zbl 07662885
Leung, Samson
1
2023
Admissible rules for six intuitionistic modal logics. Zbl 07653729
van der Giessen, Iris
1
2023
Algebraic properties of the first-order part of a problem. Zbl 07687145
Soldà, Giovanni; Valenti, Manlio
1
2023
Generalisations of stationarity, closed and unboundedness, and of Jensen’s \(\square\). Zbl 07687147
Brickhill, H.; Welch, P. D.
1
2023
Krull dimension in set theory. Zbl 07719409
Zapletal, Jindřich
1
2023
Lipschitz and Wadge binary games in second order arithmetic. Zbl 07719411
Cordón-Franco, Andrés; Lara-Martín, F. Félix; Loureiro, Manuel J. S.
1
2023
Halfway new cardinal characteristics. Zbl 07719413
Brendle, Jörg; Halbeisen, Lorenz J.; Klausner, Lukas Daniel; Lischka, Marc; Shelah, Saharon
1
2023
An undecidable extension of Morley’s theorem on the number of countable models. Zbl 07719417
Eagle, Christopher J.; Hamel, Clovis; Müller, Sandra; Tall, Franklin D.
1
2023
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup. Zbl 07741120
Gorman, Alexi Block
1
2023
\(L\)-algebras and three main non-classical logics. Zbl 1504.03040
Rump, Wolfgang
5
2022
Model theory of adeles. I. Zbl 1525.03096
Derakhshan, Jamshid; Macintyre, Angus
5
2022
Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories. Zbl 07458792
Dobrowolski, Jan; Kim, Byunghan; Ramsey, Nicholas
5
2022
Reflection algebras and conservation results for theories of iterated truth. Zbl 07501986
Beklemishev, Lev D.; Pakhomov, Fedor N.
4
2022
Infinitary action logic with exponentiation. Zbl 07458791
Kuznetsov, Stepan L.; Speranski, Stanislav O.
4
2022
Small cardinals and small Efimov spaces. Zbl 07417482
Brian, Will; Dow, Alan
4
2022
Induced and higher-dimensional stable independence. Zbl 1487.18005
Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien
3
2022
Almost o-minimal structures and \(\mathfrak{X}\)-structures. Zbl 1504.03020
Fujita, Masato
3
2022
Quantifier-free epistemic term-modal logic with assignment operator. Zbl 07458667
Wang, Yanjing; Wei, Yu; Seligman, Jeremy
3
2022
On the ideal \(J[\kappa]\). Zbl 1495.03062
Rinot, Assaf
3
2022
Intermediate models of Magidor-Radin forcing. II. Zbl 1504.03030
Benhamou, Tom; Gitik, Moti
2
2022
From axioms to synthetic inference rules via focusing. Zbl 07501985
Marin, Sonia; Miller, Dale; Pimentel, Elaine; Volpe, Marco
2
2022
Projective well orders and coanalytic witnesses. Zbl 07538234
Bergfalk, Jeffrey; Fischer, Vera; Switzer, Corey Bacal
2
2022
Taming Koepke’s zoo. II: Register machines. Zbl 1485.03178
Carl, Merlin
2
2022
Adequate predimension inequalities in differential fields. Zbl 1491.12003
Aslanyan, Vahagn
2
2022
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence. Zbl 1513.81002
Albert, Rafael; Grädel, Erich
2
2022
On intermediate inquisitive and dependence logics: an algebraic study. Zbl 07587331
Quadrellaro, Davide Emilio
2
2022
Reflection principles and second-order choice principles with urelements. Zbl 1510.03018
Yao, Bokai
1
2022
On the definability of mad families of vector spaces. Zbl 07483259
Horowitz, Haim; Shelah, Saharon
1
2022
Is cut-free logic fit for unrestricted abstraction? Zbl 07514088
Petersen, Uwe
1
2022
A characterisation of elementary fibrations. Zbl 1492.18008
Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
1
2022
Generating ideals by additive subgroups of rings. Zbl 07530346
Krupiński, Krzysztof; Rzepecki, Tomasz
1
2022
Set theoretical analogues of the Barwise-Schlipf theorem. Zbl 07566291
Enayat, Ali
1
2022
The spectrum of independence. II. Zbl 07566293
Fischer, Vera; Shelah, Saharon
1
2022
The secret life of \(\mu\)-clubs. Zbl 07566294
Matet, Pierre
1
2022
Abelian group actions and hypersmooth equivalence relations. Zbl 07538231
Cotton, Michael R.
1
2022
On bi-embeddable categoricity of algebraic structures. Zbl 1505.03080
Bazhenov, Nikolay; Rossegger, Dino; Zubkov, Maxim
1
2022
Reinhardt cardinals and iterates of \(V\). Zbl 07458790
Schlutzenberg, Farmer
1
2022
Infinite lexicographic products. Zbl 1486.03056
Meir, Nadav
1
2022
The Vietoris functor and modal operators on rings of continuous functions. Zbl 1521.54004
Bezhanishvili, G.; Carai, L.; Morandi, P. J.
1
2022
Higher dimensional cardinal characteristics for sets of functions. Zbl 07417479
Switzer, Corey Bacal
1
2022
Embedding causal team languages into predicate logic. Zbl 07587334
Barbero, Fausto; Galliani, Pietro
1
2022
Completion of choice. Zbl 1462.03019
Brattka, Vasco; Gherardi, Guido
10
2021
Filter-linkedness and its effect on preservation of cardinal characteristics. Zbl 1498.03108
Brendle, Jörg; Cardona, Miguel A.; Mejía, Diego A.
9
2021
Derivatives of normal functions in reverse mathematics. Zbl 1473.03036
Freund, Anton; Rathjen, Michael
9
2021
Intuitionistic fixed point logic. Zbl 1498.03065
Berger, Ulrich; Tsuiki, Hideki
8
2021
Long games and \(\sigma \)-projective sets. Zbl 1506.03112
Aguilera, Juan P.; Müller, Sandra; Schlicht, Philipp
7
2021
A microscopic approach to Souslin-tree construction. II. Zbl 1477.03177
Brodsky, Ari Meir; Rinot, Assaf
7
2021
Tukey order, calibres and the rationals. Zbl 1498.03100
Gartside, Paul; Mamatelashvili, Ana
7
2021
Dp-finite fields. I(A): The infinitesimals. Zbl 1473.03018
Johnson, Will
6
2021
Dp-finite fields. I(B): Positive characteristic. Zbl 1477.03136
Johnson, Will
6
2021
Games with finitely generated structures. Zbl 07404816
Krawczyk, Adam; Kubiś, Wiesław
6
2021
Small models, large cardinals, and induced ideals. Zbl 1479.03024
Holy, Peter; Lücke, Philipp
6
2021
Local collection and end-extensions of models of compositional truth. Zbl 1473.03047
Łełyk, Mateusz; Wcisło, Bartosz
5
2021
Infinitesimal analysis without the axiom of choice. Zbl 1529.03285
Hrbacek, Karel; Katz, Mikhail G.
5
2021
Superstability, Noetherian rings and pure-semisimple rings. Zbl 1498.03076
Mazari-Armida, Marcos
5
2021
Sets in Prikry and Magidor generic extensions. Zbl 1506.03109
Benhamou, Tom; Gitik, Moti
4
2021
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice. Zbl 1529.03243
Brot, Joshua; Cao, Mengyang; Fernández-Bretón, David
4
2021
Continuous L-domains in logical form. Zbl 1532.03048
Wang, Longchun; Li, Qingguo; Zhou, Xiangnan
4
2021
\(\widetilde{|}\)-divisibility of ultrafilters. Zbl 1471.54012
Šobot, Boris
4
2021
Ax-Schanuel and strong minimality for the \(j\)-function. Zbl 1481.12006
Aslanyan, Vahagn
4
2021
Punctual definability on structures. Zbl 1532.03066
Kalimullin, Iskander; Melnikov, Alexander; Montalban, Antonio
4
2021
Towards the entropy-limit conjecture. Zbl 1498.03057
Landes, Jürgen; Rad, Soroush Rafiee; Williamson, Jon
4
2021
On the structure of certain valued fields. Zbl 1484.11228
Lee, Junguk; Lee, Wan
3
2021
Separating families and order dimension of Turing degrees. Zbl 1506.03099
Kumar, Ashutosh; Raghavan, Dilip
3
2021
A topological zero-one law and elementary equivalence of finitely generated groups. Zbl 1498.03085
Osin, D.
3
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.
3
2021
Open core and small groups in dense pairs of topological structures. Zbl 1473.03019
Baro, Elías; Martin-Pizarro, Amador
3
2021
Probabilistic characterisation of models of first-order theories. Zbl 1498.03058
Rad, Soroush Rafiee
3
2021
Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal. Zbl 1532.03078
Cody, Brent; Gitman, Victoria; Lambie-Hanson, Chris
3
2021
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations. Zbl 1532.03069
Chan, William; Jackson, Stephen
3
2021
Computable irrational numbers with representations of surprising complexity. Zbl 1481.03041
Georgiev, Ivan; Kristiansen, Lars; Stephan, Frank
3
2021
Preserving levels of projective determinacy by tree forcings. Zbl 1506.03101
Castiblanco, Fabiana; Schlicht, Philipp
2
2021
Continuous extension of maps between sequential cascades. Zbl 1506.03100
Dolecki, Szymon; Starosolski, Andrzej
2
2021
The full basis theorem does not imply analytic wellordering. Zbl 1528.03199
Kanovei, Vladimir; Lyubetsky, Vassily
2
2021
Typical forcings, NP search problems and an extension of a theorem of Riis. Zbl 1496.03239
Müller, Moritz
2
2021
A parametrised functional interpretation of Heyting arithmetic. Zbl 1506.03122
Dinis, Bruno; Oliva, Paulo
2
2021
...and 1506 more Documents
all top 5

Cited by 6,739 Authors

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

Cited in 472 Journals

1,570 Annals of Pure and Applied Logic
1,236 The Journal of Symbolic Logic
615 Archive for Mathematical Logic
570 Theoretical Computer Science
332 Mathematical Logic Quarterly (MLQ)
234 Information and Computation
230 Israel Journal of Mathematics
219 The Bulletin of Symbolic Logic
204 Studia Logica
202 Transactions of the American Mathematical Society
198 Topology and its Applications
191 Proceedings of the American Mathematical Society
189 Notre Dame Journal of Formal Logic
180 MSCS. Mathematical Structures in Computer Science
168 Journal of Mathematical Logic
167 Fuzzy Sets and Systems
164 Journal of Pure and Applied Algebra
157 Logical Methods in Computer Science
136 Advances in Mathematics
123 The Review of Symbolic Logic
107 Algebra and Logic
99 Journal of Computer and System Sciences
98 Journal of Algebra
93 Algebra Universalis
93 Fundamenta Mathematicae
84 Journal of Philosophical Logic
78 Synthese
78 Journal of Applied Non-Classical Logics
67 Soft Computing
66 Theory of Computing Systems
65 Annals of Mathematics and Artificial Intelligence
57 Journal of Automated Reasoning
54 Siberian Mathematical Journal
50 Information Sciences
49 Communications in Algebra
48 ACM Transactions on Computational Logic
47 International Journal of Approximate Reasoning
46 Order
46 Logica Universalis
45 Journal of Logic, Language and Information
43 Journal of Mathematical Sciences (New York)
42 Journal of Applied Logic
41 Information Processing Letters
37 Discrete Applied Mathematics
37 Computability
35 Applied Categorical Structures
31 Discrete Mathematics
28 Lobachevskii Journal of Mathematics
27 Journal of Mathematical Analysis and Applications
26 Artificial Intelligence
25 Computational Complexity
25 Selecta Mathematica. New Series
25 Journal of Logic and Analysis
24 Acta Mathematica Hungarica
23 Journal of the American Mathematical Society
23 Indagationes Mathematicae. New Series
22 Journal of Symbolic Computation
22 Forum of Mathematics, Sigma
21 Algorithmica
21 International Journal of Foundations of Computer Science
21 Journal of Functional Programming
21 Journal of the Institute of Mathematics of Jussieu
20 Journal of the London Mathematical Society. Second Series
20 International Journal of Algebra and Computation
20 The Journal of Logic and Algebraic Programming
20 Sibirskie Èlektronnye Matematicheskie Izvestiya
20 Journal of Logical and Algebraic Methods in Programming
19 Mathematica Slovaca
19 Journal of the European Mathematical Society (JEMS)
17 European Journal of Combinatorics
17 Theory and Applications of Categories
17 Theory and Practice of Logic Programming
17 Journal of Algebra and its Applications
16 SIAM Journal on Computing
16 Doklady Mathematics
15 Acta Informatica
15 Mathematical Proceedings of the Cambridge Philosophical Society
15 Memoirs of the American Mathematical Society
15 Journal of Complexity
14 Bulletin of the London Mathematical Society
14 RAIRO. Theoretical Informatics and Applications
14 Logic and Logical Philosophy
13 History and Philosophy of Logic
13 Formal Aspects of Computing
12 Journal of Functional Analysis
12 Mathematische Zeitschrift
12 Bulletin of the Section of Logic
12 Forum Mathematicum
12 Central European Journal of Mathematics
12 Oberwolfach Reports
12 European Journal of Mathematics
11 Mathematical Notes
11 Ergodic Theory and Dynamical Systems
11 Russian Mathematics
10 Archiv für Mathematische Logik und Grundlagenforschung
10 International Journal of General Systems
10 Annales de l’Institut Fourier
10 Archiv der Mathematik
10 Journal of Combinatorial Theory. Series A
10 Monatshefte für Mathematik
...and 372 more Journals
all top 5

Cited in 58 Fields

9,708 Mathematical logic and foundations (03-XX)
2,972 Computer science (68-XX)
1,152 Order, lattices, ordered algebraic structures (06-XX)
769 General topology (54-XX)
669 Category theory; homological algebra (18-XX)
536 Combinatorics (05-XX)
511 Group theory and generalizations (20-XX)
377 Field theory and polynomials (12-XX)
284 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
221 Number theory (11-XX)
204 General algebraic systems (08-XX)
203 Functional analysis (46-XX)
193 Associative rings and algebras (16-XX)
185 Algebraic geometry (14-XX)
179 Commutative algebra (13-XX)
175 Measure and integration (28-XX)
128 Topological groups, Lie groups (22-XX)
125 History and biography (01-XX)
125 Dynamical systems and ergodic theory (37-XX)
116 Real functions (26-XX)
107 General and overarching topics; collections (00-XX)
96 Probability theory and stochastic processes (60-XX)
75 Information and communication theory, circuits (94-XX)
72 Quantum theory (81-XX)
61 Operator theory (47-XX)
60 Geometry (51-XX)
60 Algebraic topology (55-XX)
60 Operations research, mathematical programming (90-XX)
47 Several complex variables and analytic spaces (32-XX)
37 Sequences, series, summability (40-XX)
35 Linear and multilinear algebra; matrix theory (15-XX)
30 Convex and discrete geometry (52-XX)
27 Manifolds and cell complexes (57-XX)
23 Numerical analysis (65-XX)
17 Functions of a complex variable (30-XX)
16 Global analysis, analysis on manifolds (58-XX)
15 Ordinary differential equations (34-XX)
15 Difference and functional equations (39-XX)
14 Nonassociative rings and algebras (17-XX)
13 Approximations and expansions (41-XX)
13 Statistics (62-XX)
12 Biology and other natural sciences (92-XX)
11 Abstract harmonic analysis (43-XX)
11 Statistical mechanics, structure of matter (82-XX)
10 Partial differential equations (35-XX)
10 Systems theory; control (93-XX)
8 \(K\)-theory (19-XX)
8 Differential geometry (53-XX)
6 Relativity and gravitational theory (83-XX)
5 Special functions (33-XX)
3 Harmonic analysis on Euclidean spaces (42-XX)
3 Calculus of variations and optimal control; optimization (49-XX)
2 Integral equations (45-XX)
2 Mathematics education (97-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