×

zbMATH — the first resource for mathematics

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,474 Publications (since 1983)
References Indexed: 2,337 Publications with 48,858 References.
all top 5

Latest Issues

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)
164, No. 7-8 (2013)
164, No. 6 (2013)
164, No. 5 (2013)
164, No. 4 (2013)
164, No. 3 (2013)
164, No. 2 (2013)
164, No. 1 (2013)
...and 289 more Volumes
all top 5

Authors

86 Shelah, Saharon
41 Downey, Rodney Graham
30 Friedman, Sy-David
22 Remmel, Jeffrey B.
19 Stephan, Frank
18 Friedman, Harvey M.
18 Pillay, Anand
17 Gitik, Moti
16 Nerode, Anil
15 Jäger, Gerhard
15 Macintyre, Angus John
14 Buss, Samuel R.
14 Palmgren, Erik
13 Harizanov, Valentina S.
13 Rathjen, Michael
12 Slaman, Theodore A.
12 Väänänen, Jouko Antero
12 Weiermann, Andreas
11 Ash, Christopher John
11 Baaz, Matthias
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 Blass, Andreas Raphael
10 Cenzer, Douglas
10 Hyttinen, Tapani
10 Khoussainov, Bakhadyr M.
10 Knight, Julia F.
10 Kohlenbach, Ulrich Wilhelm
10 Kurilić, Miloš S.
10 Nies, André Otfrid
10 Shore, Richard A.
9 Ambos-Spies, Klaus
9 Beklemishev, Lev D.
9 Brendle, Jörg
9 Hodkinson, Ian Martin
9 Ishihara, Hajime
9 Point, Françoise
9 Scedrov, Andre
9 Simpson, Stephen G.
9 Soare, Robert I.
9 Sureson, Claude
9 Wu, Guohua
8 Asperó, David
8 Beckmann, Arnold
8 Berardi, Stefano
8 Berger, Ulrich
8 Cooper, Stuart Barry
8 Coquand, Thierry
8 Ghilardi, Silvio
8 Hamkins, Joel David
8 Jeřábek, Emil
8 Krueger, John
8 Magidor, Menachem
8 Mundici, Daniele
8 Visser, Albert
7 Barmpalias, George
7 Brattka, Vasco
7 Cummings, James
7 Gasarch, William Ian
7 Harrington, Leo A.
7 Hrushovski, Ehud
7 Kalantari, Iraj
7 Matet, Pierre
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 Vasey, Sebastien
7 Zapletal, Jindřich
6 Avigad, Jeremy
6 Berarducci, Alessandro
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 Iemhoff, Rosalie
6 Jain, Sanjay
6 Japaridze, Giorgi
6 Lempp, Steffen
6 Lerman, Manuel
6 Löwe, Benedikt
...and 1,777 more Authors
all top 5

Fields

