Annals of Pure and Applied Logic

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

Latest Issues

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

Authors

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

Fields

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

Citations contained in zbMATH Open

2,046 Publications have been cited 16,768 times in 10,154 Documents Cited by Year
Model theory of modules. Zbl 0593.16019
Ziegler, Martin
1984
Concept lattices and order in fuzzy logic. Zbl 1060.03040
2004
Domain theory in logical form. Zbl 0737.03006
Abramsky, Samson
1991
$$\Sigma_ 1^ 1$$-formulae on finite structures. Zbl 0519.03021
Ajtai, M.
1983
A new strongly minimal set. Zbl 0804.03020
Hrushovski, Ehud
1993
Varieties of complex algebras. Zbl 0722.08005
Goldblatt, Robert
1989
Uniform proofs as a foundation for logic programming. Zbl 0721.03037
Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre
1991
Simple theories. Zbl 0897.03036
Kim, Byunghan; Pillay, Anand
1997
Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034
2002
$$\aleph _ 0$$-categorical, $$\aleph _ 0$$-stable structures. Zbl 0566.03022
Cherlin, G.; Harrington, L.; Lachlan, A. H.
1985
On the scheme of induction for bounded arithmetic formulas. Zbl 0647.03046
Wilkie, A. J.; Paris, J. B.
1987
Analytic ideals and their applications. Zbl 0932.03060
Solecki, Sławomir
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
1987
Coalgebraic logic. Zbl 0969.03026
Moss, Lawrence S.
1999
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
2005
Generic copies of countable structures. Zbl 0678.03012
Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore
1989
Infinite games played on finite graphs. Zbl 0798.90151
McNaughton, Robert
1993
On the consistency of some partition theorems for continuous colorings, and the structure of $$\aleph _ 1$$-dense real order types. Zbl 0585.03019
Abraham, Uri; Rubin, Matatyahu; Shelah, Saharon
1985
The complexity of first-order and monadic second-order logic revisited. Zbl 1062.03032
Frick, Markus; Grohe, Martin
2004
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052
Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles
2009
A game semantics for linear logic. Zbl 0763.03008
Blass, Andreas
1992
Decision problems for propositional linear logic. Zbl 0768.03003
Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan
1992
Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009
Makowsky, J. A.
2004
Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036
Makkai, M.; Reyes, G. E.
1995
Inductively generated formal topologies. Zbl 1070.03041
Coquand, Thierry; Sambin, Giovanni; Smith, Jan; Valentini, Silvio
2003
Inclusion and exclusion dependencies in team semantics – on some logics of imperfect information. Zbl 1250.03047
Galliani, Pietro
2012
Countable algebra and set existence axioms. Zbl 0575.03038
Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L.
1983
Generic structures and simple theories. Zbl 0929.03043
Chatzidakis, Z.; Pillay, A.
1998
Fixed-parameter tractability and completeness. IV: On completeness for W$$[$$ P$$]$$ and PSPACE analogues. Zbl 0828.68077
Abrahamson, Karl A.; Downey, Rodney G.; Fellows, Michael R.
1995
The lottery preparation. Zbl 0949.03045
Hamkins, Joel David
2000
Fixed-point extensions of first-order logic. Zbl 0621.03013
Gurevich, Yuri; Shelah, Saharon
1986
Real closed rings. II. Model theory. Zbl 0538.03028
Cherlin, Gregory; Dickmann, Max A.
1983
Quasi finitely axiomatizable totally categorical theories. Zbl 0592.03018
Ahlbrandt, Gisela; Ziegler, Martin
1986
Generalized algebraic theories and contextual categories. Zbl 0634.18003
Cartmell, John
1986
Categoricity for abstract classes with amalgamation. Zbl 0945.03049
Shelah, Saharon
1999
Combinatorial principles in the core model for one Woodin cardinal. Zbl 0834.03018
Schimmerling, Ernest
1995
The negation of the singular cardinal hypothesis from $$o(\kappa)=\kappa ^{++}$$. Zbl 0673.03043
Gitik, Moti
1989
An axiomatic approach to self-referential truth. Zbl 0634.03058
Friedman, Harvey; Sheard, Michael
1987
Large cardinals and definable counterexamples to the continuum hypothesis. Zbl 0837.03040
Foreman, Matthew; Magidor, Menachem
1995
Toward classifying unstable theories. Zbl 0874.03043
Shelah, Saharon
1996
Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017
van den Dries, Lou
1989
Unidimensional theories are superstable. Zbl 0713.03015
Hrushovski, Ehud
1990
Bounded arithmetic and the polynomial hierarchy. Zbl 0736.03022
Krajíček, Jan; Pudlák, Pavel; Takeuti, Gaisi
1991
Pseudo-exponentiation on algebraically closed fields of characteristic zero. Zbl 1076.03024
Zilber, B.
2005
Proof-theoretic investigations on Kruskal’s theorem. Zbl 0786.03042
Rathjen, Michael; Weiermann, Andreas
1993
A small complete category. Zbl 0659.18007
Hyland, J. M. E.
1988
Infinite combinatorics and definability. Zbl 0667.03037
Miller, Arnold W.
1989
Expansions of the real field with power functions. Zbl 0823.03018
Miller, Chris
1994
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
2005
Stable generic structures. Zbl 0857.03020
Baldwin, John T.; Shi, Niandong
1996
Pairs of recursive structures. Zbl 0712.03020
Ash, C. J.; Knight, J. F.
1990
Dynamical method in algebra: Effective Nullstellensätze. Zbl 0992.03076
Coste, Michel; Lombardi, Henri; Roy, Marie-Françoise
2001
Remarks on superatomic Boolean algebras. Zbl 0643.03038
Baumgartner, James E.; Shelah, Saharon
1987
Closed choice and a uniform low basis theorem. Zbl 1251.03082
Brattka, Vasco; De Brecht, Matthew; Pauly, Arno
2012
On variants of $$o$$-minimality. Zbl 0858.03039
Macpherson, Dugald; Steinhorn, Charles
1996
A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde
2005
Shelah’s pcf theory and its applications. Zbl 0713.03024
Burke, Maxim R.; Magidor, Menachem
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.
1991
Wellfounded trees in categories. Zbl 1010.03056
Moerdijk, Ieke; Palmgren, Erik
2000
Aronszajn trees on $$\aleph_2$$ and $$\aleph_3$$. Zbl 0516.03029
Abraham, Uri
1983
The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma. Zbl 1245.03097
Brattka, Vasco; Gherardi, Guido; Marcone, Alberto
2012
The Manin-Mumford conjecture and the model theory of difference fields. Zbl 0987.03036
Hrushovski, Ehud
2001
Best solving modal equations. Zbl 0949.03010
Ghilardi, Silvio
2000
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms. Zbl 0513.03009
Longo, Giuseppe
1983
Normal functors, power series and $$\lambda$$-calculus. Zbl 0646.03056
Girard, Jean-Yves
1988
Decidable fragments of first-order temporal logics. Zbl 0999.03015
Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael
2000
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
2006
Inner models with many Woodin cardinals. Zbl 0805.03043
Steel, J. R.
1993
State-morphism MV-algebras. Zbl 1186.06007
Di Nola, Antonio; Dvurečenskij, Anatolij
2009
Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige
2012
Globalization of intuitionistic set theory. Zbl 0633.03050
Takeuti, Gaisi; Titani, Satoko
1987
Semantics of weakening and contraction. Zbl 0814.03007
Jacobs, Bart
1994
Functional interpretations of feasibly constructive arithmetic. Zbl 0780.03026
Cook, Stephen; Urquhart, Alasdair
1993
Fragments of arithmetic. Zbl 0558.03029
Sieg, Wilfried
1985
Quasi-Polish spaces. Zbl 1270.03086
de Brecht, Matthew
2013
A uniform method for proving lower bounds on the computational complexity of logical theories. Zbl 0705.03017
Compton, Kevin J.; Henson, C. Ward
1990
The structure of the models of decidable monadic theories of graphs. Zbl 0733.03026
Seese, D.
1991
On the unity of logic. Zbl 0781.03044
Girard, Jean-Yves
1993
Toward categoricity for classes with no maximal models. Zbl 0945.03048
Shelah, Saharon; Villaveces, Andrés
1999
Borel equivalence relations and classifications of countable models. Zbl 0933.03056
Hjorth, Greg; Kechris, Alexander S.
1996
Bounded functional interpretation. Zbl 1095.03060
Ferreira, Fernando; Oliva, Paulo
2005
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045
Beklemishev, Lev D.
2004
Cell decompositions of $$C$$-minimal structures. Zbl 0790.03039
1994
The axioms of constructive geometry. Zbl 0836.03034
von Plato, Jan
1995
Theories without the tree property of the second kind. Zbl 1386.03035
Chernikov, Artem
2014
Superstable groups. Zbl 0599.03034
Berline, Ch.; Lascar, D.
1986
Categoricity in hyperarithmetical degrees. Zbl 0617.03016
Ash, C. J.
1987
Stability of recursive structures in arithmetical degrees. Zbl 0631.03016
Ash, C. J.
1986
A new system of proof-theoretic ordinal functions. Zbl 0655.03038
Buchholz, Wilfried
1986
Lovely pairs of models. Zbl 1030.03026
Ben-Yaacov, Itay; Pillay, Anand; Vassiliev, Evgueni
2003
Topological reasoning and the logic of knowledge. Zbl 0861.68092
Dabrowski, Andrew; Moss, Lawrence S.; Parikh, Rohit
1996
D-completions and the $$d$$-topology. Zbl 1172.54016
Keimel, Klaus; Lawson, Jimmie D.
2009
Degrees of orderings not isomorphic to recursive linear orderings. Zbl 0734.03026
Jockusch, Carl G. jun.; Soare, Robert I.
1991
Polynomial-time versus recursive models. Zbl 0756.03021
Cenzer, Douglas; Remmel, Jeffrey
1991
Aspects of general topology in constructive set theory. Zbl 1077.03035
Aczel, Peter
2006
Di Nola, Antonio; Grigolia, Revaz
2004
Topology and duality in modal logic. Zbl 0643.03014
Sambin, Giovanni; Vaccaro, Virginia
1988
$$\Delta^ 1_ 2$$-sets of reals. Zbl 0668.03020
Ihoda, Jaime I.; Shelah, Saharon
1989
Intuitionistic logic and implicit definability. Zbl 0963.03044
Maksimova, Larisa
2000
Introduction to computability logic. Zbl 1028.03025
Japaridze, Giorgi
2003
Derivatives of normal functions in reverse mathematics. Zbl 1473.03036
Freund, Anton; Rathjen, Michael
2021
Completion of choice. Zbl 1462.03019
Brattka, Vasco; Gherardi, Guido
2021
Filter-linkedness and its effect on preservation of cardinal characteristics. Zbl 07260103
Brendle, Jörg; Cardona, Miguel A.; Mejía, Diego A.
2021
Tukey order, calibres and the rationals. Zbl 07260109
Gartside, Paul; Mamatelashvili, Ana
2021
Ax-Schanuel and strong minimality for the $$j$$-function. Zbl 1481.12006
Aslanyan, Vahagn
2021
Small models, large cardinals, and induced ideals. Zbl 1479.03024
Holy, Peter; Lücke, Philipp
2021
Superstability, Noetherian rings and pure-semisimple rings. Zbl 07300478
Mazari-Armida, Marcos
2021
Long games and $$\sigma$$-projective sets. Zbl 07327746
Aguilera, Juan P.; Müller, Sandra; Schlicht, Philipp
2021
Dp-finite fields. I(A): The infinitesimals. Zbl 1473.03018
Johnson, Will
2021
Infinitesimal analysis without the axiom of choice. Zbl 07333022
Hrbacek, Karel; Katz, Mikhail G.
2021
Weaker cousins of Ramsey’s theorem over a weak base theory. Zbl 07404819
Fiori-Carones, Marta; Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.
2021
Finitely generated groups are universal among finitely generated structures. Zbl 07260102
Harrison-Trainor, Matthew; Ho, Meng-Che &ldquo;Turbo&rdquo;
2021
$$\widetilde{|}$$-divisibility of ultrafilters. Zbl 1471.54012
Šobot, Boris
2021
Open core and small groups in dense pairs of topological structures. Zbl 1473.03019
2021
Complexity of syntactical tree fragments of independence-friendly logic. Zbl 07260106
Barbero, Fausto
2021
First-order model theory of free projective planes. Zbl 07285675
Hyttinen, Tapani; Paolini, Gianluca
2021
Computable irrational numbers with representations of surprising complexity. Zbl 1481.03041
Georgiev, Ivan; Kristiansen, Lars; Stephan, Frank
2021
Intuitionistic fixed point logic. Zbl 07300474
Berger, Ulrich; Tsuiki, Hideki
2021
A topological zero-one law and elementary equivalence of finitely generated groups. Zbl 07300476
Osin, D.
2021
Pure $$\Sigma_2$$-elementarity beyond the core. Zbl 07374869
Wilken, Gunnar
2021
Topological dynamics and NIP fields. Zbl 07374870
Jagiella, Grzegorz
2021
Strongly compact cardinals and the continuum function. Zbl 07374873
Apter, Arthur W.; Dimopoulos, Stamatis; Usuba, Toshimichi
2021
Sets in Prikry and Magidor generic extensions. Zbl 07327740
Benhamou, Tom; Gitik, Moti
2021
Continuous extension of maps between sequential cascades. Zbl 07327742
Dolecki, Szymon; Starosolski, Andrzej
2021
A parametrised functional interpretation of Heyting arithmetic. Zbl 07327747
Dinis, Bruno; Oliva, Paulo
2021
A microscopic approach to Souslin-tree construction. II. Zbl 1477.03177
Brodsky, Ari Meir; Rinot, Assaf
2021
Separating families and order dimension of Turing degrees. Zbl 07328994
Kumar, Ashutosh; Raghavan, Dilip
2021
Some remarks on the Open Coloring Axiom. Zbl 07328995
Moore, Justin Tatch
2021
Local collection and end-extensions of models of compositional truth. Zbl 1473.03047
Łełyk, Mateusz; Wcisło, Bartosz
2021
Dp-finite fields. I(B): Positive characteristic. Zbl 1477.03136
Johnson, Will
2021
Universal graphs and functions on $$\omega_1$$. Zbl 07358546
Shelah, Saharon; Steprāns, Juris
2021
Punctual definability on structures. Zbl 07358547
Kalimullin, Iskander; Melnikov, Alexander; Montalban, Antonio
2021
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations. Zbl 07358548
Chan, William; Jackson, Stephen
2021
Pincherle’s theorem in reverse mathematics and computability theory. Zbl 1443.03008
Normann, Dag; Sanders, Sam
2020
Algebraic description of limit models in classes of abelian groups. Zbl 1480.03019
Mazari-Armida, Marcos
2020
Diagonal supercompact Radin forcing. Zbl 1472.03058
Ben-Neria, Omer; Lambie-Hanson, Chris; Unger, Spencer
2020
On expansions of $$(\mathbf{Z},+,0)$$. Zbl 1481.03014
Lambotte, Quentin; Point, Françoise
2020
Computability of pseudo-cubes. Zbl 1481.03042
Horvat, Marko; Iljazović, Zvonko; Pažek, Bojan
2020
Epimorphism surjectivity in varieties of Heyting algebras. Zbl 1457.03055
Moraschini, T.; Wannenburg, J. J.
2020
A premouse inheriting strong cardinals from $$V$$. Zbl 07240981
Schlutzenberg, Farmer
2020
The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. Zbl 1455.03077
Ferreira, Fernando
2020
Stationarily ordered types and the number of countable models. Zbl 1475.03090
Moconja, Slavko; Tanović, Predrag
2020
Embeddings between well-orderings: computability-theoretic reductions. Zbl 1479.03008
Goh, Jun Le
2020
The density zero ideal and the splitting number. Zbl 1481.03048
Raghavan, Dilip
2020
A classification of the cofinal structures of precompacta. Zbl 1452.03101
Eshed, Aviv; Vicenta Ferrer, M.; Hernández, Salvador; Szewczak, Piotr; Tsaban, Boaz
2020
The theory of ceers computes true arithmetic. Zbl 1442.03021
Andrews, Uri; Schweber, Noah; Sorbi, Andrea
2020
A forcing axiom for a non-special Aronszajn tree. Zbl 1481.03053
Krueger, John
2020
Silver type theorems for collapses. Zbl 07240980
Gitik, Moti
2020
Proofs and surfaces. Zbl 1452.03127
2020
Join-completions of partially ordered algebras. Zbl 07257241
Gil-Férez, José; Spada, Luca; Tsinakis, Constantine; Zhou, Hongjun
2020
Structure and representation of semimodules over inclines. Zbl 07257242
Bai, Ruiqi; Yang, Yichuan
2020
Resolution over linear equations modulo two. Zbl 07127339
Itsykson, Dmitry; Sokolov, Dmitry
2020
Remarks on generic stability in independent theories. Zbl 07135274
Conant, Gabriel; Gannon, Kyle
2020
Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition. Zbl 1435.03062
Fujita, Masato
2020
The tree property at first and double successors of singular cardinals with an arbitrary gap. Zbl 07179724
Poveda, Alejandro
2020
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations. Zbl 1442.03011
Hampson, Christopher; Kikot, Stanislav; Kurucz, Agi; Marcelino, Sérgio
2020
Bilattice logic of epistemic actions and knowledge. Zbl 1481.03005
Bakhtiari, Zeinab; van Ditmarsch, Hans; Rivieccio, Umberto
2020
Characterizations of the weakly compact ideal on $$P_\kappa\lambda$$. Zbl 07189163
Cody, Brent
2020
Herbrand’s theorem as higher order recursion. Zbl 1464.03085
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E.
2020
Definable groups in models of Presburger arithmetic. Zbl 1481.03025
Onshuus, Alf; Vicaría, Mariana
2020
Algorithmic correspondence and canonicity for non-distributive logics. Zbl 1477.03046
2019
Finite computable dimension and degrees of categoricity. Zbl 06974479
Csima, Barbara F.; Stephenson, Jonathan
2019
When is scalar multiplication decidable? Zbl 1446.03029
Hieronymi, Philipp
2019
Categories of models of $$\mathbf{R}$$-mingle. Zbl 07078384
Fussner, Wesley; Galatos, Nick
2019
The strength of compactness in computability theory and nonstandard analysis. Zbl 1430.03035
Normann, Dag; Sanders, Sam
2019
Provability logic and the completeness principle. Zbl 1439.03106
Visser, Albert; Zoethout, Jetze
2019
Fixed point theorems for precomplete numberings. Zbl 1454.03049
Barendregt, Henk; Terwijn, Sebastiaan A.
2019
Reductions between types of numberings. Zbl 1439.03077
Herbert, Ian; Jain, Sanjay; Lempp, Steffen; Mustafa, Manat; Stephan, Frank
2019
Reverse mathematics and parameter-free transfer. Zbl 06994737
van den Berg, Benno; Sanders, Sam
2019
Model theoretic dynamics in Galois fashion. Zbl 1439.03073
Hoffmann, Daniel Max
2019
The Nikodym property and cardinal characteristics of the continuum. Zbl 06974477
Sobota, Damian
2019
On modal logics arising from scattered locally compact Hausdorff spaces. Zbl 1472.03015
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
2019
A new look at interpretability and saturation. Zbl 1472.03030
Malliaris, M.; Shelah, S.
2019
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. Zbl 1459.03091
Fujiwara, Makoto; Kawai, Tatsuji
2019
Vaught’s conjecture for monomorphic theories. Zbl 1459.03039
Kurilić, Miloš S.
2019
Infinitary first-order categorical logic. Zbl 1445.03077
Espíndola, Christian
2019
On stably pointed varieties and generically stable groups in ACVF. Zbl 1477.03149
Halevi, Yatir
2019
Small embedding characterizations for large cardinals. Zbl 1404.03043
Holy, Peter; Lücke, Philipp; Njegomir, Ana
2019
On the existence of skinny stationary subsets. Zbl 1472.03046
Matsubara, Yo; Sakai, Hiroshi; Usuba, Toshimichi
2019
Computability-theoretic categoricity and Scott families. Zbl 1441.03031
Fokina, Ekaterina; Harizanov, Valentina; Turetsky, Daniel
2019
On the complexity of the Leibniz hierarchy. Zbl 07049925
Moraschini, Tommaso
2019
Uniform interpolation and coherence. Zbl 07049926
Kowalski, Tomasz; Metcalfe, George
2019
Categorical linearly ordered structures. Zbl 1435.03076
Downey, Rod; Melnikov, Alexander; Ng, Keng Meng
2019
Representing definable functions of $$\mathrm{HA}^{\omega}$$ by neighbourhood functions. Zbl 1461.03057
Kawai, Tatsuji
2019
Hod up to $$A D_{\mathbb{R}} + \Theta$$ is measurable. Zbl 06974480
Atmai, Rachid; Sargsyan, Grigor
2019
On eigenvectors, approximations and the Feynman propagator. Zbl 06974481
Hirvonen, Åsa; Hyttinen, Tapani
2019
Descriptive complexity of graph spectra. Zbl 1430.68119
Dawar, Anuj; Severini, Simone; Zapata, Octavio
2019
Uniform interpolation and the existence of sequent calculi. Zbl 1475.03078
Iemhoff, Rosalie
2019
Categoricity in multiuniversal classes. Zbl 07114345
Ackerman, Nathanael; Boney, Will; Vasey, Sebastien
2019
A strict implication calculus for compact Hausdorff spaces. Zbl 1446.03041
Bezhanishvili, G.; Bezhanishvili, N.; Santoli, T.; Venema, Y.
2019
Categories with families and first-order logic with dependent sorts. Zbl 1458.18003
Palmgren, Erik
2019
Model-completions for abelian lattice-ordered groups with finitely many disjoint elements. Zbl 07049211
Scowcroft, Philip
2019
Existential monadic second order logic of undirected graphs: the Le Bars conjecture is false. Zbl 1477.03157
Popova, S. N.; Zhukovskii, M. E.
2019
Isolated maximal d.r.e. degrees. Zbl 07011464
Liu, Yong
2019
Generic expansion and Skolemization in $$\mathrm{NSOP}_{1}$$ theories. Zbl 1469.03096
Kruckman, Alex; Ramsey, Nicholas
2018
Characterizations of pretameness and the Ord-cc. Zbl 1469.03148
Holy, Peter; Krapf, Regula; Schlicht, Philipp
2018
The $$\Sigma_1$$-provability logic of $$\mathsf{HA}$$. Zbl 1426.03039
2018
Capturing $$k$$-ary existential second order logic with $$k$$-ary inclusion-exclusion logic. Zbl 1477.03103
Rönnholm, Raine
2018
First order theory of cyclically ordered groups. Zbl 1469.03104
Giraudet, M.; Leloup, G.; Lucas, F.
2018
Jumps of computably enumerable equivalence relations. Zbl 1406.03055
Andrews, Uri; Sorbi, Andrea
2018
...and 1477 more Documents
all top 5

