# 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)

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