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: Indexed cover-to-cover Documents Indexed: 2,604 Publications (since 1983) References Indexed: 2,466 Publications with 52,040 References. all top 5 Latest Issues 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) 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) ...and 307 more Volumes all top 5 Authors 89 Shelah, Saharon 41 Downey, Rodney Graham 30 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 14 Palmgren, Erik 13 Harizanov, Valentina S. 13 Rathjen, Michael 13 Scedrov, Andre 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 Jeřábek, Emil 10 Knight, Julia F. 10 Kohlenbach, Ulrich Wilhelm 10 Kurilić, Miloš S. 10 Nies, André Otfrid 10 Point, Françoise 10 Shore, Richard Arnold 10 Visser, Albert 9 Ambos-Spies, Klaus 9 Brendle, Jörg 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 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 Magidor, Menachem 8 Matet, Pierre 8 Schlicht, Philipp 8 Vasey, Sebastien 7 Barmpalias, George 7 Brattka, Vasco 7 Enayat, Ali 7 Fischer, Vera 7 Gasarch, William Ian 7 Honzik, Radek 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 Zapletal, Jindřich 6 Avigad, Jeremy 6 Bagaria, Joan 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 Hyland, J. Martin E. ...and 1,884 more Authors all top 5 Fields 2,524 Mathematical logic and foundations (03-XX) 380 Computer science (68-XX) 217 Order, lattices, ordered algebraic structures (06-XX) 134 General topology (54-XX) 126 Category theory; homological algebra (18-XX) 88 Field theory and polynomials (12-XX) 84 Group theory and generalizations (20-XX) 78 Combinatorics (05-XX) 57 General and overarching topics; collections (00-XX) 51 Number theory (11-XX) 48 General algebraic systems (08-XX) 42 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 40 Measure and integration (28-XX) 32 Functional analysis (46-XX) 29 Associative rings and algebras (16-XX) 28 Real functions (26-XX) 27 Algebraic geometry (14-XX) 25 History and biography (01-XX) 25 Commutative algebra (13-XX) 20 Probability theory and stochastic processes (60-XX) 19 Topological groups, Lie groups (22-XX) 18 Dynamical systems and ergodic theory (37-XX) 11 Geometry (51-XX) 10 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 Operations research, mathematical programming (90-XX) 3 Partial differential equations (35-XX) 3 Sequences, series, summability (40-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,123 Publications have been cited 18,264 times in 10,895 Documents Cited by ▼ Year ▼ Model theory of modules. Zbl 0593.16019Ziegler, Martin 169 1984 Concept lattices and order in fuzzy logic. Zbl 1060.03040Bělohlávek, Radim 151 2004 \(\Sigma_ 1^ 1\)-formulae on finite structures. Zbl 0519.03021Ajtai, M. 144 1983 Domain theory in logical form. Zbl 0737.03006Abramsky, Samson 137 1991 A new strongly minimal set. Zbl 0804.03020Hrushovski, Ehud 116 1993 Varieties of complex algebras. Zbl 0722.08005Goldblatt, Robert 97 1989 Uniform proofs as a foundation for logic programming. Zbl 0721.03037Miller, Dale; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre 94 1991 Degree spectra and computable dimensions in algebraic structures. Zbl 1016.03034Hirschfeldt, Denis R.; Khoussainov, Bakhadyr; Shore, Richard A.; Slinko, Arkadii M. 87 2002 Simple theories. Zbl 0897.03036Kim, Byunghan; Pillay, Anand 86 1997 Analytic ideals and their applications. Zbl 0932.03060Solecki, Sławomir 85 1999 \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures. Zbl 0566.03022Cherlin, G.; Harrington, L.; Lachlan, A. H. 83 1985 On the scheme of induction for bounded arithmetic formulas. Zbl 0647.03046Wilkie, A. J.; Paris, J. B. 83 1987 Coalgebraic logic. Zbl 0969.03026Moss, Lawrence S. 82 1999 Inclusion and exclusion dependencies in team semantics – on some logics of imperfect information. Zbl 1250.03047Galliani, Pietro 81 2012 The logic of proofs, semantically. Zbl 1066.03059Fitting, Melvin 75 2005 There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed. Zbl 0634.03047Blass, Andreas; Shelah, Saharon 72 1987 Infinite games played on finite graphs. Zbl 0798.90151McNaughton, Robert 70 1993 Decision problems for propositional linear logic. Zbl 0768.03003Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan 67 1992 Generic copies of countable structures. Zbl 0678.03012Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore 67 1989 On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types. Zbl 0585.03019Abraham, Uri; Rubin, Matatyahu; Shelah, Saharon 64 1985 Generalized algebraic theories and contextual categories. Zbl 0634.18003Cartmell, John 63 1986 A game semantics for linear logic. Zbl 0763.03008Blass, Andreas 62 1992 The complexity of first-order and monadic second-order logic revisited. Zbl 1062.03032Frick, Markus; Grohe, Martin 62 2004 Inductively generated formal topologies. Zbl 1070.03041Coquand, Thierry; Sambin, Giovanni; Smith, Jan; Valentini, Silvio 60 2003 Algorithmic uses of the Feferman-Vaught theorem. Zbl 1099.03009Makowsky, J. A. 60 2004 Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036Makkai, M.; Reyes, G. E. 58 1995 Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles 58 2009 Countable algebra and set existence axioms. Zbl 0575.03038Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L. 57 1983 Generic structures and simple theories. Zbl 0929.03043Chatzidakis, Z.; Pillay, A. 56 1998 Fixed-parameter tractability and completeness. IV: On completeness for W\([\) P\(]\) and PSPACE analogues. Zbl 0828.68077Abrahamson, Karl A.; Downey, Rodney G.; Fellows, Michael R. 55 1995 The lottery preparation. Zbl 0949.03045Hamkins, Joel David 53 2000 Fixed-point extensions of first-order logic. Zbl 0621.03013Gurevich, Yuri; Shelah, Saharon 52 1986 Quasi finitely axiomatizable totally categorical theories. Zbl 0592.03018Ahlbrandt, Gisela; Ziegler, Martin 51 1986 An axiomatic approach to self-referential truth. Zbl 0634.03058Friedman, Harvey; Sheard, Michael 51 1987 Combinatorial principles in the core model for one Woodin cardinal. Zbl 0834.03018Schimmerling, Ernest 50 1995 Real closed rings. II. Model theory. Zbl 0538.03028Cherlin, Gregory; Dickmann, Max A. 50 1983 The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\). Zbl 0673.03043Gitik, Moti 49 1989 Categoricity for abstract classes with amalgamation. Zbl 0945.03049Shelah, Saharon 48 1999 A small complete category. Zbl 0659.18007Hyland, J. M. E. 47 1988 Infinite combinatorics and definability. Zbl 0667.03037Miller, Arnold W. 47 1989 Dynamical method in algebra: Effective Nullstellensätze. Zbl 0992.03076Coste, Michel; Lombardi, Henri; Roy, Marie-Françoise 46 2001 Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017van den Dries, Lou 46 1989 Proof-theoretic investigations on Kruskal’s theorem. Zbl 0786.03042Rathjen, Michael; Weiermann, Andreas 45 1993 Decidable fragments of first-order temporal logics. Zbl 0999.03015Hodkinson, Ian; Wolter, Frank; Zakharyaschev, Michael 45 2000 Unidimensional theories are superstable. Zbl 0713.03015Hrushovski, Ehud 45 1990 Toward classifying unstable theories. Zbl 0874.03043Shelah, Saharon 44 1996 Large cardinals and definable counterexamples to the continuum hypothesis. Zbl 0837.03040Foreman, Matthew; Magidor, Menachem 44 1995 The Manin-Mumford conjecture and the model theory of difference fields. Zbl 0987.03036Hrushovski, Ehud 43 2001 On variants of \(o\)-minimality. Zbl 0858.03039Macpherson, Dugald; Steinhorn, Charles 43 1996 Pseudo-exponentiation on algebraically closed fields of characteristic zero. Zbl 1076.03024Zilber, B. 43 2005 Enumerations in computable structure theory. Zbl 1081.03033Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed 43 2005 Bounded arithmetic and the polynomial hierarchy. Zbl 0736.03022Krajíček, Jan; Pudlák, Pavel; Takeuti, Gaisi 42 1991 Closed choice and a uniform low basis theorem. Zbl 1251.03082Brattka, Vasco; De Brecht, Matthew; Pauly, Arno 42 2012 The structure of the models of decidable monadic theories of graphs. Zbl 0733.03026Seese, D. 42 1991 Algebraic proof theory for substructural logics: cut-elimination and completions. Zbl 1245.03026Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige 42 2012 Remarks on superatomic Boolean algebras. Zbl 0643.03038Baumgartner, James E.; Shelah, Saharon 42 1987 State-morphism MV-algebras. Zbl 1186.06007Di Nola, Antonio; Dvurečenskij, Anatolij 42 2009 Wellfounded trees in categories. Zbl 1010.03056Moerdijk, Ieke; Palmgren, Erik 42 2000 Semantics of weakening and contraction. Zbl 0814.03007Jacobs, Bart 42 1994 Quasi-Polish spaces. Zbl 1270.03086de Brecht, Matthew 42 2013 Pairs of recursive structures. Zbl 0712.03020Ash, C. J.; Knight, J. F. 42 1990 Effective categoricity of equivalence structures. Zbl 1103.03037Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei 41 2006 Best solving modal equations. Zbl 0949.03010Ghilardi, Silvio 41 2000 Expansions of the real field with power functions. Zbl 0823.03018Miller, Chris 41 1994 A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009Gehrke, Mai; Nagahashi, Hideo; Venema, Yde 41 2005 Normal functors, power series and \(\lambda\)-calculus. Zbl 0646.03056Girard, Jean-Yves 41 1988 Stable generic structures. Zbl 0857.03020Baldwin, John T.; Shi, Niandong 40 1996 The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma. Zbl 1245.03097Brattka, Vasco; Gherardi, Guido; Marcone, Alberto 40 2012 Aronszajn trees on \(\aleph_2\) and \(\aleph_3\). Zbl 0516.03029Abraham, Uri 39 1983 Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms. Zbl 0513.03009Longo, Giuseppe 39 1983 The d.r.e. degrees are not dense. Zbl 0756.03020Cooper, S. Barry; Harrington, Leo; Lachlan, Alistair H.; Lempp, Steffen; Soare, Robert I. 39 1991 On monadic MV-algebras. Zbl 1052.06010Di Nola, Antonio; Grigolia, Revaz 39 2004 Functional interpretations of feasibly constructive arithmetic. Zbl 0780.03026Cook, Stephen; Urquhart, Alasdair 39 1993 Shelah’s pcf theory and its applications. Zbl 0713.03024Burke, Maxim R.; Magidor, Menachem 39 1990 A uniform method for proving lower bounds on the computational complexity of logical theories. Zbl 0705.03017Compton, Kevin J.; Henson, C. Ward 38 1990 Inner models with many Woodin cardinals. Zbl 0805.03043Steel, J. R. 38 1993 D-completions and the \(d\)-topology. Zbl 1172.54016Keimel, Klaus; Lawson, Jimmie D. 38 2009 On the unity of logic. Zbl 0781.03044Girard, Jean-Yves 37 1993 Polynomial-time versus recursive models. Zbl 0756.03021Cenzer, Douglas; Remmel, Jeffrey 36 1991 Globalization of intuitionistic set theory. Zbl 0633.03050Takeuti, Gaisi; Titani, Satoko 36 1987 Topological reasoning and the logic of knowledge. Zbl 0861.68092Dabrowski, Andrew; Moss, Lawrence S.; Parikh, Rohit 35 1996 Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045Beklemishev, Lev D. 35 2004 Borel equivalence relations and classifications of countable models. Zbl 0933.03056Hjorth, Greg; Kechris, Alexander S. 35 1996 Cell decompositions of \(C\)-minimal structures. Zbl 0790.03039Haskell, Deirdre; Macpherson, Dugald 35 1994 Toward categoricity for classes with no maximal models. Zbl 0945.03048Shelah, Saharon; Villaveces, Andrés 35 1999 A new system of proof-theoretic ordinal functions. Zbl 0655.03038Buchholz, Wilfried 34 1986 Theories without the tree property of the second kind. Zbl 1386.03035Chernikov, Artem 34 2014 Fragments of arithmetic. Zbl 0558.03029Sieg, Wilfried 34 1985 Logarithmic-exponential series. Zbl 0998.12014van den Dries, Lou; Macintyre, Angus; Marker, David 32 2001 Superstable groups. Zbl 0599.03034Berline, Ch.; Lascar, D. 32 1986 Categoricity in hyperarithmetical degrees. Zbl 0617.03016Ash, C. J. 32 1987 Fraïssé sequences: category-theoretic approach to universal homogeneous structures. Zbl 1329.18002Kubiś, Wiesław 32 2014 Bounded functional interpretation. Zbl 1095.03060Ferreira, Fernando; Oliva, Paulo 32 2005 Categoricity in abstract elementary classes with no maximal models. Zbl 1106.03031Van Dieren, Monica 31 2006 The axioms of constructive geometry. Zbl 0836.03034von Plato, Jan 31 1995 Henkin quantifiers and complete problems. Zbl 0618.03016Blass, Andreas; Gurevich, Yuri 31 1986 Stability of recursive structures in arithmetical degrees. Zbl 0631.03016Ash, C. J. 31 1986 Lovely pairs of models. Zbl 1030.03026Ben-Yaacov, Itay; Pillay, Anand; Vassiliev, Evgueni 31 2003 Aspects of general topology in constructive set theory. Zbl 1077.03035Aczel, Peter 31 2006 Representation theory of MV-algebras. Zbl 1229.06006Dubuc, Eduardo J.; Poveda, Yuri A. 30 2010 Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model. Zbl 07601547Gitik, Moti; Kaplan, Eyal 2 2023 An undecidability result for the asymptotic theory of \(p\)-adic fields. Zbl 07628765Kartas, Konstantinos 2 2023 Huge reflection. Zbl 07601553Bagaria, Joan; Lücke, Philipp 1 2023 Small cardinals and small Efimov spaces. Zbl 07417482Brian, Will; Dow, Alan 2 2022 Model theory of adeles. I. Zbl 07458668Derakhshan, Jamshid; Macintyre, Angus 2 2022 Reflection algebras and conservation results for theories of iterated truth. Zbl 07501986Beklemishev, Lev D.; Pakhomov, Fedor N. 2 2022 Induced and higher-dimensional stable independence. Zbl 1487.18005Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien 2 2022 Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence. Zbl 07587326Albert, Rafael; Grädel, Erich 2 2022 The Vietoris functor and modal operators on rings of continuous functions. Zbl 07417477Bezhanishvili, G.; Carai, L.; Morandi, P. J. 1 2022 Adequate predimension inequalities in differential fields. Zbl 1491.12003Aslanyan, Vahagn 1 2022 Taming Koepke’s zoo. II: Register machines. Zbl 1485.03178Carl, Merlin 1 2022 On the ideal \(J[\kappa]\). Zbl 1495.03062Rinot, Assaf 1 2022 Reinhardt cardinals and iterates of \(V\). Zbl 07458790Schlutzenberg, Farmer 1 2022 Infinitary action logic with exponentiation. Zbl 07458791Kuznetsov, Stepan L.; Speranski, Stanislav O. 1 2022 From axioms to synthetic inference rules via focusing. Zbl 07501985Marin, Sonia; Miller, Dale; Pimentel, Elaine; Volpe, Marco 1 2022 A characterisation of elementary fibrations. Zbl 1492.18008Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe 1 2022 Intermediate models of Magidor-Radin forcing. II. Zbl 1504.03030Benhamou, Tom; Gitik, Moti 1 2022 \(L\)-algebras and three main non-classical logics. Zbl 1504.03040Rump, Wolfgang 1 2022 Set theoretical analogues of the Barwise-Schlipf theorem. Zbl 07566291Enayat, Ali 1 2022 Embedding causal team languages into predicate logic. Zbl 07587334Barbero, Fausto; Galliani, Pietro 1 2022 Completion of choice. Zbl 1462.03019Brattka, Vasco; Gherardi, Guido 8 2021 Derivatives of normal functions in reverse mathematics. Zbl 1473.03036Freund, Anton; Rathjen, Michael 7 2021 Filter-linkedness and its effect on preservation of cardinal characteristics. Zbl 1498.03108Brendle, Jörg; Cardona, Miguel A.; Mejía, Diego A. 7 2021 Small models, large cardinals, and induced ideals. Zbl 1479.03024Holy, Peter; Lücke, Philipp 4 2021 Infinitesimal analysis without the axiom of choice. Zbl 07333022Hrbacek, Karel; Katz, Mikhail G. 4 2021 Superstability, Noetherian rings and pure-semisimple rings. Zbl 1498.03076Mazari-Armida, Marcos 4 2021 Towards the entropy-limit conjecture. Zbl 1498.03057Landes, Jürgen; Rad, Soroush Rafiee; Williamson, Jon 3 2021 Sets in Prikry and Magidor generic extensions. Zbl 1506.03109Benhamou, Tom; Gitik, Moti 3 2021 A microscopic approach to Souslin-tree construction. II. Zbl 1477.03177Brodsky, Ari Meir; Rinot, Assaf 3 2021 Dp-finite fields. I(A): The infinitesimals. Zbl 1473.03018Johnson, Will 3 2021 Games with finitely generated structures. Zbl 07404816Krawczyk, Adam; Kubiś, Wiesław 3 2021 \(\widetilde{|}\)-divisibility of ultrafilters. Zbl 1471.54012Šobot, Boris 3 2021 Ax-Schanuel and strong minimality for the \(j\)-function. Zbl 1481.12006Aslanyan, Vahagn 3 2021 Tukey order, calibres and the rationals. Zbl 1498.03100Gartside, Paul; Mamatelashvili, Ana 3 2021 Intuitionistic fixed point logic. Zbl 1498.03065Berger, Ulrich; Tsuiki, Hideki 3 2021 Long games and \(\sigma \)-projective sets. Zbl 1506.03112Aguilera, Juan P.; Müller, Sandra; Schlicht, Philipp 2 2021 Separating families and order dimension of Turing degrees. Zbl 1506.03099Kumar, Ashutosh; Raghavan, Dilip 2 2021 Some remarks on the open coloring axiom. Zbl 1506.03114Moore, Justin Tatch 2 2021 Dp-finite fields. I(B): Positive characteristic. Zbl 1477.03136Johnson, Will 2 2021 Punctual definability on structures. Zbl 07358547Kalimullin, Iskander; Melnikov, Alexander; Montalban, Antonio 2 2021 Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations. Zbl 07358548Chan, William; Jackson, Stephen 2 2021 Open core and small groups in dense pairs of topological structures. Zbl 1473.03019Baro, Elías; Martin-Pizarro, Amador 2 2021 A topological zero-one law and elementary equivalence of finitely generated groups. Zbl 1498.03085Osin, D. 2 2021 An approach to stochastic processes via non-classical logic. Zbl 1491.06023Di Nola, Antonio; Dvurečenskij, Anatolij; Lapenta, Serafina 2 2021 When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\). Zbl 1491.03035Matet, Pierre 1 2021 Stationary and closed rainbow subsets. Zbl 1498.03098Garti, Shimon; Zhang, Jing 1 2021 First-order model theory of free projective planes. Zbl 1498.03074Hyttinen, Tapani; Paolini, Gianluca 1 2021 Computable irrational numbers with representations of surprising complexity. Zbl 1481.03041Georgiev, Ivan; Kristiansen, Lars; Stephan, Frank 1 2021 Preserving levels of projective determinacy by tree forcings. Zbl 1506.03101Castiblanco, Fabiana; Schlicht, Philipp 1 2021 On the structure of certain valued fields. Zbl 1484.11228Lee, Junguk; Lee, Wan 1 2021 Continuous extension of maps between sequential cascades. Zbl 1506.03100Dolecki, Szymon; Starosolski, Andrzej 1 2021 The full basis theorem does not imply analytic wellordering. Zbl 07327743Kanovei, Vladimir; Lyubetsky, Vassily 1 2021 Typical forcings, NP search problems and an extension of a theorem of Riis. Zbl 1496.03239Müller, Moritz 1 2021 Quantum set theory: transfer principle and De Morgan’s laws. Zbl 1467.03016Ozawa, Masanao 1 2021 A parametrised functional interpretation of Heyting arithmetic. Zbl 1506.03122Dinis, Bruno; Oliva, Paulo 1 2021 Convergent sequences in topological groups. Zbl 07328993Hrušák, Michael; Shibakov, Alexander 1 2021 Local collection and end-extensions of models of compositional truth. Zbl 1473.03047Łełyk, Mateusz; Wcisło, Bartosz 1 2021 Determinacy from strong compactness of \(\omega_1\). Zbl 1496.03205Trang, Nam; Wilson, Trevor M. 1 2021 Non-forking and preservation of NIP and dp-rank. Zbl 07333018Estevan, Pedro Andrés; Kaplan, Itay 1 2021 Weaker cousins of Ramsey’s theorem over a weak base theory. Zbl 1490.03012Fiori-Carones, Marta; Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W. 1 2021 Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal. Zbl 07358534Cody, Brent; Gitman, Victoria; Lambie-Hanson, Chris 1 2021 Denseness results in the theory of algebraic fields. Zbl 1498.03083Anscombe, Sylvy; Dittmann, Philip; Fehm, Arno 1 2021 Fundamental group in o-minimal structures with definable Skolem functions. Zbl 07358543Dinis, Bruno; Edmundo, Mário J.; Mamino, Marcello 1 2021 Universal graphs and functions on \(\omega_1\). Zbl 1485.03205Shelah, Saharon; Steprāns, Juris 1 2021 Banach-Stone-like results for combinatorial Banach spaces. Zbl 1480.46012Brech, C.; Piña, C. 1 2021 Beth definability and the Stone-Weierstrass theorem. Zbl 07358550Reggio, Luca 1 2021 Finitely generated groups are universal among finitely generated structures. Zbl 1498.03081Harrison-Trainor, Matthew; Ho, Meng-Che “Turbo” 1 2021 Complexity of syntactical tree fragments of independence-friendly logic. Zbl 1498.03064Barbero, Fausto 1 2021 Probabilistic characterisation of models of first-order theories. Zbl 1498.03058Rad, Soroush Rafiee 1 2021 Unbounded towers and products. Zbl 1460.54014Szewczak, Piotr; Włudecka, Magdalena 1 2021 Continuous L-domains in logical form. Zbl 07374867Wang, Longchun; Li, Qingguo; Zhou, Xiangnan 1 2021 Pure \(\Sigma_2\)-elementarity beyond the core. Zbl 07374869Wilken, Gunnar 1 2021 Topological dynamics and NIP fields. Zbl 07374870Jagiella, Grzegorz 1 2021 Strongly compact cardinals and the continuum function. Zbl 1491.03036Apter, Arthur W.; Dimopoulos, Stamatis; Usuba, Toshimichi 1 2021 Pincherle’s theorem in reverse mathematics and computability theory. Zbl 1443.03008Normann, Dag; Sanders, Sam 11 2020 Algebraic description of limit models in classes of abelian groups. Zbl 1480.03019Mazari-Armida, Marcos 8 2020 The theory of ceers computes true arithmetic. Zbl 1442.03021Andrews, Uri; Schweber, Noah; Sorbi, Andrea 7 2020 A premouse inheriting strong cardinals from \(V\). Zbl 1485.03218Schlutzenberg, Farmer 4 2020 Feasibly constructive proofs of succinct weak circuit lower bounds. Zbl 1454.03078Müller, Moritz; Pich, Ján 4 2020 On expansions of \((\mathbf{Z},+,0)\). Zbl 1481.03014Lambotte, Quentin; Point, Françoise 3 2020 Epimorphism surjectivity in varieties of Heyting algebras. Zbl 1457.03055Moraschini, T.; Wannenburg, J. J. 3 2020 The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. Zbl 1455.03077Ferreira, Fernando 3 2020 Remarks on generic stability in independent theories. Zbl 07135274Conant, Gabriel; Gannon, Kyle 3 2020 Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition. Zbl 1435.03062Fujita, Masato 3 2020 Embeddings between well-orderings: computability-theoretic reductions. Zbl 1479.03008Goh, Jun Le 3 2020 Characterizations of the weakly compact ideal on \(P_\kappa\lambda\). Zbl 1506.03110Cody, Brent 3 2020 Herbrand’s theorem as higher order recursion. Zbl 1464.03085Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E. 3 2020 Diagonal supercompact Radin forcing. Zbl 1472.03058Ben-Neria, Omer; Lambie-Hanson, Chris; Unger, Spencer 3 2020 Completeness theorems for \(\sigma \)-additive probabilistic semantics. Zbl 1452.03064Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag 2 2020 Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives. Zbl 1476.03075Sato, Kentaro 2 2020 Stationarily ordered types and the number of countable models. Zbl 1475.03090Moconja, Slavko; Tanović, Predrag 2 2020 A forcing axiom for a non-special Aronszajn tree. Zbl 1481.03053Krueger, John 2 2020 Computability of pseudo-cubes. Zbl 1481.03042Horvat, Marko; Iljazović, Zvonko; Pažek, Bojan 2 2020 Univalent polymorphism. Zbl 1440.18048van den Berg, Benno 2 2020 Join-completions of partially ordered algebras. Zbl 1484.06056Gil-Férez, José; Spada, Luca; Tsinakis, Constantine; Zhou, Hongjun 2 2020 Turing reducibility in the fine hierarchy. Zbl 1471.03067Melnikov, Alexander G.; Selivanov, Victor L.; Yamaleev, Mars M. 1 2020 Expander construction in \(\mathrm{VNC}^1\). Zbl 1481.03065Buss, Sam; Kabanets, Valentine; Kolokolova, Antonina; Koucký, Michal 1 2020 The density zero ideal and the splitting number. Zbl 1481.03048Raghavan, Dilip 1 2020 A classification of the cofinal structures of precompacta. Zbl 1452.03101Eshed, Aviv; Vicenta Ferrer, M.; Hernández, Salvador; Szewczak, Piotr; Tsaban, Boaz 1 2020 Some constructions of ultrafilters over a measurable cardinal. Zbl 1481.03045Gitik, Moti 1 2020 ...and 1482 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 6,189 Authors 256 Shelah, Saharon 110 Downey, Rodney Graham 74 Pillay, Anand 72 Friedman, Sy-David 58 Apter, Arthur W. 51 Bazhenov, Nikolaĭ Alekseevich 46 Stephan, Frank 45 Gitik, Moti 45 Rathjen, Michael 41 Nies, André Otfrid 39 Montalbán, Antonio 38 Hamkins, Joel David 38 Lempp, Steffen 38 Melnikov, Alexander G. 38 Remmel, Jeffrey Brian 37 Greenberg, Noam 37 Ng, KengMeng 37 Shore, Richard Arnold 36 Baldwin, John T. 36 Knight, Julia F. 36 Prest, Mike 36 Schindler, Ralf-Dieter 35 Cenzer, Douglas 35 Hrushovski, Ehud 34 Bezhanishvili, Guram 34 Harizanov, Valentina S. 33 Courcelle, Bruno 32 Bezhanishvili, Nick 32 Hrušák, Michael 32 Kohlenbach, Ulrich Wilhelm 31 Hyttinen, Tapani 31 Kalimullin, Iskander Shagitovich 31 Rinot, Assaf 30 Buss, Samuel R. 30 Vasey, Sebastien 29 Point, Françoise 28 Bělohlávek, Radim 28 Khoussainov, Bakhadyr M. 28 Kulpeshov, Beibut Shaiykovich 28 Schuster, Peter Michael 28 Todorcevic, Stevo B. 28 Visser, Albert 27 Kurilić, Miloš S. 27 Makowsky, Johann-Andreas 26 Arai, Toshiyasu 26 Brattka, Vasco 26 Ishihara, Hajime 26 Jain, Sanjay 26 Li, Qingguo 26 Selivanov, Viktor L’vovich 26 Toffalori, Carlo 26 Weiermann, Andreas 25 Brendle, Jörg 25 Cummings, James 25 Rybakov, Vladimir Vladimirovich 25 Wu, Guohua 24 Bridges, Douglas Suth 24 Ghilardi, Silvio 24 Jeřábek, Emil 24 Neeman, Itay 24 Palmigiano, Alessandra 24 Pauly, Arno M. 24 Sanders, Sam 24 Simpson, Stephen G. 24 Slaman, Theodore A. 24 Vychodil, Vilém 23 Andrews, Uri 23 Gehrke, Mai 23 Hodkinson, Ian Martin 23 Jäger, Gerhard 23 Magidor, Menachem 23 Maksimova, Larisa L’vovna 23 Malliaris, Maryanthe Elizabeth 23 Miller, Russell G. 23 Palmgren, Erik 23 Schlicht, Philipp 23 Sorbi, Andrea 23 Väänänen, Jouko Antero 23 Zdoms’kyĭ, Lyubomyr Sergiĭovych 22 Beklemishev, Lev D. 22 Cholak, Peter A. 22 Iemhoff, Rosalie 22 Kanovei, Vladimir G. 22 Mundici, Daniele 22 Scedrov, Andre 22 Studer, Thomas 22 Thomas, Simon R. 22 Venema, Yde 21 Baaz, Matthias 21 Ben-Yaacov, Itaï 21 Eleftheriou, Pantelis E. 21 Harrison-Trainor, Matthew 21 Lücke, Philipp Moritz 21 Macpherson, Dugald 21 Mildenberger, Heike 21 Miller, Joseph S. 21 Montanari, Angelo 21 Peterzil, Ya’acov 21 Simon, Pierre 21 Steel, John R. ...and 6,089 more Authors all top 5 Cited in 443 Journals 1,484 Annals of Pure and Applied Logic 1,185 The Journal of Symbolic Logic 568 Archive for Mathematical Logic 553 Theoretical Computer Science 227 Information and Computation 222 Israel Journal of Mathematics 211 The Bulletin of Symbolic Logic 198 Transactions of the American Mathematical Society 195 Mathematical Logic Quarterly (MLQ) 188 Topology and its Applications 184 Studia Logica 182 Proceedings of the American Mathematical Society 178 Notre Dame Journal of Formal Logic 171 MSCS. Mathematical Structures in Computer Science 158 Journal of Pure and Applied Algebra 149 Journal of Mathematical Logic 148 Fuzzy Sets and Systems 131 Logical Methods in Computer Science 125 Advances in Mathematics 111 The Review of Symbolic Logic 98 Algebra and Logic 98 Journal of Computer and System Sciences 92 Journal of Algebra 83 Algebra Universalis 76 Journal of Philosophical Logic 75 Fundamenta Mathematicae 69 Synthese 67 Soft Computing 66 Journal of Applied Non-Classical Logics 63 Annals of Mathematics and Artificial Intelligence 63 Theory of Computing Systems 55 Journal of Automated Reasoning 50 Siberian Mathematical Journal 49 Communications in Algebra 42 Information Sciences 42 Order 42 International Journal of Approximate Reasoning 41 Journal of Applied Logic 40 Journal of Mathematical Sciences (New York) 39 Logica Universalis 38 Journal of Logic, Language and Information 37 Information Processing Letters 37 ACM Transactions on Computational Logic 36 Discrete Applied Mathematics 29 Discrete Mathematics 29 Applied Categorical Structures 27 Journal of Mathematical Analysis and Applications 25 Artificial Intelligence 25 Computability 24 Lobachevskii Journal of Mathematics 23 Journal of the American Mathematical Society 23 Computational Complexity 23 Selecta Mathematica. New Series 22 Indagationes Mathematicae. New Series 21 Acta Mathematica Hungarica 21 Journal of Symbolic Computation 21 Journal of Functional Programming 21 Journal of Logic and Analysis 20 International Journal of Foundations of Computer Science 20 The Journal of Logic and Algebraic Programming 19 Algorithmica 19 Journal of the Institute of Mathematics of Jussieu 18 Mathematica Slovaca 18 Journal of Logical and Algebraic Methods in Programming 17 International Journal of Algebra and Computation 17 Sibirskie Èlektronnye Matematicheskie Izvestiya 16 European Journal of Combinatorics 15 Acta Informatica 15 Memoirs of the American Mathematical Society 15 Journal of the European Mathematical Society (JEMS) 15 Journal of Algebra and its Applications 15 Forum of Mathematics, Sigma 14 Mathematical Proceedings of the Cambridge Philosophical Society 14 SIAM Journal on Computing 14 Journal of Complexity 14 Theory and Applications of Categories 14 RAIRO. Theoretical Informatics and Applications 14 Theory and Practice of Logic Programming 13 Formal Aspects of Computing 12 History and Philosophy of Logic 12 Forum Mathematicum 12 Doklady Mathematics 11 Mathematische Zeitschrift 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 Logic and Logical Philosophy 9 Annales de l’Institut Fourier 9 Inventiones Mathematicae 9 Monatshefte für Mathematik 9 Bulletin of the American Mathematical Society. New Series 9 Russian 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 9 Confluentes Mathematici 9 European Journal of Mathematics ...and 343 more Journals all top 5 Cited in 58 Fields 8,652 Mathematical logic and foundations (03-XX) 2,695 Computer science (68-XX) 1,019 Order, lattices, ordered algebraic structures (06-XX) 676 General topology (54-XX) 594 Category theory; homological algebra (18-XX) 473 Combinatorics (05-XX) 456 Group theory and generalizations (20-XX) 346 Field theory and polynomials (12-XX) 257 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 188 General algebraic systems (08-XX) 185 Functional analysis (46-XX) 184 Number theory (11-XX) 178 Associative rings and algebras (16-XX) 166 Commutative algebra (13-XX) 156 Algebraic geometry (14-XX) 154 Measure and integration (28-XX) 114 History and biography (01-XX) 113 Real functions (26-XX) 108 Topological groups, Lie groups (22-XX) 106 Dynamical systems and ergodic theory (37-XX) 87 General and overarching topics; collections (00-XX) 86 Probability theory and stochastic processes (60-XX) 68 Information and communication theory, circuits (94-XX) 64 Quantum theory (81-XX) 57 Geometry (51-XX) 54 Operator theory (47-XX) 49 Operations research, mathematical programming (90-XX) 47 Algebraic topology (55-XX) 39 Several complex variables and analytic spaces (32-XX) 31 Sequences, series, summability (40-XX) 30 Linear and multilinear algebra; matrix theory (15-XX) 26 Convex and discrete geometry (52-XX) 26 Manifolds and cell complexes (57-XX) 20 Numerical analysis (65-XX) 15 Functions of a complex variable (30-XX) 14 Ordinary differential equations (34-XX) 14 Difference and functional equations (39-XX) 13 Global analysis, analysis on manifolds (58-XX) 13 Statistics (62-XX) 12 Nonassociative rings and algebras (17-XX) 12 Biology and other natural sciences (92-XX) 11 Approximations and expansions (41-XX) 11 Abstract harmonic analysis (43-XX) 11 Statistical mechanics, structure of matter (82-XX) 8 \(K\)-theory (19-XX) 8 Partial differential equations (35-XX) 8 Differential geometry (53-XX) 8 Systems theory; control (93-XX) 4 Special functions (33-XX) 3 Harmonic analysis on Euclidean spaces (42-XX) 3 Relativity and gravitational theory (83-XX) 3 Mathematics education (97-XX) 2 Integral equations (45-XX) 2 Calculus of variations and optimal control; optimization (49-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