Cited by 5,799 Authors

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

Cited in 413 Journals

 1,428 Annals of Pure and Applied Logic 1,144 The Journal of Symbolic Logic 547 Archive for Mathematical Logic 540 Theoretical Computer Science 211 Israel Journal of Mathematics 210 Information and Computation 202 The Bulletin of Symbolic Logic 195 Transactions of the American Mathematical Society 195 Mathematical Logic Quarterly (MLQ) 174 Studia Logica 170 Proceedings of the American Mathematical Society 169 Notre Dame Journal of Formal Logic 167 Topology and its Applications 153 MSCS. Mathematical Structures in Computer Science 150 Journal of Pure and Applied Algebra 148 Fuzzy Sets and Systems 130 Journal of Mathematical Logic 119 Advances in Mathematics 105 Logical Methods in Computer Science 100 The Review of Symbolic Logic 98 Journal of Computer and System Sciences 91 Algebra and Logic 84 Journal of Algebra 80 Algebra Universalis 69 Fundamenta Mathematicae 68 Journal of Philosophical Logic 64 Journal of Applied Non-Classical Logics 63 Annals of Mathematics and Artificial Intelligence 63 Theory of Computing Systems 61 Synthese 61 Soft Computing 52 Journal of Automated Reasoning 49 Communications in Algebra 45 Siberian Mathematical Journal 42 Information Sciences 41 Journal of Applied Logic 40 Order 40 Journal of Mathematical Sciences (New York) 38 Journal of Logic, Language and Information 37 Information Processing Letters 37 Logica Universalis 36 Discrete Applied Mathematics 35 International Journal of Approximate Reasoning 33 ACM Transactions on Computational Logic 29 Discrete Mathematics 27 Journal of Mathematical Analysis and Applications 26 Applied Categorical Structures 24 Artificial Intelligence 23 Journal of the American Mathematical Society 23 Computational Complexity 23 Selecta Mathematica. New Series 22 Indagationes Mathematicae. New Series 21 Journal of Symbolic Computation 21 Journal of Functional Programming 21 Lobachevskii Journal of Mathematics 21 Computability 20 Acta Mathematica Hungarica 20 International Journal of Foundations of Computer Science 20 The Journal of Logic and Algebraic Programming 19 Journal of the Institute of Mathematics of Jussieu 19 Journal of Logic and Analysis 18 Algorithmica 17 Sibirskie Èlektronnye Matematicheskie Izvestiya 17 Journal of Logical and Algebraic Methods in Programming 16 International Journal of Algebra and Computation 14 Mathematical Proceedings of the Cambridge Philosophical Society 14 European Journal of Combinatorics 14 Journal of the European Mathematical Society (JEMS) 14 RAIRO. Theoretical Informatics and Applications 14 Theory and Practice of Logic Programming 14 Journal of Algebra and its Applications 13 Acta Informatica 13 Memoirs of the American Mathematical Society 13 Journal of Complexity 13 Formal Aspects of Computing 12 SIAM Journal on Computing 12 Forum of Mathematics, Sigma 11 Mathematica Slovaca 11 Mathematische Zeitschrift 11 History and Philosophy of Logic 11 Doklady Mathematics 10 Archiv für Mathematische Logik und Grundlagenforschung 10 International Journal of General Systems 10 Mathematical Notes 10 Journal of Combinatorial Theory. Series A 10 Journal of Functional Analysis 10 Ergodic Theory and Dynamical Systems 10 Forum Mathematicum 10 Theory and Applications of Categories 10 Logic and Logical Philosophy 9 Annales de l’Institut Fourier 9 Monatshefte für Mathematik 9 Bulletin of the American Mathematical Society. New Series 9 Annals of Mathematics. Second Series 9 Comptes Rendus. Mathématique. Académie des Sciences, Paris 9 Proceedings of the Steklov Institute of Mathematics 8 Illinois Journal of Mathematics 8 Journal of the Mathematical Society of Japan 8 Russian Mathematics 8 Algebras and Representation Theory ...and 313 more Journals
all top 5

Cited in 57 Fields

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