×

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,668 Publications (since 1983)
References Indexed: 2,530 Publications with 53,905 References.
all top 5

Latest Issues

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)
166, No. 6 (2015)
166, No. 5 (2015)
...and 315 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
15 Jäger, Gerhard
15 Rathjen, Michael
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 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 Ghilardi, Silvio
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 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 Sorbi, Andrea
7 Streicher, Thomas
7 Van den Berg, Benno
7 van Oosten, Jaap
7 Woodin, W. Hugh
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 Džamonja, Mirna
6 Evans, David M.
6 Feferman, Solomon
...and 1,931 more Authors
all top 5

Fields

2,587 Mathematical logic and foundations (03-XX)
383 Computer science (68-XX)
220 Order, lattices, ordered algebraic structures (06-XX)
142 General topology (54-XX)
128 Category theory; homological algebra (18-XX)
89 Field theory and polynomials (12-XX)
87 Group theory and generalizations (20-XX)
81 Combinatorics (05-XX)
58 General and overarching topics; collections (00-XX)
51 General algebraic systems (08-XX)
51 Number theory (11-XX)
44 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
41 Measure and integration (28-XX)
32 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 Quantum theory (81-XX)
8 Operator theory (47-XX)
8 Convex and discrete geometry (52-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,194 Publications have been cited 20,151 times in 11,975 Documents Cited by Year
Model theory of modules. Zbl 0593.16019
Ziegler, Martin
174
1984
Concept lattices and order in fuzzy logic. Zbl 1060.03040
Bělohlávek, Radim
163
2004
Domain theory in logical form. Zbl 0737.03006
Abramsky, Samson
150
1991
\(\Sigma_ 1^ 1\)-formulae on finite structures. Zbl 0519.03021
Ajtai, M.
149
1983
A new strongly minimal set. Zbl 0804.03020
Hrushovski, Ehud
121
1993
Uniform proofs as a foundation for logic programming. Zbl 0721.03037
Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre
107
1991
Varieties of complex algebras. Zbl 0722.08005
Goldblatt, Robert
106
1989
Inclusion and exclusion dependencies in team semantics – on some logics of imperfect information. Zbl 1250.03047
Galliani, Pietro
95
2012
Simple theories. Zbl 0897.03036
Kim, Byunghan; Pillay, Anand
95
1997
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
91
1999
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
90
2005
\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures. Zbl 0566.03022
Cherlin, G.; Harrington, L.; Lachlan, A. H.
88
1985
Coalgebraic logic. Zbl 0969.03026
Moss, Lawrence S.
85
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
79
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
72
1986
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
70
2004
Decision problems for propositional linear logic. Zbl 0768.03003
Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan
70
1992
Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009
Makowsky, J. A.
67
2004
A game semantics for linear logic. Zbl 0763.03008
Blass, Andreas
67
1992
Generic structures and simple theories. Zbl 0929.03043
Chatzidakis, Z.; Pillay, A.
66
1998
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
Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036
Makkai, M.; Reyes, G. E.
61
1995
Countable algebra and set existence axioms. Zbl 0575.03038
Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L.
61
1983
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
60
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
Fixed-point extensions of first-order logic. Zbl 0621.03013
Gurevich, Yuri; Shelah, Saharon
56
1986
The lottery preparation. Zbl 0949.03045
Hamkins, Joel David
55
2000
An axiomatic approach to self-referential truth. Zbl 0634.03058
Friedman, Harvey; Sheard, Michael
53
1987
Categoricity for abstract classes with amalgamation. Zbl 0945.03049
Shelah, Saharon
53
1999
Quasi finitely axiomatizable totally categorical theories. Zbl 0592.03018
Ahlbrandt, Gisela; Ziegler, Martin
53
1986
Infinite combinatorics and definability. Zbl 0667.03037
Miller, Arnold W.
52
1989
The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\). Zbl 0673.03043
Gitik, Moti
52
1989
Proof-theoretic investigations on Kruskal’s theorem. Zbl 0786.03042
Rathjen, Michael; Weiermann, Andreas
52
1993
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
Dynamical method in algebra: Effective Nullstellensätze. Zbl 0992.03076
Coste, Michel; Lombardi, Henri; Roy, Marie-Françoise
52
2001
Large cardinals and definable counterexamples to the continuum hypothesis. Zbl 0837.03040
Foreman, Matthew; Magidor, Menachem
51
1995
Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017
van den Dries, Lou
51
1989
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
50
2000
Quasi-Polish spaces. Zbl 1270.03086
de Brecht, Matthew
50
2013
A small complete category. Zbl 0659.18007
Hyland, J. M. E.
49
1988
Pseudo-exponentiation on algebraically closed fields of characteristic zero. Zbl 1076.03024
Zilber, B.
49
2005
Wellfounded trees in categories. Zbl 1010.03056
Moerdijk, Ieke; Palmgren, Erik
48
2000
The Manin-Mumford conjecture and the model theory of difference fields. Zbl 0987.03036
Hrushovski, Ehud
48
2001
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
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
47
2005
A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde
47
2005
Bounded arithmetic and the polynomial hierarchy. Zbl 0736.03022
Krajíček, Jan; Pudlák, Pavel; Takeuti, Gaisi
47
1991
Expansions of the real field with power functions. Zbl 0823.03018
Miller, Chris
47
1994
Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
46
2012
Best solving modal equations. Zbl 0949.03010
Ghilardi, Silvio
46
2000
Unidimensional theories are superstable. Zbl 0713.03015
Hrushovski, Ehud
46
1990
Toward classifying unstable theories. Zbl 0874.03043
Shelah, Saharon
46
1996
D-completions and the \(d\)-topology. Zbl 1172.54016
Keimel, Klaus; Lawson, Jimmie D.
45
2009
Stable generic structures. Zbl 0857.03020
Baldwin, John T.; Shi, Niandong
44
1996
State-morphism MV-algebras. Zbl 1186.06007
Di Nola, Antonio; Dvurečenskij, Anatolij
44
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
Remarks on superatomic Boolean algebras. Zbl 0643.03038
Baumgartner, James E.; Shelah, Saharon
43
1987
Normal functors, power series and \(\lambda\)-calculus. Zbl 0646.03056
Girard, Jean-Yves
43
1988
The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma. Zbl 1245.03097
Brattka, Vasco; Gherardi, Guido; Marcone, Alberto
43
2012
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
43
2006
Shelah’s pcf theory and its applications. Zbl 0713.03024
Burke, Maxim R.; Magidor, Menachem
43
1990
The structure of the models of decidable monadic theories of graphs. Zbl 0733.03026
Seese, D.
43
1991
On the unity of logic. Zbl 0781.03044
Girard, Jean-Yves
43
1993
Functional interpretations of feasibly constructive arithmetic. Zbl 0780.03026
Cook, Stephen; Urquhart, Alasdair
43
1993
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms. Zbl 0513.03009
Longo, Giuseppe
42
1983
Aronszajn trees on \(\aleph_2\) and \(\aleph_3\). Zbl 0516.03029
Abraham, Uri
42
1983
Pairs of recursive structures. Zbl 0712.03020
Ash, C. J.; Knight, J. F.
42
1990
Topological reasoning and the logic of knowledge. Zbl 0861.68092
Dabrowski, Andrew; Moss, Lawrence S.; Parikh, Rohit
41
1996
On monadic MV-algebras. Zbl 1052.06010
Di Nola, Antonio; Grigolia, Revaz
40
2004
The d.r.e. degrees are not dense. Zbl 0756.03020
Cooper, S. Barry; Harrington, Leo; Lachlan, Alistair H.; Lempp, Steffen; Soare, Robert I.
40
1991
Theories without the tree property of the second kind. Zbl 1386.03035
Chernikov, Artem
40
2014
Distal and non-distal NIP theories. Zbl 1269.03037
Simon, Pierre
40
2013
Inner models with many Woodin cardinals. Zbl 0805.03043
Steel, J. R.
39
1993
Globalization of intuitionistic set theory. Zbl 0633.03050
Takeuti, Gaisi; Titani, Satoko
38
1987
Toward categoricity for classes with no maximal models. Zbl 0945.03048
Shelah, Saharon; Villaveces, Andrés
38
1999
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045
Beklemishev, Lev D.
38
2004
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
Borel equivalence relations and classifications of countable models. Zbl 0933.03056
Hjorth, Greg; Kechris, Alexander S.
38
1996
Cell decompositions of \(C\)-minimal structures. Zbl 0790.03039
Haskell, Deirdre; Macpherson, Dugald
38
1994
Algorithmic correspondence and canonicity for distributive modal logic. Zbl 1255.03030
Conradie, Willem; Palmigiano, Alessandra
36
2012
Bounded functional interpretation. Zbl 1095.03060
Ferreira, Fernando; Oliva, Paulo
36
2005
Propositional logics of dependence. Zbl 1355.03021
Yang, Fan; Väänänen, Jouko
36
2016
Fragments of arithmetic. Zbl 0558.03029
Sieg, Wilfried
35
1985
Aspects of general topology in constructive set theory. Zbl 1077.03035
Aczel, Peter
35
2006
Fraïssé sequences: category-theoretic approach to universal homogeneous structures. Zbl 1329.18002
Kubiś, Wiesław
35
2014
Lovely pairs of models. Zbl 1030.03026
Ben-Yaacov, Itay; Pillay, Anand; Vassiliev, Evgueni
35
2003
A new system of proof-theoretic ordinal functions. Zbl 0655.03038
Buchholz, Wilfried
34
1986
Forcing with filters and complete combinatorics. Zbl 0681.03035
Laflamme, Claude
34
1989
Logarithmic-exponential series. Zbl 0998.12014
van den Dries, Lou; Macintyre, Angus; Marker, David
34
2001
Advice classes of parametrized tractability. Zbl 0873.68071
Cai, Liming; Chen, Jianer; Downey, Rodney G.; Fellows, Michael R.
34
1997
The axioms of constructive geometry. Zbl 0836.03034
von Plato, Jan
33
1995
Henkin quantifiers and complete problems. Zbl 0618.03016
Blass, Andreas; Gurevich, Yuri
33
1986
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
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
Computable Stone spaces. Zbl 07719414
Bazhenov, Nikolay; Harrison-Trainor, Matthew; Melnikov, Alexander
3
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
Topological fields with a generic derivation. Zbl 1511.12003
Cubides Kovacsics, Pablo; Point, Françoise
2
2023
A finitization of Littlewood’s Tauberian theorem and an application in Tauberian remainder theory. Zbl 1523.03024
Powell, Thomas
2
2023
A characterization of generalized existential completions. Zbl 1506.18008
Maietti, Maria Emilia; Trotta, Davide
2
2023
Realisability for infinitary intuitionistic set theory. Zbl 07680007
Carl, Merlin; Galeotti, Lorenzo; Passmann, Robert
1
2023
Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\). Zbl 07680011
Jeřábek, Emil
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
Effective compactness and orbits of points under the isometry group. Zbl 07628760
Iljazović, Zvonko; Validžić, Lucija
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
Huge reflection. Zbl 1511.03012
Bagaria, Joan; Lücke, Philipp
1
2023
Cohen-like first order structures. Zbl 07601554
Kostana, Ziemowit
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
Model theory of adeles. I. Zbl 1525.03096
Derakhshan, Jamshid; Macintyre, Angus
5
2022
\(L\)-algebras and three main non-classical logics. Zbl 1504.03040
Rump, Wolfgang
5
2022
Small cardinals and small Efimov spaces. Zbl 07417482
Brian, Will; Dow, Alan
4
2022
Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories. Zbl 07458792
Dobrowolski, Jan; Kim, Byunghan; Ramsey, Nicholas
4
2022
Reflection algebras and conservation results for theories of iterated truth. Zbl 07501986
Beklemishev, Lev D.; Pakhomov, Fedor N.
4
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
Infinitary action logic with exponentiation. Zbl 07458791
Kuznetsov, Stepan L.; Speranski, Stanislav O.
3
2022
Almost o-minimal structures and \(\mathfrak{X}\)-structures. Zbl 1504.03020
Fujita, Masato
3
2022
Adequate predimension inequalities in differential fields. Zbl 1491.12003
Aslanyan, Vahagn
2
2022
Taming Koepke’s zoo. II: Register machines. Zbl 1485.03178
Carl, Merlin
2
2022
Intermediate models of Magidor-Radin forcing. II. Zbl 1504.03030
Benhamou, Tom; Gitik, Moti
2
2022
Induced and higher-dimensional stable independence. Zbl 1487.18005
Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien
2
2022
Projective well orders and coanalytic witnesses. Zbl 07538234
Bergfalk, Jeffrey; Fischer, Vera; Switzer, Corey Bacal
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
From axioms to synthetic inference rules via focusing. Zbl 07501985
Marin, Sonia; Miller, Dale; Pimentel, Elaine; Volpe, Marco
2
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
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
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
Abelian group actions and hypersmooth equivalence relations. Zbl 07538231
Cotton, Michael R.
1
2022
Embedding causal team languages into predicate logic. Zbl 07587334
Barbero, Fausto; Galliani, Pietro
1
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
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
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
A microscopic approach to Souslin-tree construction. II. Zbl 1477.03177
Brodsky, Ari Meir; Rinot, Assaf
7
2021
Small models, large cardinals, and induced ideals. Zbl 1479.03024
Holy, Peter; Lücke, Philipp
6
2021
Long games and \(\sigma \)-projective sets. Zbl 1506.03112
Aguilera, Juan P.; Müller, Sandra; Schlicht, Philipp
6
2021
Games with finitely generated structures. Zbl 07404816
Krawczyk, Adam; Kubiś, Wiesław
6
2021
Tukey order, calibres and the rationals. Zbl 1498.03100
Gartside, Paul; Mamatelashvili, Ana
5
2021
Local collection and end-extensions of models of compositional truth. Zbl 1473.03047
Łełyk, Mateusz; Wcisło, Bartosz
5
2021
Dp-finite fields. I(A): The infinitesimals. Zbl 1473.03018
Johnson, Will
5
2021
Infinitesimal analysis without the axiom of choice. Zbl 07333022
Hrbacek, Karel; Katz, Mikhail G.
5
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
Towards the entropy-limit conjecture. Zbl 1498.03057
Landes, Jürgen; Rad, Soroush Rafiee; Williamson, Jon
4
2021
Superstability, Noetherian rings and pure-semisimple rings. Zbl 1498.03076
Mazari-Armida, Marcos
4
2021
Sets in Prikry and Magidor generic extensions. Zbl 1506.03109
Benhamou, Tom; Gitik, Moti
4
2021
Dp-finite fields. I(B): Positive characteristic. Zbl 1477.03136
Johnson, Will
4
2021
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice. Zbl 07333023
Brot, Joshua; Cao, Mengyang; Fernández-Bretón, David
4
2021
Punctual definability on structures. Zbl 07358547
Kalimullin, Iskander; Melnikov, Alexander; Montalban, Antonio
4
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
Computable irrational numbers with representations of surprising complexity. Zbl 1481.03041
Georgiev, Ivan; Kristiansen, Lars; Stephan, Frank
3
2021
A topological zero-one law and elementary equivalence of finitely generated groups. Zbl 1498.03085
Osin, D.
3
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
Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal. Zbl 07358534
Cody, Brent; Gitman, Victoria; Lambie-Hanson, Chris
3
2021
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations. Zbl 07358548
Chan, William; Jackson, Stephen
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
Continuous L-domains in logical form. Zbl 07374867
Wang, Longchun; Li, Qingguo; Zhou, Xiangnan
3
2021
When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\). Zbl 1491.03035
Matet, Pierre
2
2021
First-order model theory of free projective planes. Zbl 1498.03074
Hyttinen, Tapani; Paolini, Gianluca
2
2021
Preserving levels of projective determinacy by tree forcings. Zbl 1506.03101
Castiblanco, Fabiana; Schlicht, Philipp
2
2021
A parametrised functional interpretation of Heyting arithmetic. Zbl 1506.03122
Dinis, Bruno; Oliva, Paulo
2
2021
Some remarks on the open coloring axiom. Zbl 1506.03114
Moore, Justin Tatch
2
2021
Non-forking and preservation of NIP and dp-rank. Zbl 1521.03067
Estevan, Pedro Andrés; Kaplan, Itay
2
2021
Pure \(\Sigma_2\)-elementarity beyond the core. Zbl 07374869
Wilken, Gunnar
2
2021
Hilbert-style axiomatization of first-degree entailment and a family of its extensions. Zbl 1490.03015
Shramko, Yaroslav
2
2021
An approach to stochastic processes via non-classical logic. Zbl 1491.06023
Di Nola, Antonio; Dvurečenskij, Anatolij; Lapenta, Serafina
2
2021
Strongly compact cardinals and the continuum function. Zbl 1491.03036
Apter, Arthur W.; Dimopoulos, Stamatis; Usuba, Toshimichi
2
2021
The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps. Zbl 1457.03064
Golshani, Mohammad; Poveda, Alejandro
1
2021
Finitely generated groups are universal among finitely generated structures. Zbl 1498.03081
Harrison-Trainor, Matthew; Ho, Meng-Che “Turbo”
1
2021
Complexity of syntactical tree fragments of independence-friendly logic. Zbl 1498.03064
Barbero, Fausto
1
2021
Stationary and closed rainbow subsets. Zbl 1498.03098
Garti, Shimon; Zhang, Jing
1
2021
Unbounded towers and products. Zbl 1460.54014
Szewczak, Piotr; Włudecka, Magdalena
1
2021
Continuous extension of maps between sequential cascades. Zbl 1506.03100
Dolecki, Szymon; Starosolski, Andrzej
1
2021
...and 1496 more Documents
all top 5