2,394 Mathematical logic and foundations (03-XX)
367 Computer science (68-XX)
202 Order, lattices, ordered algebraic structures (06-XX)
121 General topology (54-XX)
120 Category theory; homological algebra (18-XX)
82 Group theory and generalizations (20-XX)
79 Field theory and polynomials (12-XX)
72 Combinatorics (05-XX)
57 General and overarching topics; collections (00-XX)
46 General algebraic systems (08-XX)
44 Number theory (11-XX)
42 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
39 Measure and integration (28-XX)
29 Functional analysis (46-XX)
27 Associative rings and algebras (16-XX)
27 Real functions (26-XX)
25 History and biography (01-XX)
22 Commutative algebra (13-XX)
22 Algebraic geometry (14-XX)
20 Probability theory and stochastic processes (60-XX)
17 Topological groups, Lie groups (22-XX)
16 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 Manifolds and cell complexes (57-XX)
5 Linear and multilinear algebra; matrix theory (15-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 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,002 Publications have been cited 15,797 times in 9,567 Documents Cited by Year
Model theory of modules. Zbl 0593.16019
Ziegler, Martin
158
1984
Concept lattices and order in fuzzy logic. Zbl 1060.03040
Bělohlávek, Radim
131
2004
\(\Sigma_ 1^ 1\)-formulae on finite structures. Zbl 0519.03021
Ajtai, M.
122
1983
Domain theory in logical form. Zbl 0737.03006
Abramsky, Samson
120
1991
A new strongly minimal set. Zbl 0804.03020
Hrushovski, Ehud
105
1993
Uniform proofs as a foundation for logic programming. Zbl 0721.03037
Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre
87
1991
Varieties of complex algebras. Zbl 0722.08005
Goldblatt, Robert
87
1989
Simple theories. Zbl 0897.03036
Kim, Byunghan; Pillay, Anand
82
1997
On the scheme of induction for bounded arithmetic formulas. Zbl 0647.03046
Wilkie, A. J.; Paris, J. B.
80
1987
Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034
Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M.
78
2002
\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures. Zbl 0566.03022
Cherlin, G.; Harrington, L.; Lachlan, A. H.
77
1985
Analytic ideals and their applications. Zbl 0932.03060
Solecki, Sławomir
74
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
70
1987
Coalgebraic logic. Zbl 0969.03026
Moss, Lawrence S.
68
1999
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
64
2005
Generic copies of countable structures. Zbl 0678.03012
Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore
63
1989
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
58
1985
Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009
Makowsky, J. A.
56
2004
Infinite games played on finite graphs. Zbl 0798.90151
McNaughton, Robert
56
1993
Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036
Makkai, M.; Reyes, G. E.
56
1995
A game semantics for linear logic. Zbl 0763.03008
Blass, Andreas
55
1992
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052
Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles
55
2009
Countable algebra and set existence axioms. Zbl 0575.03038
Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L.
54
1983
The complexity of first-order and monadic second-order logic revisited. Zbl 1062.03032
Frick, Markus; Grohe, Martin
54
2004
Decision problems for propositional linear logic. Zbl 0768.03003
Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan
51
1992
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.
50
1995
Inductively generated formal topologies. Zbl 1070.03041
Coquand, Thierry; Sambin, Giovanni; Smith, Jan; Valentini, Silvio
50
2003
Generic structures and simple theories. Zbl 0929.03043
Chatzidakis, Z.; Pillay, A.
50
1998
Fixed-point extensions of first-order logic. Zbl 0621.03013
Gurevich, Yuri; Shelah, Saharon
50
1986
The lottery preparation. Zbl 0949.03045
Hamkins, Joel David
50
2000
Real closed rings. II. Model theory. Zbl 0538.03028
Cherlin, Gregory; Dickmann, Max A.
48
1983
Inclusion and exclusion dependencies in team semantics – on some logics of imperfect information. Zbl 1250.03047
Galliani, Pietro
47
2012
Categoricity for abstract classes with amalgamation. Zbl 0945.03049
Shelah, Saharon
46
1999
Quasi finitely axiomatizable totally categorical theories. Zbl 0592.03018
Ahlbrandt, Gisela; Ziegler, Martin
45
1986
An axiomatic approach to self-referential truth. Zbl 0634.03058
Friedman, Harvey; Sheard, Michael
44
1987
The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\). Zbl 0673.03043
Gitik, Moti
44
1989
Combinatorial principles in the core model for one Woodin cardinal. Zbl 0834.03018
Schimmerling, Ernest
44
1995
Generalized algebraic theories and contextual categories. Zbl 0634.18003
Cartmell, John
43
1986
Large cardinals and definable counterexamples to the continuum hypothesis. Zbl 0837.03040
Foreman, Matthew; Magidor, Menachem
42
1995
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
A small complete category. Zbl 0659.18007
Hyland, J. M. E.
40
1988
Pseudo-exponentiation on algebraically closed fields of characteristic zero. Zbl 1076.03024
Zilber, B.
40
2005
Toward classifying unstable theories. Zbl 0874.03043
Shelah, Saharon
40
1996
Infinite combinatorics and definability. Zbl 0667.03037
Miller, Arnold W.
39
1989
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
Remarks on superatomic Boolean algebras. Zbl 0643.03038
Baumgartner, James E.; Shelah, Saharon
38
1987
Stable generic structures. Zbl 0857.03020
Baldwin, John T.; Shi, Niandong
38
1996
Expansions of the real field with power functions. Zbl 0823.03018
Miller, Chris
38
1994
Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017
van den Dries, Lou
38
1989
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
38
2005
A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde
37
2005
On variants of \(o\)-minimality. Zbl 0858.03039
Macpherson, Dugald; Steinhorn, Charles
37
1996
The Manin-Mumford conjecture and the model theory of difference fields. Zbl 0987.03036
Hrushovski, Ehud
37
2001
Pairs of recursive structures. Zbl 0712.03020
Ash, C. J.; Knight, J. F.
37
1990
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms. Zbl 0513.03009
Longo, Giuseppe
37
1983
Aronszajn trees on \(\aleph_2\) and \(\aleph_3\). Zbl 0516.03029
Abraham, Uri
37
1983
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
37
2000
Globalization of intuitionistic set theory. Zbl 0633.03050
Takeuti, Gaisi; Titani, Satoko
36
1987
State-morphism MV-algebras. Zbl 1186.06007
Di Nola, Antonio; Dvurečenskij, Anatolij
36
2009
Inner models with many Woodin cardinals. Zbl 0805.03043
Steel, J. R.
36
1993
Wellfounded trees in categories. Zbl 1010.03056
Moerdijk, Ieke; Palmgren, Erik
36
2000
Closed choice and a uniform low basis theorem. Zbl 1251.03082
Brattka, Vasco; De Brecht, Matthew; Pauly, Arno
35
2012
Proof-theoretic investigations on Kruskal’s theorem. Zbl 0786.03042
Rathjen, Michael; Weiermann, Andreas
35
1993
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
35
2006
Dynamical method in algebra: Effective Nullstellensätze. Zbl 0992.03076
Coste, Michel; Lombardi, Henri; Roy, Marie-Françoise
34
2001
Fragments of arithmetic. Zbl 0558.03029
Sieg, Wilfried
34
1985
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
Functional interpretations of feasibly constructive arithmetic. Zbl 0780.03026
Cook, Stephen; Urquhart, Alasdair
34
1993
Best solving modal equations. Zbl 0949.03010
Ghilardi, Silvio
34
2000
Toward categoricity for classes with no maximal models. Zbl 0945.03048
Shelah, Saharon; Villaveces, Andrés
33
1999
Normal functors, power series and \(\lambda\)-calculus. Zbl 0646.03056
Girard, Jean-Yves
32
1988
The structure of the models of decidable monadic theories of graphs. Zbl 0733.03026
Seese, D.
32
1991
On the unity of logic. Zbl 0781.03044
Girard, Jean-Yves
32
1993
Cell decompositions of \(C\)-minimal structures. Zbl 0790.03039
Haskell, Deirdre; Macpherson, Dugald
32
1994
Borel equivalence relations and classifications of countable models. Zbl 0933.03056
Hjorth, Greg; Kechris, Alexander S.
32
1996
The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma. Zbl 1245.03097
Brattka, Vasco; Gherardi, Guido; Marcone, Alberto
32
2012
Superstable groups. Zbl 0599.03034
Berline, Ch.; Lascar, D.
31
1986
A new system of proof-theoretic ordinal functions. Zbl 0655.03038
Buchholz, Wilfried
31
1986
The axioms of constructive geometry. Zbl 0836.03034
von Plato, Jan
31
1995
Semantics of weakening and contraction. Zbl 0814.03007
Jacobs, Bart
31
1994
Categoricity in hyperarithmetical degrees. Zbl 0617.03016
Ash, C. J.
30
1987
Stability of recursive structures in arithmetical degrees. Zbl 0631.03016
Ash, C. J.
30
1986
Lovely pairs of models. Zbl 1030.03026
Ben-Yaacov, Itay; Pillay, Anand; Vassiliev, Evgueni
30
2003
Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
30
2012
Degrees of orderings not isomorphic to recursive linear orderings. Zbl 0734.03026
Jockusch, Carl G. jun.; Soare, Robert I.
30
1991
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
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045
Beklemishev, Lev D.
29
2004
Bounded functional interpretation. Zbl 1095.03060
Ferreira, Fernando; Oliva, Paulo
29
2005
Theories without the tree property of the second kind. Zbl 1386.03035
Chernikov, Artem
28
2014
Henkin quantifiers and complete problems. Zbl 0618.03016
Blass, Andreas; Gurevich, Yuri
28
1986
On Gödel incompleteness and finite combinatorics. Zbl 0627.03041
Kanamori, Akihiro; McAloon, Kenneth
28
1987
Introduction to computability logic. Zbl 1028.03025
Japaridze, Giorgi
28
2003
Categoricity in abstract elementary classes with no maximal models. Zbl 1106.03031
Van Dieren, Monica
28
2006
Polynomial-time versus recursive models. Zbl 0756.03021
Cenzer, Douglas; Remmel, Jeffrey
28
1991
Forcing with filters and complete combinatorics. Zbl 0681.03035
Laflamme, Claude
27
1989
Aspects of general topology in constructive set theory. Zbl 1077.03035
Aczel, Peter
27
2006
On partial randomness. Zbl 1077.03022
Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A.
27
2006
Derivatives of normal functions in reverse mathematics. Zbl 07285677
Freund, Anton; Rathjen, Michael
2
2021
Completion of choice. Zbl 1462.03019
Brattka, Vasco; Gherardi, Guido
2
2021
Superstability, Noetherian rings and pure-semisimple rings. Zbl 07300478
Mazari-Armida, Marcos
2
2021
Tukey order, calibres and the rationals. Zbl 07260109
Gartside, Paul; Mamatelashvili, Ana
2
2021
Long games and \(\sigma \)-projective sets. Zbl 07327746
Aguilera, Juan P.; Müller, Sandra; Schlicht, Philipp
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
Dp-finite fields. I(A): The infinitesimals. Zbl 07333019
Johnson, Will
1
2021
Dp-finite fields I(B): positive characteristic. Zbl 07333020
Johnson, Will
1
2021
Universal graphs and functions on \(\omega_1\). Zbl 07358546
Shelah, Saharon; Steprāns, Juris
1
2021
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations. Zbl 07358548
Chan, William; Jackson, Stephen
1
2021
Small models, large cardinals, and induced ideals. Zbl 07285676
Holy, Peter; Lücke, Philipp
1
2021
A topological zero-one law and elementary equivalence of finitely generated groups. Zbl 07300476
Osin, D.
1
2021
Filter-linkedness and its effect on preservation of cardinal characteristics. Zbl 07260103
Brendle, Jörg; Cardona, Miguel A.; Mejía, Diego A.
1
2021
Open core and small groups in dense pairs of topological structures. Zbl 07260105
Baro, Elías; Martin-Pizarro, Amador
1
2021
Complexity of syntactical tree fragments of independence-friendly logic. Zbl 07260106
Barbero, Fausto
1
2021
Ax-Schanuel and strong minimality for the \(j\)-function. Zbl 07260107
Aslanyan, Vahagn
1
2021
Algebraic description of limit models in classes of abelian groups. Zbl 07127340
Mazari-Armida, Marcos
4
2020
Pincherle’s theorem in reverse mathematics and computability theory. Zbl 1443.03008
Normann, Dag; Sanders, Sam
3
2020
Diagonal supercompact Radin forcing. Zbl 07257236
Ben-Neria, Omer; Lambie-Hanson, Chris; Unger, Spencer
3
2020
Embeddings between well-orderings: computability-theoretic reductions. Zbl 07189161
Goh, Jun Le
2
2020
The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. Zbl 1455.03077
Ferreira, Fernando
2
2020
Resolution over linear equations modulo two. Zbl 07127339
Itsykson, Dmitry; Sokolov, Dmitry
1
2020
Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition. Zbl 1435.03062
Fujita, Masato
1
2020
Bilattice logic of epistemic actions and knowledge. Zbl 07189162
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
Definable groups in models of Presburger arithmetic. Zbl 07189167
Onshuus, Alf; Vicaría, Mariana
1
2020
The density zero ideal and the splitting number. Zbl 07207186
Raghavan, Dilip
1
2020
On expansions of \((\mathbf{Z},+,0)\). Zbl 07207188
Lambotte, Quentin; Point, Françoise
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 07207191
Krueger, John
1
2020
Computability of pseudo-cubes. Zbl 07207193
Horvat, Marko; Iljazović, Zvonko; Pažek, Bojan
1
2020
Stationarily ordered types and the number of countable models. Zbl 07149474
Moconja, Slavko; Tanović, Predrag
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
Epimorphism surjectivity in varieties of Heyting algebras. Zbl 1457.03055
Moraschini, T.; Wannenburg, J. J.
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
Algorithmic correspondence and canonicity for non-distributive logics. Zbl 07106323
Conradie, Willem; Palmigiano, Alessandra
7
2019
Finite computable dimension and degrees of categoricity. Zbl 06974479
Csima, Barbara F.; Stephenson, Jonathan
6
2019
The strength of compactness in computability theory and nonstandard analysis. Zbl 1430.03035
Normann, Dag; Sanders, Sam
4
2019
When is scalar multiplication decidable? Zbl 1446.03029
Hieronymi, Philipp
4
2019
Model theoretic dynamics in Galois fashion. Zbl 1439.03073
Hoffmann, Daniel Max
4
2019
Reductions between types of numberings. Zbl 1439.03077
Herbert, Ian; Jain, Sanjay; Lempp, Steffen; Mustafa, Manat; Stephan, Frank
3
2019
Categories of models of \(\mathbf{R}\)-mingle. Zbl 07078384
Fussner, Wesley; Galatos, Nick
3
2019
On modal logics arising from scattered locally compact Hausdorff spaces. Zbl 07036292
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
3
2019
Provability logic and the completeness principle. Zbl 1439.03106
Visser, Albert; Zoethout, Jetze
3
2019
Reverse mathematics and parameter-free transfer. Zbl 06994737
van den Berg, Benno; Sanders, Sam
3
2019
The Nikodym property and cardinal characteristics of the continuum. Zbl 06974477
Sobota, Damian
2
2019
Small embedding characterizations for large cardinals. Zbl 1404.03043
Holy, Peter; Lücke, Philipp; Njegomir, Ana
2
2019
Fixed point theorems for precomplete numberings. Zbl 1454.03049
Barendregt, Henk; Terwijn, Sebastiaan A.
2
2019
On the existence of skinny stationary subsets. Zbl 07036291
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
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 07114344
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
On eigenvectors, approximations and the Feynman propagator. Zbl 06974481
Hirvonen, Åsa; Hyttinen, Tapani
1
2019
Infinitary first-order categorical logic. Zbl 1445.03077
Espíndola, Christian
1
2019
On stably pointed varieties and generically stable groups in ACVF. Zbl 06986592
Halevi, Yatir
1
2019
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. Zbl 1459.03091
Fujiwara, Makoto; Kawai, Tatsuji
1
2019
Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions. Zbl 1461.03057
Kawai, Tatsuji
1
2019
Categorical linearly ordered structures. Zbl 1435.03076
Downey, Rod; Melnikov, Alexander; Ng, Keng Meng
1
2019
Existential monadic second order logic of undirected graphs: the Le Bars conjecture is false. Zbl 07011463
Popova, S. N.; Zhukovskii, M. E.
1
2019
Isolated maximal d.r.e. degrees. Zbl 07011464
Liu, Yong
1
2019
A new look at interpretability and saturation. Zbl 07036294
Malliaris, M.; Shelah, S.
1
2019
Model-completions for abelian lattice-ordered groups with finitely many disjoint elements. Zbl 07049211
Scowcroft, Philip
1
2019
On the complexity of the Leibniz hierarchy. Zbl 07049925
Moraschini, Tommaso
1
2019
The tree property at the double successor of a singular cardinal with a larger gap. Zbl 1387.03036
Friedman, Sy-David; Honzik, Radek; Stejskalová, Šárka
6
2018
Virtual large cardinals. Zbl 06958071
Gitman, Victoria; Schindler, Ralf
5
2018
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\). Zbl 1426.03039
Ardeshir, Mohammad; Mojtahedi, Mojtaba
5
2018
Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic. Zbl 06824130
Rönnholm, Raine
5
2018
Jumps of computably enumerable equivalence relations. Zbl 1406.03055
Andrews, Uri; Sorbi, Andrea
5
2018
A representation theorem for measurable relation algebras. Zbl 1453.03071
Givant, Steven; Andréka, Hajnal
5
2018
Abstract elementary classes stable in \(\aleph_{0}\). Zbl 06880842
Shelah, Saharon; Vasey, Sebastien
4
2018
Characterizations of pretameness and the Ord-cc. Zbl 06880851
Holy, Peter; Krapf, Regula; Schlicht, Philipp
4
2018
An analysis of the logic of Riesz spaces with strong unit. Zbl 1427.06008
Di Nola, Antonio; Lapenta, Serafina; Leuştean, Ioana
4
2018
Beyond abstract elementary classes: on the model theory of geometric lattices. Zbl 06815860
Hyttinen, Tapani; Paolini, Gianluca
4
2018
Vaught’s conjecture for weakly o-minimal theories of convexity rank 1. Zbl 1412.03017
Alibek, A.; Baizhanov, B. S.; Kulpeshov, B. Sh.; Zambarnaya, T. S.
4
2018
Functoriality and uniformity in Hrushovski’s groupoid-cover correspondence. Zbl 06880848
Haykazyan, Levon; Moosa, Rahim
3
2018
Modularity results for interpolation, amalgamation and superamalgamation. Zbl 06880849
Ghilardi, Silvio; Gianola, Alessandro
3
2018
Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories. Zbl 06880850
Kruckman, Alex; Ramsey, Nicholas
3
2018
First order theory of cyclically ordered groups. Zbl 06880856
Giraudet, M.; Leloup, G.; Lucas, F.
3
2018
Axiomatizations of team logics. Zbl 06880857
Lück, Martin
3
2018
On constructivity and the Rosser property: a closer look at some Gödelean proofs. Zbl 1434.03135
Salehi, Saeed; Seraji, Payam
3
2018
Direct twisted Galois stratification. Zbl 06803110
Tomašić, Ivan
3
2018
Intuitionistic nonstandard bounded modified realisability and functional interpretation. Zbl 1426.03013
Dinis, Bruno; Gaspar, Jaime
3
2018
Wild theories with o-minimal open core. Zbl 1404.03034
Hieronymi, Philipp; Nell, Travis; Walsberg, Erik
3
2018
The tree property at double successors of singular cardinals of uncountable cofinality. Zbl 1404.03041
Golshani, Mohammad; Mohammadpour, Rahman
3
2018
A cubical model of homotopy type theory. Zbl 06958068
Awodey, Steve
2
2018
Binary simple homogeneous structures. Zbl 06958072
Koponen, Vera
2
2018
Multicomponent proof-theoretic method for proving interpolation properties. Zbl 06958073
Kuznets, Roman
2
2018
Ehrenfeucht-Fraïssé games on ordinals. Zbl 06880844
Mwesigye, F.; Truss, J. K.
2
2018
Splitting into degrees with low computational strength. Zbl 06880852
Downey, Rod; Ng, Keng Meng
2
2018
Definable \(\mathsf{E}_0\) classes at arbitrary projective levels. Zbl 1426.03028
Kanovei, Vladimir; Lyubetsky, Vassily
2
2018
No finite axiomatizations for posets embeddable into distributive lattices. Zbl 06824132
Egrot, Rob
2
2018
Recognizable sets and Woodin cardinals: computation beyond the constructible universe. Zbl 1453.03055
Carl, Merlin; Schlicht, Philipp; Welch, Philip
2
2018
Tarski’s theorem on intuitionistic logic, for polyhedra. Zbl 1390.03015
Bezhanishvili, Nick; Marra, Vincenzo; McNeill, Daniel; Pedrini, Andrea
2
2018
...and 1475 more Documents
all top 5

