Annals of Pure and Applied Logic Short Title: Ann. Pure Appl. Logic Publisher: Elsevier (North-Holland), Amsterdam ISSN: 0168-0072 Online: https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/issues Predecessor: Annals of Mathematical Logic Comments: Journal; Indexed cover-to-cover Documents Indexed: 2,668 Publications (since 1983) References Indexed: 2,530 Publications with 53,905 References. all top 5 Latest Issues 175, No. 5 (2024) 175, No. 4 (2024) 175, No. 3 (2024) 175, No. 2 (2024) 175, No. 1 (2024) 174, No. 10 (2023) 174, No. 9 (2023) 174, No. 8 (2023) 174, No. 7 (2023) 174, No. 6 (2023) 174, No. 5 (2023) 174, No. 4 (2023) 174, No. 3 (2023) 174, No. 2 (2023) 174, No. 1 (2023) 173, No. 10 (2022) 173, No. 9 (2022) 173, No. 8 (2022) 173, No. 7 (2022) 173, No. 6 (2022) 173, No. 5 (2022) 173, No. 4 (2022) 173, No. 3 (2022) 173, No. 2 (2022) 173, No. 1 (2022) 172, No. 10 (2021) 172, No. 9 (2021) 172, No. 8 (2021) 172, No. 7 (2021) 172, No. 6 (2021) 172, No. 5 (2021) 172, No. 4 (2021) 172, No. 3 (2021) 172, No. 2 (2021) 172, No. 1 (2021) 171, No. 10 (2020) 171, No. 9 (2020) 171, No. 8 (2020) 171, No. 7 (2020) 171, No. 6 (2020) 171, No. 5 (2020) 171, No. 4 (2020) 171, No. 3 (2020) 171, No. 2 (2020) 171, No. 1 (2020) 170, No. 12 (2019) 170, No. 11 (2019) 170, No. 10 (2019) 170, No. 9 (2019) 170, No. 8 (2019) 170, No. 7 (2019) 170, No. 6 (2019) 170, No. 5 (2019) 170, No. 4 (2019) 170, No. 3 (2019) 170, No. 2 (2019) 170, No. 1 (2019) 169, No. 12 (2018) 169, No. 11 (2018) 169, No. 10 (2018) 169, No. 9 (2018) 169, No. 8 (2018) 169, No. 7 (2018) 169, No. 6 (2018) 169, No. 5 (2018) 169, No. 4 (2018) 169, No. 3 (2018) 169, No. 2 (2018) 169, No. 1 (2018) 168, No. 12 (2017) 168, No. 11 (2017) 168, No. 10 (2017) 168, No. 9 (2017) 168, No. 8 (2017) 168, No. 7 (2017) 168, No. 6 (2017) 168, No. 5 (2017) 168, No. 4 (2017) 168, No. 3 (2017) 168, No. 2 (2017) 168, No. 1 (2017) 167, No. 12 (2016) 167, No. 11 (2016) 167, No. 10 (2016) 167, No. 9 (2016) 167, No. 8 (2016) 167, No. 7 (2016) 167, No. 6 (2016) 167, No. 5 (2016) 167, No. 4 (2016) 167, No. 3 (2016) 167, No. 2 (2016) 167, No. 1 (2016) 166, No. 12 (2015) 166, No. 11 (2015) 166, No. 10 (2015) 166, No. 9 (2015) 166, No. 7-8 (2015) 166, No. 6 (2015) 166, No. 5 (2015) ...and 315 more Volumes all top 5 Authors 94 Shelah, Saharon 41 Downey, Rodney Graham 31 Friedman, Sy-David 22 Remmel, Jeffrey Brian 19 Buss, Samuel R. 19 Gitik, Moti 19 Pillay, Anand 18 Friedman, Harvey M. 18 Stephan, Frank 16 Macintyre, Angus John 16 Nerode, Anil 15 Jäger, Gerhard 15 Rathjen, Michael 14 Palmgren, Erik 13 Harizanov, Valentina S. 13 Scedrov, Andre 12 Baaz, Matthias 12 Baldwin, John T. 12 Keisler, Howard Jerome 12 Slaman, Theodore A. 12 Väänänen, Jouko Antero 12 Weiermann, Andreas 11 Ash, Christopher John 11 Fitting, Melvin Chris 11 Kurilić, Miloš S. 11 Mints, Grigoriĭ Efroimovich 11 Scowcroft, Philip 10 Apter, Arthur W. 10 Arai, Toshiyasu 10 Artemov, Sergei 10 Beklemishev, Lev D. 10 Blass, Andreas Raphael 10 Brendle, Jörg 10 Cenzer, Douglas 10 Hyttinen, Tapani 10 Jeřábek, Emil 10 Knight, Julia F. 10 Kohlenbach, Ulrich Wilhelm 10 Nies, André Otfrid 10 Point, Françoise 10 Shore, Richard Arnold 10 Visser, Albert 9 Ambos-Spies, Klaus 9 Fischer, Vera 9 Ghilardi, Silvio 9 Hodkinson, Ian Martin 9 Ishihara, Hajime 9 Khoussainov, Bakhadyr M. 9 Krueger, John 9 Mundici, Daniele 9 Simpson, Stephen G. 9 Soare, Robert I. 9 Sureson, Claude 9 Wu, Guohua 9 Zapletal, Jindřich 8 Asperó, David 8 Beckmann, Arnold 8 Berardi, Stefano 8 Berger, Ulrich 8 Cooper, Stuart Barry 8 Coquand, Thierry 8 Cummings, James 8 Hamkins, Joel David 8 Harrington, Leo A. 8 Honzik, Radek 8 Magidor, Menachem 8 Matet, Pierre 8 Melnikov, Alexander G. 8 Schlicht, Philipp 8 Vasey, Sebastien 7 Bagaria, Joan 7 Barmpalias, George 7 Brattka, Vasco 7 Enayat, Ali 7 Gasarch, William Ian 7 Hrushovski, Ehud 7 Iemhoff, Rosalie 7 Kalantari, Iraj 7 Matiyasevich, Yuriĭ Vladimirovich 7 Miller, Joseph S. 7 Moerdijk, Ieke 7 Oliva, Paulo 7 Sorbi, Andrea 7 Streicher, Thomas 7 Van den Berg, Benno 7 van Oosten, Jaap 7 Woodin, W. Hugh 7 Zdoms’kyĭ, Lyubomyr Sergiĭovych 6 Avigad, Jeremy 6 Berarducci, Alessandro 6 Bezhanishvili, Guram 6 Bezhanishvili, Nick 6 Bridges, Douglas Suth 6 Buchholz, Wilfried 6 Cholak, Peter A. 6 D’Aquino, Paola 6 Di Nola, Antonio 6 Džamonja, Mirna 6 Evans, David M. 6 Feferman, Solomon ...and 1,931 more Authors all top 5 Fields 2,587 Mathematical logic and foundations (03-XX) 383 Computer science (68-XX) 220 Order, lattices, ordered algebraic structures (06-XX) 142 General topology (54-XX) 128 Category theory; homological algebra (18-XX) 89 Field theory and polynomials (12-XX) 87 Group theory and generalizations (20-XX) 81 Combinatorics (05-XX) 58 General and overarching topics; collections (00-XX) 51 General algebraic systems (08-XX) 51 Number theory (11-XX) 44 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 41 Measure and integration (28-XX) 32 Functional analysis (46-XX) 29 Associative rings and algebras (16-XX) 28 Algebraic geometry (14-XX) 26 Real functions (26-XX) 25 History and biography (01-XX) 25 Commutative algebra (13-XX) 20 Topological groups, Lie groups (22-XX) 20 Probability theory and stochastic processes (60-XX) 19 Dynamical systems and ergodic theory (37-XX) 11 Geometry (51-XX) 11 Algebraic topology (55-XX) 9 Quantum theory (81-XX) 8 Operator theory (47-XX) 8 Convex and discrete geometry (52-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Several complex variables and analytic spaces (32-XX) 6 Manifolds and cell complexes (57-XX) 5 Global analysis, analysis on manifolds (58-XX) 5 Information and communication theory, circuits (94-XX) 4 Nonassociative rings and algebras (17-XX) 4 Sequences, series, summability (40-XX) 4 Operations research, mathematical programming (90-XX) 3 Partial differential equations (35-XX) 2 \(K\)-theory (19-XX) 2 Special functions (33-XX) 2 Ordinary differential equations (34-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Relativity and gravitational theory (83-XX) 1 Difference and functional equations (39-XX) 1 Approximations and expansions (41-XX) 1 Abstract harmonic analysis (43-XX) 1 Integral equations (45-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2,194 Publications have been cited 20,151 times in 11,975 Documents Cited by ▼ Year ▼ Model theory of modules. Zbl 0593.16019 Ziegler, Martin 174 1984 Concept lattices and order in fuzzy logic. Zbl 1060.03040 Bělohlávek, Radim 163 2004 Domain theory in logical form. Zbl 0737.03006 Abramsky, Samson 150 1991 \(\Sigma_ 1^ 1\)-formulae on finite structures. Zbl 0519.03021 Ajtai, M. 149 1983 A new strongly minimal set. Zbl 0804.03020 Hrushovski, Ehud 121 1993 Uniform proofs as a foundation for logic programming. Zbl 0721.03037 Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre 107 1991 Varieties of complex algebras. Zbl 0722.08005 Goldblatt, Robert 106 1989 Inclusion and exclusion dependencies in team semantics – on some logics of imperfect information. Zbl 1250.03047 Galliani, Pietro 95 2012 Simple theories. Zbl 0897.03036 Kim, Byunghan; Pillay, Anand 95 1997 Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034 Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M. 94 2002 Analytic ideals and their applications. Zbl 0932.03060 Solecki, Sławomir 91 1999 The logic of proofs, semantically. Zbl 1066.03059 Fitting, Melvin 90 2005 \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures. Zbl 0566.03022 Cherlin, G.; Harrington, L.; Lachlan, A. H. 88 1985 Coalgebraic logic. Zbl 0969.03026 Moss, Lawrence S. 85 1999 On the scheme of induction for bounded arithmetic formulas. Zbl 0647.03046 Wilkie, A. J.; Paris, J. B. 84 1987 There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed. Zbl 0634.03047 Blass, Andreas; Shelah, Saharon 79 1987 Infinite games played on finite graphs. Zbl 0798.90151 McNaughton, Robert 79 1993 Generalized algebraic theories and contextual categories. Zbl 0634.18003 Cartmell, John 72 1986 Generic copies of countable structures. Zbl 0678.03012 Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore 72 1989 The complexity of first-order and monadic second-order logic revisited. Zbl 1062.03032 Frick, Markus; Grohe, Martin 70 2004 Decision problems for propositional linear logic. Zbl 0768.03003 Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan 70 1992 Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009 Makowsky, J. A. 67 2004 A game semantics for linear logic. Zbl 0763.03008 Blass, Andreas 67 1992 Generic structures and simple theories. Zbl 0929.03043 Chatzidakis, Z.; Pillay, A. 66 1998 On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types. Zbl 0585.03019 Abraham, Uri; Rubin, Matatyahu; Shelah, Saharon 66 1985 Inductively generated formal topologies. Zbl 1070.03041 Coquand, Thierry; Sambin, Giovanni; Smith, Jan; Valentini, Silvio 65 2003 Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036 Makkai, M.; Reyes, G. E. 61 1995 Countable algebra and set existence axioms. Zbl 0575.03038 Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L. 61 1983 Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052 Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles 60 2009 Fixed-parameter tractability and completeness. IV: On completeness for W\([\) P\(]\) and PSPACE analogues. Zbl 0828.68077 Abrahamson, Karl A.; Downey, Rodney G.; Fellows, Michael R. 59 1995 Fixed-point extensions of first-order logic. Zbl 0621.03013 Gurevich, Yuri; Shelah, Saharon 56 1986 The lottery preparation. Zbl 0949.03045 Hamkins, Joel David 55 2000 An axiomatic approach to self-referential truth. Zbl 0634.03058 Friedman, Harvey; Sheard, Michael 53 1987 Categoricity for abstract classes with amalgamation. Zbl 0945.03049 Shelah, Saharon 53 1999 Quasi finitely axiomatizable totally categorical theories. Zbl 0592.03018 Ahlbrandt, Gisela; Ziegler, Martin 53 1986 Infinite combinatorics and definability. Zbl 0667.03037 Miller, Arnold W. 52 1989 The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\). Zbl 0673.03043 Gitik, Moti 52 1989 Proof-theoretic investigations on Kruskal’s theorem. Zbl 0786.03042 Rathjen, Michael; Weiermann, Andreas 52 1993 Real closed rings. II. Model theory. Zbl 0538.03028 Cherlin, Gregory; Dickmann, Max A. 52 1983 Combinatorial principles in the core model for one Woodin cardinal. Zbl 0834.03018 Schimmerling, Ernest 52 1995 Dynamical method in algebra: Effective Nullstellensätze. Zbl 0992.03076 Coste, Michel; Lombardi, Henri; Roy, Marie-Françoise 52 2001 Large cardinals and definable counterexamples to the continuum hypothesis. Zbl 0837.03040 Foreman, Matthew; Magidor, Menachem 51 1995 Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017 van den Dries, Lou 51 1989 Decidable fragments of first-order temporal logics. Zbl 0999.03015 Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 50 2000 Quasi-Polish spaces. Zbl 1270.03086 de Brecht, Matthew 50 2013 A small complete category. Zbl 0659.18007 Hyland, J. M. E. 49 1988 Pseudo-exponentiation on algebraically closed fields of characteristic zero. Zbl 1076.03024 Zilber, B. 49 2005 Wellfounded trees in categories. Zbl 1010.03056 Moerdijk, Ieke; Palmgren, Erik 48 2000 The Manin-Mumford conjecture and the model theory of difference fields. Zbl 0987.03036 Hrushovski, Ehud 48 2001 Closed choice and a uniform low basis theorem. Zbl 1251.03082 Brattka, Vasco; De Brecht, Matthew; Pauly, Arno 48 2012 On variants of \(o\)-minimality. Zbl 0858.03039 Macpherson, Dugald; Steinhorn, Charles 47 1996 Enumerations in computable structure theory. Zbl 1081.03033 Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed 47 2005 A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009 Gehrke, Mai; Nagahashi, Hideo; Venema, Yde 47 2005 Bounded arithmetic and the polynomial hierarchy. Zbl 0736.03022 Krajíček, Jan; Pudlák, Pavel; Takeuti, Gaisi 47 1991 Expansions of the real field with power functions. Zbl 0823.03018 Miller, Chris 47 1994 Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026 Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige 46 2012 Best solving modal equations. Zbl 0949.03010 Ghilardi, Silvio 46 2000 Unidimensional theories are superstable. Zbl 0713.03015 Hrushovski, Ehud 46 1990 Toward classifying unstable theories. Zbl 0874.03043 Shelah, Saharon 46 1996 D-completions and the \(d\)-topology. Zbl 1172.54016 Keimel, Klaus; Lawson, Jimmie D. 45 2009 Stable generic structures. Zbl 0857.03020 Baldwin, John T.; Shi, Niandong 44 1996 State-morphism MV-algebras. Zbl 1186.06007 Di Nola, Antonio; Dvurečenskij, Anatolij 44 2009 Polynomial-time versus recursive models. Zbl 0756.03021 Cenzer, Douglas; Remmel, Jeffrey 44 1991 Semantics of weakening and contraction. Zbl 0814.03007 Jacobs, Bart 44 1994 Remarks on superatomic Boolean algebras. Zbl 0643.03038 Baumgartner, James E.; Shelah, Saharon 43 1987 Normal functors, power series and \(\lambda\)-calculus. Zbl 0646.03056 Girard, Jean-Yves 43 1988 The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma. Zbl 1245.03097 Brattka, Vasco; Gherardi, Guido; Marcone, Alberto 43 2012 Effective categoricity of equivalence structures. Zbl 1103.03037 Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei 43 2006 Shelah’s pcf theory and its applications. Zbl 0713.03024 Burke, Maxim R.; Magidor, Menachem 43 1990 The structure of the models of decidable monadic theories of graphs. Zbl 0733.03026 Seese, D. 43 1991 On the unity of logic. Zbl 0781.03044 Girard, Jean-Yves 43 1993 Functional interpretations of feasibly constructive arithmetic. Zbl 0780.03026 Cook, Stephen; Urquhart, Alasdair 43 1993 Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms. Zbl 0513.03009 Longo, Giuseppe 42 1983 Aronszajn trees on \(\aleph_2\) and \(\aleph_3\). Zbl 0516.03029 Abraham, Uri 42 1983 Pairs of recursive structures. Zbl 0712.03020 Ash, C. J.; Knight, J. F. 42 1990 Topological reasoning and the logic of knowledge. Zbl 0861.68092 Dabrowski, Andrew; Moss, Lawrence S.; Parikh, Rohit 41 1996 On monadic MV-algebras. Zbl 1052.06010 Di Nola, Antonio; Grigolia, Revaz 40 2004 The d.r.e. degrees are not dense. Zbl 0756.03020 Cooper, S. Barry; Harrington, Leo; Lachlan, Alistair H.; Lempp, Steffen; Soare, Robert I. 40 1991 Theories without the tree property of the second kind. Zbl 1386.03035 Chernikov, Artem 40 2014 Distal and non-distal NIP theories. Zbl 1269.03037 Simon, Pierre 40 2013 Inner models with many Woodin cardinals. Zbl 0805.03043 Steel, J. R. 39 1993 Globalization of intuitionistic set theory. Zbl 0633.03050 Takeuti, Gaisi; Titani, Satoko 38 1987 Toward categoricity for classes with no maximal models. Zbl 0945.03048 Shelah, Saharon; Villaveces, Andrés 38 1999 Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045 Beklemishev, Lev D. 38 2004 A uniform method for proving lower bounds on the computational complexity of logical theories. Zbl 0705.03017 Compton, Kevin J.; Henson, C. Ward 38 1990 Borel equivalence relations and classifications of countable models. Zbl 0933.03056 Hjorth, Greg; Kechris, Alexander S. 38 1996 Cell decompositions of \(C\)-minimal structures. Zbl 0790.03039 Haskell, Deirdre; Macpherson, Dugald 38 1994 Algorithmic correspondence and canonicity for distributive modal logic. Zbl 1255.03030 Conradie, Willem; Palmigiano, Alessandra 36 2012 Bounded functional interpretation. Zbl 1095.03060 Ferreira, Fernando; Oliva, Paulo 36 2005 Propositional logics of dependence. Zbl 1355.03021 Yang, Fan; Väänänen, Jouko 36 2016 Fragments of arithmetic. Zbl 0558.03029 Sieg, Wilfried 35 1985 Aspects of general topology in constructive set theory. Zbl 1077.03035 Aczel, Peter 35 2006 Fraïssé sequences: category-theoretic approach to universal homogeneous structures. Zbl 1329.18002 Kubiś, Wiesław 35 2014 Lovely pairs of models. Zbl 1030.03026 Ben-Yaacov, Itay; Pillay, Anand; Vassiliev, Evgueni 35 2003 A new system of proof-theoretic ordinal functions. Zbl 0655.03038 Buchholz, Wilfried 34 1986 Forcing with filters and complete combinatorics. Zbl 0681.03035 Laflamme, Claude 34 1989 Logarithmic-exponential series. Zbl 0998.12014 van den Dries, Lou; Macintyre, Angus; Marker, David 34 2001 Advice classes of parametrized tractability. Zbl 0873.68071 Cai, Liming; Chen, Jianer; Downey, Rodney G.; Fellows, Michael R. 34 1997 The axioms of constructive geometry. Zbl 0836.03034 von Plato, Jan 33 1995 Henkin quantifiers and complete problems. Zbl 0618.03016 Blass, Andreas; Gurevich, Yuri 33 1986 A formalised theorem in the partition calculus. Zbl 07748742 Paulson, Lawrence C. 1 2024 Laver forcing and converging sequences. Zbl 07748743 Dow, Alan 1 2024 Using ultrapowers to compare continuous structures. Zbl 07748744 Keisler, H. Jerome 1 2024 Primitive recursive reverse mathematics. Zbl 07748763 Bazhenov, Nikolay; Fiori-Carones, Marta; Liu, Lu; Melnikov, Alexander 1 2024 Positive modal logic beyond distributivity. Zbl 07780209 Bezhanishvili, Nick; Dmitrieva, Anna; de Groot, Jim; Moraschini, Tommaso 1 2024 An undecidability result for the asymptotic theory of \(p\)-adic fields. Zbl 1516.12002 Kartas, Konstantinos 4 2023 Computable Stone spaces. Zbl 07719414 Bazhenov, Nikolay; Harrison-Trainor, Matthew; Melnikov, Alexander 3 2023 Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model. Zbl 1509.03150 Gitik, Moti; Kaplan, Eyal 3 2023 Different cofinalities of tree ideals. Zbl 07695418 Shelah, Saharon; Spinas, Otmar 3 2023 Topological fields with a generic derivation. Zbl 1511.12003 Cubides Kovacsics, Pablo; Point, Françoise 2 2023 A finitization of Littlewood’s Tauberian theorem and an application in Tauberian remainder theory. Zbl 1523.03024 Powell, Thomas 2 2023 A characterization of generalized existential completions. Zbl 1506.18008 Maietti, Maria Emilia; Trotta, Davide 2 2023 Realisability for infinitary intuitionistic set theory. Zbl 07680007 Carl, Merlin; Galeotti, Lorenzo; Passmann, Robert 1 2023 Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\). Zbl 07680011 Jeřábek, Emil 1 2023 Krull dimension in set theory. Zbl 07719409 Zapletal, Jindřich 1 2023 Lipschitz and Wadge binary games in second order arithmetic. Zbl 07719411 Cordón-Franco, Andrés; Lara-Martín, F. Félix; Loureiro, Manuel J. S. 1 2023 Halfway new cardinal characteristics. Zbl 07719413 Brendle, Jörg; Halbeisen, Lorenz J.; Klausner, Lukas Daniel; Lischka, Marc; Shelah, Saharon 1 2023 Effective compactness and orbits of points under the isometry group. Zbl 07628760 Iljazović, Zvonko; Validžić, Lucija 1 2023 On Kripke completeness of modal predicate logics around quantified K5. Zbl 1523.03007 Shehtman, Valentin 1 2023 Metric spaces are universal for bi-interpretation with metric structures. Zbl 07628766 Hanson, James 1 2023 Huge reflection. Zbl 1511.03012 Bagaria, Joan; Lücke, Philipp 1 2023 Cohen-like first order structures. Zbl 07601554 Kostana, Ziemowit 1 2023 Algebraic properties of the first-order part of a problem. Zbl 07687145 Soldà, Giovanni; Valenti, Manlio 1 2023 Generalisations of stationarity, closed and unboundedness, and of Jensen’s \(\square\). Zbl 07687147 Brickhill, H.; Welch, P. D. 1 2023 Model theory of adeles. I. Zbl 1525.03096 Derakhshan, Jamshid; Macintyre, Angus 5 2022 \(L\)-algebras and three main non-classical logics. Zbl 1504.03040 Rump, Wolfgang 5 2022 Small cardinals and small Efimov spaces. Zbl 07417482 Brian, Will; Dow, Alan 4 2022 Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories. Zbl 07458792 Dobrowolski, Jan; Kim, Byunghan; Ramsey, Nicholas 4 2022 Reflection algebras and conservation results for theories of iterated truth. Zbl 07501986 Beklemishev, Lev D.; Pakhomov, Fedor N. 4 2022 Quantifier-free epistemic term-modal logic with assignment operator. Zbl 07458667 Wang, Yanjing; Wei, Yu; Seligman, Jeremy 3 2022 On the ideal \(J[\kappa]\). Zbl 1495.03062 Rinot, Assaf 3 2022 Infinitary action logic with exponentiation. Zbl 07458791 Kuznetsov, Stepan L.; Speranski, Stanislav O. 3 2022 Almost o-minimal structures and \(\mathfrak{X}\)-structures. Zbl 1504.03020 Fujita, Masato 3 2022 Adequate predimension inequalities in differential fields. Zbl 1491.12003 Aslanyan, Vahagn 2 2022 Taming Koepke’s zoo. II: Register machines. Zbl 1485.03178 Carl, Merlin 2 2022 Intermediate models of Magidor-Radin forcing. II. Zbl 1504.03030 Benhamou, Tom; Gitik, Moti 2 2022 Induced and higher-dimensional stable independence. Zbl 1487.18005 Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien 2 2022 Projective well orders and coanalytic witnesses. Zbl 07538234 Bergfalk, Jeffrey; Fischer, Vera; Switzer, Corey Bacal 2 2022 Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence. Zbl 1513.81002 Albert, Rafael; Grädel, Erich 2 2022 On intermediate inquisitive and dependence logics: an algebraic study. Zbl 07587331 Quadrellaro, Davide Emilio 2 2022 From axioms to synthetic inference rules via focusing. Zbl 07501985 Marin, Sonia; Miller, Dale; Pimentel, Elaine; Volpe, Marco 2 2022 The Vietoris functor and modal operators on rings of continuous functions. Zbl 1521.54004 Bezhanishvili, G.; Carai, L.; Morandi, P. J. 1 2022 Higher dimensional cardinal characteristics for sets of functions. Zbl 07417479 Switzer, Corey Bacal 1 2022 On bi-embeddable categoricity of algebraic structures. Zbl 1505.03080 Bazhenov, Nikolay; Rossegger, Dino; Zubkov, Maxim 1 2022 Reinhardt cardinals and iterates of \(V\). Zbl 07458790 Schlutzenberg, Farmer 1 2022 Is cut-free logic fit for unrestricted abstraction? Zbl 07514088 Petersen, Uwe 1 2022 A characterisation of elementary fibrations. Zbl 1492.18008 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe 1 2022 Abelian group actions and hypersmooth equivalence relations. Zbl 07538231 Cotton, Michael R. 1 2022 Embedding causal team languages into predicate logic. Zbl 07587334 Barbero, Fausto; Galliani, Pietro 1 2022 Reflection principles and second-order choice principles with urelements. Zbl 1510.03018 Yao, Bokai 1 2022 On the definability of mad families of vector spaces. Zbl 07483259 Horowitz, Haim; Shelah, Saharon 1 2022 Set theoretical analogues of the Barwise-Schlipf theorem. Zbl 07566291 Enayat, Ali 1 2022 The spectrum of independence. II. Zbl 07566293 Fischer, Vera; Shelah, Saharon 1 2022 The secret life of \(\mu\)-clubs. Zbl 07566294 Matet, Pierre 1 2022 Completion of choice. Zbl 1462.03019 Brattka, Vasco; Gherardi, Guido 10 2021 Filter-linkedness and its effect on preservation of cardinal characteristics. Zbl 1498.03108 Brendle, Jörg; Cardona, Miguel A.; Mejía, Diego A. 9 2021 Derivatives of normal functions in reverse mathematics. Zbl 1473.03036 Freund, Anton; Rathjen, Michael 9 2021 Intuitionistic fixed point logic. Zbl 1498.03065 Berger, Ulrich; Tsuiki, Hideki 8 2021 A microscopic approach to Souslin-tree construction. II. Zbl 1477.03177 Brodsky, Ari Meir; Rinot, Assaf 7 2021 Small models, large cardinals, and induced ideals. Zbl 1479.03024 Holy, Peter; Lücke, Philipp 6 2021 Long games and \(\sigma \)-projective sets. Zbl 1506.03112 Aguilera, Juan P.; Müller, Sandra; Schlicht, Philipp 6 2021 Games with finitely generated structures. Zbl 07404816 Krawczyk, Adam; Kubiś, Wiesław 6 2021 Tukey order, calibres and the rationals. Zbl 1498.03100 Gartside, Paul; Mamatelashvili, Ana 5 2021 Local collection and end-extensions of models of compositional truth. Zbl 1473.03047 Łełyk, Mateusz; Wcisło, Bartosz 5 2021 Dp-finite fields. I(A): The infinitesimals. Zbl 1473.03018 Johnson, Will 5 2021 Infinitesimal analysis without the axiom of choice. Zbl 07333022 Hrbacek, Karel; Katz, Mikhail G. 5 2021 \(\widetilde{|}\)-divisibility of ultrafilters. Zbl 1471.54012 Šobot, Boris 4 2021 Ax-Schanuel and strong minimality for the \(j\)-function. Zbl 1481.12006 Aslanyan, Vahagn 4 2021 Towards the entropy-limit conjecture. Zbl 1498.03057 Landes, Jürgen; Rad, Soroush Rafiee; Williamson, Jon 4 2021 Superstability, Noetherian rings and pure-semisimple rings. Zbl 1498.03076 Mazari-Armida, Marcos 4 2021 Sets in Prikry and Magidor generic extensions. Zbl 1506.03109 Benhamou, Tom; Gitik, Moti 4 2021 Dp-finite fields. I(B): Positive characteristic. Zbl 1477.03136 Johnson, Will 4 2021 Finiteness classes arising from Ramsey-theoretic statements in set theory without choice. Zbl 07333023 Brot, Joshua; Cao, Mengyang; Fernández-Bretón, David 4 2021 Punctual definability on structures. Zbl 07358547 Kalimullin, Iskander; Melnikov, Alexander; Montalban, Antonio 4 2021 Open core and small groups in dense pairs of topological structures. Zbl 1473.03019 Baro, Elías; Martin-Pizarro, Amador 3 2021 Probabilistic characterisation of models of first-order theories. Zbl 1498.03058 Rad, Soroush Rafiee 3 2021 Computable irrational numbers with representations of surprising complexity. Zbl 1481.03041 Georgiev, Ivan; Kristiansen, Lars; Stephan, Frank 3 2021 A topological zero-one law and elementary equivalence of finitely generated groups. Zbl 1498.03085 Osin, D. 3 2021 On the structure of certain valued fields. Zbl 1484.11228 Lee, Junguk; Lee, Wan 3 2021 Separating families and order dimension of Turing degrees. Zbl 1506.03099 Kumar, Ashutosh; Raghavan, Dilip 3 2021 Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal. Zbl 07358534 Cody, Brent; Gitman, Victoria; Lambie-Hanson, Chris 3 2021 Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations. Zbl 07358548 Chan, William; Jackson, Stephen 3 2021 Weaker cousins of Ramsey’s theorem over a weak base theory. Zbl 1490.03012 Fiori-Carones, Marta; Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W. 3 2021 Continuous L-domains in logical form. Zbl 07374867 Wang, Longchun; Li, Qingguo; Zhou, Xiangnan 3 2021 When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\). Zbl 1491.03035 Matet, Pierre 2 2021 First-order model theory of free projective planes. Zbl 1498.03074 Hyttinen, Tapani; Paolini, Gianluca 2 2021 Preserving levels of projective determinacy by tree forcings. Zbl 1506.03101 Castiblanco, Fabiana; Schlicht, Philipp 2 2021 A parametrised functional interpretation of Heyting arithmetic. Zbl 1506.03122 Dinis, Bruno; Oliva, Paulo 2 2021 Some remarks on the open coloring axiom. Zbl 1506.03114 Moore, Justin Tatch 2 2021 Non-forking and preservation of NIP and dp-rank. Zbl 1521.03067 Estevan, Pedro Andrés; Kaplan, Itay 2 2021 Pure \(\Sigma_2\)-elementarity beyond the core. Zbl 07374869 Wilken, Gunnar 2 2021 Hilbert-style axiomatization of first-degree entailment and a family of its extensions. Zbl 1490.03015 Shramko, Yaroslav 2 2021 An approach to stochastic processes via non-classical logic. Zbl 1491.06023 Di Nola, Antonio; Dvurečenskij, Anatolij; Lapenta, Serafina 2 2021 Strongly compact cardinals and the continuum function. Zbl 1491.03036 Apter, Arthur W.; Dimopoulos, Stamatis; Usuba, Toshimichi 2 2021 The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps. Zbl 1457.03064 Golshani, Mohammad; Poveda, Alejandro 1 2021 Finitely generated groups are universal among finitely generated structures. Zbl 1498.03081 Harrison-Trainor, Matthew; Ho, Meng-Che “Turbo” 1 2021 Complexity of syntactical tree fragments of independence-friendly logic. Zbl 1498.03064 Barbero, Fausto 1 2021 Stationary and closed rainbow subsets. Zbl 1498.03098 Garti, Shimon; Zhang, Jing 1 2021 Unbounded towers and products. Zbl 1460.54014 Szewczak, Piotr; Włudecka, Magdalena 1 2021 Continuous extension of maps between sequential cascades. Zbl 1506.03100 Dolecki, Szymon; Starosolski, Andrzej 1 2021 ...and 1496 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 6,661 Authors 272 Shelah, Saharon 112 Downey, Rodney Graham 80 Pillay, Anand 74 Friedman, Sy-David 62 Bazhenov, Nikolaĭ Alekseevich 60 Apter, Arthur W. 51 Rathjen, Michael 48 Stephan, Frank 46 Gitik, Moti 42 Melnikov, Alexander G. 42 Nies, André Otfrid 40 Montalbán, Antonio 39 Baldwin, John T. 39 Remmel, Jeffrey Brian 39 Schindler, Ralf-Dieter 38 Cenzer, Douglas 38 Greenberg, Noam 38 Hamkins, Joel David 38 Lempp, Steffen 38 Ng, KengMeng 38 Shore, Richard Arnold 36 Bezhanishvili, Guram 36 Bezhanishvili, Nick 36 Harizanov, Valentina S. 36 Hrushovski, Ehud 36 Knight, Julia F. 36 Li, Qingguo 36 Prest, Mike 36 Rinot, Assaf 35 Kalimullin, Iskander Shagitovich 34 Courcelle, Bruno 34 Kohlenbach, Ulrich Wilhelm 34 Vasey, Sebastien 33 Buss, Samuel R. 33 Hrušák, Michael 33 Hyttinen, Tapani 31 Makowsky, Johann-Andreas 31 Point, Françoise 30 Bělohlávek, Radim 30 Kulpeshov, Beibut Shaiykovich 30 Rybakov, Vladimir Vladimirovich 30 Selivanov, Viktor L’vovich 30 Todorcevic, Stevo B. 30 Visser, Albert 29 Brattka, Vasco 29 Khoussainov, Bakhadyr M. 29 Kurilić, Miloš S. 29 Palmigiano, Alessandra 29 Schuster, Peter Michael 29 Toffalori, Carlo 28 Sanders, Sam 28 Schlicht, Philipp 28 Weiermann, Andreas 27 Brendle, Jörg 27 Ishihara, Hajime 27 Jain, Sanjay 27 Pauly, Arno M. 26 Arai, Toshiyasu 26 Cummings, James 26 Eleftheriou, Pantelis E. 26 Jeřábek, Emil 26 Miller, Russell G. 26 Studer, Thomas 26 Vychodil, Vilém 26 Wu, Guohua 26 Zdoms’kyĭ, Lyubomyr Sergiĭovych 25 Andrews, Uri 25 Fernández Duque, David 25 Gehrke, Mai 25 Mildenberger, Heike 25 Sorbi, Andrea 25 Väänänen, Jouko Antero 24 Baaz, Matthias 24 Bridges, Douglas Suth 24 Fischer, Vera 24 Ghilardi, Silvio 24 Iemhoff, Rosalie 24 Magidor, Menachem 24 Malliaris, Maryanthe Elizabeth 24 Mundici, Daniele 24 Neeman, Itay 24 Simpson, Stephen G. 24 Slaman, Theodore A. 23 Beklemishev, Lev D. 23 Beyersdorff, Olaf 23 Freund, Anton 23 Hodkinson, Ian Martin 23 Jäger, Gerhard 23 Lücke, Philipp Moritz 23 Macpherson, Dugald 23 Maksimova, Larisa L’vovna 23 Metcalfe, George 23 Miller, Joseph S. 23 Montanari, Angelo 23 Palmgren, Erik 23 Venema, Yde 22 Cholak, Peter A. 22 Harrison-Trainor, Matthew 22 Kanovei, Vladimir G. 22 Kim, Byunghan ...and 6,561 more Authors all top 5 Cited in 464 Journals 1,535 Annals of Pure and Applied Logic 1,223 The Journal of Symbolic Logic 608 Archive for Mathematical Logic 563 Theoretical Computer Science 332 Mathematical Logic Quarterly (MLQ) 233 Information and Computation 230 Israel Journal of Mathematics 216 The Bulletin of Symbolic Logic 202 Transactions of the American Mathematical Society 201 Studia Logica 194 Topology and its Applications 189 Proceedings of the American Mathematical Society 185 Notre Dame Journal of Formal Logic 180 MSCS. Mathematical Structures in Computer Science 165 Fuzzy Sets and Systems 163 Journal of Mathematical Logic 162 Journal of Pure and Applied Algebra 154 Logical Methods in Computer Science 133 Advances in Mathematics 119 The Review of Symbolic Logic 106 Algebra and Logic 98 Journal of Computer and System Sciences 94 Journal of Algebra 91 Algebra Universalis 91 Fundamenta Mathematicae 84 Journal of Philosophical Logic 78 Synthese 69 Journal of Applied Non-Classical Logics 67 Soft Computing 66 Theory of Computing Systems 64 Annals of Mathematics and Artificial Intelligence 57 Journal of Automated Reasoning 53 Siberian Mathematical Journal 49 Communications in Algebra 49 Information Sciences 46 International Journal of Approximate Reasoning 46 Logica Universalis 45 Journal of Logic, Language and Information 44 Order 44 ACM Transactions on Computational Logic 43 Journal of Mathematical Sciences (New York) 41 Journal of Applied Logic 40 Information Processing Letters 37 Discrete Applied Mathematics 37 Computability 35 Applied Categorical Structures 31 Discrete Mathematics 27 Journal of Mathematical Analysis and Applications 26 Artificial Intelligence 26 Lobachevskii Journal of Mathematics 25 Selecta Mathematica. New Series 24 Acta Mathematica Hungarica 24 Computational Complexity 24 Journal of Logic and Analysis 23 Journal of the American Mathematical Society 23 Indagationes Mathematicae. New Series 22 Journal of Symbolic Computation 21 Algorithmica 21 International Journal of Foundations of Computer Science 21 Journal of Functional Programming 21 Journal of the Institute of Mathematics of Jussieu 20 Journal of the London Mathematical Society. Second Series 20 International Journal of Algebra and Computation 20 The Journal of Logic and Algebraic Programming 20 Forum of Mathematics, Sigma 20 Journal of Logical and Algebraic Methods in Programming 19 Mathematica Slovaca 19 Sibirskie Èlektronnye Matematicheskie Izvestiya 18 Journal of the European Mathematical Society (JEMS) 17 Theory and Practice of Logic Programming 17 Journal of Algebra and its Applications 16 SIAM Journal on Computing 16 European Journal of Combinatorics 16 Doklady Mathematics 15 Acta Informatica 15 Mathematical Proceedings of the Cambridge Philosophical Society 15 Memoirs of the American Mathematical Society 15 Theory and Applications of Categories 14 Bulletin of the London Mathematical Society 14 Journal of Complexity 14 RAIRO. Theoretical Informatics and Applications 13 History and Philosophy of Logic 13 Formal Aspects of Computing 13 Logic and Logical Philosophy 12 Forum Mathematicum 12 Oberwolfach Reports 12 European Journal of Mathematics 11 Mathematical Notes 11 Journal of Functional Analysis 11 Mathematische Zeitschrift 11 Bulletin of the Section of Logic 11 Ergodic Theory and Dynamical Systems 11 Russian Mathematics 11 Central European Journal of Mathematics 10 Archiv für Mathematische Logik und Grundlagenforschung 10 International Journal of General Systems 10 Annales de l’Institut Fourier 10 Archiv der Mathematik 10 Journal of Combinatorial Theory. Series A 10 Monatshefte für Mathematik ...and 364 more Journals all top 5 Cited in 58 Fields 9,544 Mathematical logic and foundations (03-XX) 2,931 Computer science (68-XX) 1,125 Order, lattices, ordered algebraic structures (06-XX) 750 General topology (54-XX) 657 Category theory; homological algebra (18-XX) 528 Combinatorics (05-XX) 498 Group theory and generalizations (20-XX) 365 Field theory and polynomials (12-XX) 284 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 214 Number theory (11-XX) 202 General algebraic systems (08-XX) 201 Functional analysis (46-XX) 190 Associative rings and algebras (16-XX) 177 Commutative algebra (13-XX) 176 Algebraic geometry (14-XX) 171 Measure and integration (28-XX) 123 History and biography (01-XX) 122 Topological groups, Lie groups (22-XX) 120 Dynamical systems and ergodic theory (37-XX) 114 Real functions (26-XX) 104 General and overarching topics; collections (00-XX) 94 Probability theory and stochastic processes (60-XX) 73 Information and communication theory, circuits (94-XX) 72 Quantum theory (81-XX) 61 Operator theory (47-XX) 60 Geometry (51-XX) 58 Operations research, mathematical programming (90-XX) 56 Algebraic topology (55-XX) 44 Several complex variables and analytic spaces (32-XX) 37 Sequences, series, summability (40-XX) 33 Linear and multilinear algebra; matrix theory (15-XX) 27 Convex and discrete geometry (52-XX) 27 Manifolds and cell complexes (57-XX) 22 Numerical analysis (65-XX) 17 Functions of a complex variable (30-XX) 16 Global analysis, analysis on manifolds (58-XX) 15 Ordinary differential equations (34-XX) 15 Difference and functional equations (39-XX) 13 Nonassociative rings and algebras (17-XX) 13 Approximations and expansions (41-XX) 12 Statistics (62-XX) 12 Biology and other natural sciences (92-XX) 11 Abstract harmonic analysis (43-XX) 11 Statistical mechanics, structure of matter (82-XX) 10 Systems theory; control (93-XX) 9 Partial differential equations (35-XX) 8 \(K\)-theory (19-XX) 8 Differential geometry (53-XX) 4 Special functions (33-XX) 4 Relativity and gravitational theory (83-XX) 3 Harmonic analysis on Euclidean spaces (42-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 2 Integral equations (45-XX) 2 Mathematics education (97-XX) 1 Potential theory (31-XX) 1 Integral transforms, operational calculus (44-XX) 1 Mechanics of deformable solids (74-XX) 1 Classical thermodynamics, heat transfer (80-XX) Citations by Year