Cited by 6,661 Authors

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

Cited in 464 Journals

1,535 Annals of Pure and Applied Logic
1,223 The Journal of Symbolic Logic
608 Archive for Mathematical Logic
563 Theoretical Computer Science
332 Mathematical Logic Quarterly (MLQ)
233 Information and Computation
230 Israel Journal of Mathematics
216 The Bulletin of Symbolic Logic
202 Transactions of the American Mathematical Society
201 Studia Logica
194 Topology and its Applications
189 Proceedings of the American Mathematical Society
185 Notre Dame Journal of Formal Logic
180 MSCS. Mathematical Structures in Computer Science
165 Fuzzy Sets and Systems
163 Journal of Mathematical Logic
162 Journal of Pure and Applied Algebra
154 Logical Methods in Computer Science
133 Advances in Mathematics
119 The Review of Symbolic Logic
106 Algebra and Logic
98 Journal of Computer and System Sciences
94 Journal of Algebra
91 Algebra Universalis
91 Fundamenta Mathematicae
84 Journal of Philosophical Logic
78 Synthese
69 Journal of Applied Non-Classical Logics
67 Soft Computing
66 Theory of Computing Systems
64 Annals of Mathematics and Artificial Intelligence
57 Journal of Automated Reasoning
53 Siberian Mathematical Journal
49 Communications in Algebra
49 Information Sciences
46 International Journal of Approximate Reasoning
46 Logica Universalis
45 Journal of Logic, Language and Information
44 Order
44 ACM Transactions on Computational Logic
43 Journal of Mathematical Sciences (New York)
41 Journal of Applied Logic
40 Information Processing Letters
37 Discrete Applied Mathematics
37 Computability
35 Applied Categorical Structures
31 Discrete Mathematics
27 Journal of Mathematical Analysis and Applications
26 Artificial Intelligence
26 Lobachevskii Journal of Mathematics
25 Selecta Mathematica. New Series
24 Acta Mathematica Hungarica
24 Computational Complexity
24 Journal of Logic and Analysis
23 Journal of the American Mathematical Society
23 Indagationes Mathematicae. New Series
22 Journal of Symbolic Computation
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 Forum of Mathematics, Sigma
20 Journal of Logical and Algebraic Methods in Programming
19 Mathematica Slovaca
19 Sibirskie Èlektronnye Matematicheskie Izvestiya
18 Journal of the European Mathematical Society (JEMS)
17 Theory and Practice of Logic Programming
17 Journal of Algebra and its Applications
16 SIAM Journal on Computing
16 European Journal of Combinatorics
16 Doklady Mathematics
15 Acta Informatica
15 Mathematical Proceedings of the Cambridge Philosophical Society
15 Memoirs of the American Mathematical Society
15 Theory and Applications of Categories
14 Bulletin of the London Mathematical Society
14 Journal of Complexity
14 RAIRO. Theoretical Informatics and Applications
13 History and Philosophy of Logic
13 Formal Aspects of Computing
13 Logic and Logical Philosophy
12 Forum Mathematicum
12 Oberwolfach Reports
12 European Journal of Mathematics
11 Mathematical Notes
11 Journal of Functional Analysis
11 Mathematische Zeitschrift
11 Bulletin of the Section of Logic
11 Ergodic Theory and Dynamical Systems
11 Russian Mathematics
11 Central European Journal of 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 364 more Journals
all top 5