Cited by 5,464 Authors

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

Cited in 385 Journals

1,395 Annals of Pure and Applied Logic
1,094 The Journal of Symbolic Logic
537 Archive for Mathematical Logic
536 Theoretical Computer Science
207 Israel Journal of Mathematics
205 Information and Computation
196 The Bulletin of Symbolic Logic
195 Mathematical Logic Quarterly (MLQ)
188 Transactions of the American Mathematical Society
168 Studia Logica
166 Proceedings of the American Mathematical Society
160 Notre Dame Journal of Formal Logic
157 Topology and its Applications
148 Fuzzy Sets and Systems
146 Journal of Pure and Applied Algebra
144 MSCS. Mathematical Structures in Computer Science
117 Journal of Mathematical Logic
111 Advances in Mathematics
98 Journal of Computer and System Sciences
93 The Review of Symbolic Logic
86 Algebra and Logic
84 Logical Methods in Computer Science
83 Journal of Algebra
78 Algebra Universalis
64 Journal of Philosophical Logic
62 Journal of Applied Non-Classical Logics
62 Theory of Computing Systems
61 Soft Computing
59 Annals of Mathematics and Artificial Intelligence
54 Fundamenta Mathematicae
53 Synthese
48 Communications in Algebra
48 Journal of Automated Reasoning
41 Information Sciences
41 Journal of Applied Logic
40 Order
40 Journal of Mathematical Sciences (New York)
38 Siberian Mathematical Journal
37 Information Processing Letters
35 Discrete Applied Mathematics
35 Journal of Logic, Language and Information
35 Logica Universalis
33 ACM Transactions on Computational Logic
30 International Journal of Approximate Reasoning
29 Discrete Mathematics
26 Journal of Mathematical Analysis and Applications
23 Journal of the American Mathematical Society
23 Computational Complexity
23 Applied Categorical Structures
22 Indagationes Mathematicae. New Series
21 Artificial Intelligence
21 Journal of Symbolic Computation
21 Selecta Mathematica. New Series
21 Lobachevskii Journal of Mathematics
20 International Journal of Foundations of Computer Science
20 The Journal of Logic and Algebraic Programming
19 Journal of Functional Programming
18 Journal of Logic and Analysis
17 Algorithmica
17 Journal of the Institute of Mathematics of Jussieu
16 International Journal of Algebra and Computation
16 Journal of Logical and Algebraic Methods in Programming
15 Sibirskie Èlektronnye Matematicheskie Izvestiya
14 Mathematical Proceedings of the Cambridge Philosophical Society
14 European Journal of Combinatorics
14 RAIRO. Theoretical Informatics and Applications
14 Computability
13 Journal of Complexity
13 Formal Aspects of Computing
13 Theory and Practice of Logic Programming
12 Memoirs of the American Mathematical Society
12 Acta Mathematica Hungarica
12 Journal of the European Mathematical Society (JEMS)
12 Forum of Mathematics, Sigma
11 Acta Informatica
11 History and Philosophy of Logic
11 Journal of Algebra and its Applications
10 Archiv für Mathematische Logik und Grundlagenforschung
10 International Journal of General Systems
10 Journal of Combinatorial Theory. Series A
10 Journal of Functional Analysis
10 Theory and Applications of Categories
9 Mathematical Notes
9 Annales de l’Institut Fourier
9 Mathematische Zeitschrift
9 Monatshefte für Mathematik
9 SIAM Journal on Computing
9 Bulletin of the American Mathematical Society. New Series
9 Doklady Mathematics
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 Journal of the Mathematical Society of Japan
8 Mathematica Slovaca
8 Ergodic Theory and Dynamical Systems
8 Forum Mathematicum
8 Algebras and Representation Theory
7 Archiv der Mathematik
7 Illinois Journal of Mathematics
7 Inventiones Mathematicae
...and 285 more Journals
all top 5

Cited in 57 Fields

7,686 Mathematical logic and foundations (03-XX)
2,277 Computer science (68-XX)
878 Order, lattices, ordered algebraic structures (06-XX)
588 General topology (54-XX)
507 Category theory; homological algebra (18-XX)
420 Combinatorics (05-XX)
409 Group theory and generalizations (20-XX)
296 Field theory and polynomials (12-XX)
216 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
162 General algebraic systems (08-XX)
156 Associative rings and algebras (16-XX)
156 Functional analysis (46-XX)
149 Number theory (11-XX)
146 Commutative algebra (13-XX)
138 Measure and integration (28-XX)
134 Algebraic geometry (14-XX)
104 Real functions (26-XX)
102 History and biography (01-XX)
90 Dynamical systems and ergodic theory (37-XX)
89 Topological groups, Lie groups (22-XX)
73 General and overarching topics; collections (00-XX)
73 Probability theory and stochastic processes (60-XX)
64 Information and communication theory, circuits (94-XX)
54 Geometry (51-XX)
49 Quantum theory (81-XX)
43 Operator theory (47-XX)
43 Operations research, mathematical programming (90-XX)
41 Algebraic topology (55-XX)
33 Several complex variables and analytic spaces (32-XX)
27 Sequences, series, summability (40-XX)
25 Linear and multilinear algebra; matrix theory (15-XX)
24 Manifolds and cell complexes (57-XX)
23 Convex and discrete geometry (52-XX)
18 Numerical analysis (65-XX)
12 Ordinary differential equations (34-XX)
11 Functions of a complex variable (30-XX)
11 Difference and functional equations (39-XX)
11 Global analysis, analysis on manifolds (58-XX)
11 Statistical mechanics, structure of matter (82-XX)
11 Biology and other natural sciences (92-XX)
10 Nonassociative rings and algebras (17-XX)
8 Approximations and expansions (41-XX)
8 Abstract harmonic analysis (43-XX)
8 Statistics (62-XX)
7 \(K\)-theory (19-XX)
7 Differential geometry (53-XX)
7 Systems theory; control (93-XX)
4 Special functions (33-XX)
3 Partial differential equations (35-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Calculus of variations and optimal control; optimization (49-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)
1 Relativity and gravitational theory (83-XX)

Citations by Year