Cited in 58 Fields

9,544 Mathematical logic and foundations (03-XX)
2,931 Computer science (68-XX)
1,125 Order, lattices, ordered algebraic structures (06-XX)
750 General topology (54-XX)
657 Category theory; homological algebra (18-XX)
528 Combinatorics (05-XX)
498 Group theory and generalizations (20-XX)
365 Field theory and polynomials (12-XX)
284 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
214 Number theory (11-XX)
202 General algebraic systems (08-XX)
201 Functional analysis (46-XX)
190 Associative rings and algebras (16-XX)
177 Commutative algebra (13-XX)
176 Algebraic geometry (14-XX)
171 Measure and integration (28-XX)
123 History and biography (01-XX)
122 Topological groups, Lie groups (22-XX)
120 Dynamical systems and ergodic theory (37-XX)
114 Real functions (26-XX)
104 General and overarching topics; collections (00-XX)
94 Probability theory and stochastic processes (60-XX)
73 Information and communication theory, circuits (94-XX)
72 Quantum theory (81-XX)
61 Operator theory (47-XX)
60 Geometry (51-XX)
58 Operations research, mathematical programming (90-XX)
56 Algebraic topology (55-XX)
44 Several complex variables and analytic spaces (32-XX)
37 Sequences, series, summability (40-XX)
33 Linear and multilinear algebra; matrix theory (15-XX)
27 Convex and discrete geometry (52-XX)
27 Manifolds and cell complexes (57-XX)
22 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)
13 Nonassociative rings and algebras (17-XX)
13 Approximations and expansions (41-XX)
12 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 Systems theory; control (93-XX)
9 Partial differential equations (35-XX)
8 \(K\)-theory (19-XX)
8 Differential geometry (53-XX)
4 Special functions (33-XX)
4 Relativity and gravitational theory (83-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