The Journal of Symbolic Logic Short Title: J. Symb. Log. Publisher: Cambridge University Press, West Nyack, NY; Association for Symbolic Logic (ASL), Poughkeepsie, NY ISSN: 0022-4812; 1943-5886/e Online: https://www.cambridge.org/core/journals/journal-of-symbolic-logic/all-issueshttp://projecteuclid.org/jslhttp://www.jstor.org/action/showPublication?journalCode=jsymboliclogic Comments: Journal; Indexed cover-to-cover Documents Indexed: 4,956 Publications (since 1936) References Indexed: 4,486 Publications with 57,988 References. all top 5 Latest Issues 88, No. 4 (2023) 88, No. 3 (2023) 88, No. 2 (2023) 88, No. 1 (2023) 87, No. 4 (2022) 87, No. 3 (2022) 87, No. 2 (2022) 87, No. 1 (2022) 86, No. 4 (2021) 86, No. 3 (2021) 86, No. 2 (2021) 86, No. 1 (2021) 85, No. 4 (2020) 85, No. 3 (2020) 85, No. 2 (2020) 85, No. 1 (2020) 84, No. 4 (2019) 84, No. 3 (2019) 84, No. 2 (2019) 84, No. 1 (2019) 83, No. 4 (2018) 83, No. 3 (2018) 83, No. 2 (2018) 83, No. 1 (2018) 82, No. 4 (2017) 82, No. 3 (2017) 82, No. 2 (2017) 82, No. 1 (2017) 81, No. 4 (2016) 81, No. 3 (2016) 81, No. 2 (2016) 81, No. 1 (2016) 80, No. 4 (2015) 80, No. 3 (2015) 80, No. 2 (2015) 80, No. 1 (2015) 79, No. 4 (2014) 79, No. 3 (2014) 79, No. 2 (2014) 79, No. 1 (2014) 78, No. 4 (2013) 78, No. 3 (2013) 78, No. 2 (2013) 78, No. 1 (2013) 77, No. 4 (2012) 77, No. 3 (2012) 77, No. 2 (2012) 77, No. 1 (2012) 76, No. 4 (2011) 76, No. 3 (2011) 76, No. 2 (2011) 76, No. 1 (2011) 75, No. 4 (2010) 75, No. 3 (2010) 75, No. 2 (2010) 75, No. 1 (2010) 74, No. 4 (2009) 74, No. 3 (2009) 74, No. 2 (2009) 74, No. 1 (2009) 73, No. 4 (2008) 73, No. 3 (2008) 73, No. 2 (2008) 73, No. 1 (2008) 72, No. 4 (2007) 72, No. 3 (2007) 72, No. 2 (2007) 72, No. 1 (2007) 71, No. 4 (2006) 71, No. 3 (2006) 71, No. 2 (2006) 71, No. 1 (2006) 70, No. 4 (2005) 70, No. 3 (2005) 70, No. 2 (2005) 70, No. 1 (2005) 69, No. 4 (2004) 69, No. 3 (2004) 69, No. 2 (2004) 69, No. 1 (2004) 68, No. 4 (2003) 68, No. 3 (2003) 68, No. 2 (2003) 68, No. 1 (2003) 67, No. 4 (2002) 67, No. 3 (2002) 67, No. 2 (2002) 67, No. 1 (2002) 66, No. 4 (2001) 66, No. 3 (2001) 66, No. 2 (2001) 66, No. 1 (2001) 65, No. 4 (2000) 65, No. 3 (2000) 65, No. 2 (2000) 65, No. 1 (2000) 64, No. 4 (1999) 64, No. 3 (1999) 64, No. 2 (1999) 64, No. 1 (1999) ...and 104 more Volumes all top 5 Authors 148 Shelah, Saharon 46 Pillay, Anand 45 Knight, Julia F. 43 Friedman, Sy-David 37 Quine, Willard Van Orman 35 Poizat, Bruno Petrovich 33 Fitch, Frederic Brenton 31 Downey, Rodney Graham 29 Jockusch, Carl G. jun. 28 Schmerl, James H. 25 Shore, Richard Arnold 25 Wagner, Frank Olaf 24 Magidor, Menachem 23 Baldwin, John T. 23 Keisler, Howard Jerome 23 Rosser, John Barkley 21 Lempp, Steffen 21 Montalbán, Antonio 20 Apter, Arthur W. 20 Gurevich, Yuri 20 Slaman, Theodore A. 19 Blass, Andreas Raphael 19 Schindler, Ralf-Dieter 19 Soare, Robert I. 18 Ben-Yaacov, Itaï 18 Hjorth, Gregory 18 Remmel, Jeffrey Brian 18 Steel, John R. 17 Hamkins, Joel David 17 Sorbi, Andrea 16 Lachlan, Alistair H. 16 Lerman, Manuel 16 Miller, Russell G. 16 Nies, André Otfrid 15 Delon, Françoise 15 Gitik, Moti 15 Greenberg, Noam 15 Laskowski, Michael Chris 14 Hrushovski, Ehud 14 Krajíček, Jan 14 McKinsey, J. C. C. 14 Myhill, John R. 14 Németi, István 14 Ng, KengMeng 14 Wang, Hao 13 Andréka, Hajnal 13 Cherlin, Gregory L. 13 Cummings, James 13 Ellentuck, Erik 13 Friedman, Harvey M. 13 Harrison-Trainor, Matthew 13 Henle, James M. 13 Miller, Joseph S. 13 Neeman, Itay 13 Newelski, Ludomir 13 Paris, Jeffrey Bruce 13 Simpson, Stephen G. 13 Yu, Liang 12 Andrews, Uri 12 Buechler, Steven 12 Bunder, Martin W. 12 Cholak, Peter A. 12 Cooper, Stuart Barry 12 Gabbay, Dov M. 12 Goodman, Nelson 12 Henson, C. Ward 12 Hirsch, Robin 12 Hyttinen, Tapani 12 Jäger, Gerhard 12 Jech, Thomas J. 12 Jin, Renling 12 Kechris, Alexander S. 12 Lubarsky, Robert S. 12 Takeuti, Gaisi 12 van den Dries, Lou 12 Welch, Philip D. 11 Baumgartner, James Earl 11 Brendle, Jörg 11 Csima, Barbara F. 11 Curry, Haskell Brooks 11 Goldfarb, Warren D. 11 Harizanov, Valentina S. 11 Hirschfeldt, Denis Roman 11 Kim, Byunghan 11 Kleinberg, Eugene M. 11 Marker, David E. 11 Mitchell, William John 11 Normann, Dag 11 Väänänen, Jouko Antero 10 Adamowicz, Zofia 10 Buss, Samuel R. 10 Church, Alonzo 10 Fuchs, Gunter 10 Goodman, Nicolas D. 10 Grossberg, Rami P. 10 Hart, Bradd T. 10 Henkin, Leon Albert 10 Hodkinson, Ian Martin 10 Kreisel, Georg 10 Kunen, Kenneth ...and 2,500 more Authors all top 5 Fields 4,307 Mathematical logic and foundations (03-XX) 211 Field theory and polynomials (12-XX) 204 Computer science (68-XX) 191 Order, lattices, ordered algebraic structures (06-XX) 181 Group theory and generalizations (20-XX) 154 General topology (54-XX) 97 Combinatorics (05-XX) 73 Category theory; homological algebra (18-XX) 67 General algebraic systems (08-XX) 64 Number theory (11-XX) 60 Measure and integration (28-XX) 50 Associative rings and algebras (16-XX) 42 Functional analysis (46-XX) 37 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 33 Commutative algebra (13-XX) 25 History and biography (01-XX) 25 Real functions (26-XX) 22 Topological groups, Lie groups (22-XX) 22 Dynamical systems and ergodic theory (37-XX) 21 Algebraic geometry (14-XX) 19 Probability theory and stochastic processes (60-XX) 18 General and overarching topics; collections (00-XX) 10 Linear and multilinear algebra; matrix theory (15-XX) 9 Abstract harmonic analysis (43-XX) 9 Geometry (51-XX) 9 Quantum theory (81-XX) 7 Operator theory (47-XX) 6 Several complex variables and analytic spaces (32-XX) 6 Algebraic topology (55-XX) 5 Information and communication theory, circuits (94-XX) 4 Convex and discrete geometry (52-XX) 3 Nonassociative rings and algebras (17-XX) 3 Functions of a complex variable (30-XX) 3 Ordinary differential equations (34-XX) 3 Manifolds and cell complexes (57-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Statistics (62-XX) 2 Relativity and gravitational theory (83-XX) 1 Sequences, series, summability (40-XX) 1 Approximations and expansions (41-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4,009 Publications have been cited 37,978 times in 19,648 Documents Cited by ▼ Year ▼ On the logic of theory change: partial meet contraction and revision functions. Zbl 0578.03011 Alchourrón, Carlos E.; Gärdenfors, Peter; Makinson, David 615 1985 The relative efficiency of propositional proof systems. Zbl 0408.03044 Cook, Stephen A.; Reckhow, Robert A. 246 1979 Foundational aspects of theories of measurement. Zbl 0084.24603 Scott, Dana; Suppes, Patrick 184 1959 A formulation of the simple theory of types. JFM 66.1192.06 Church, A. 171 1940 Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409 McKinsey, J. C. C.; Tarski, Alfred 170 1948 Definability and decision problems in arithmetic. Zbl 0034.00801 Robinson, Julia 169 1949 Completeness in the theory of types. Zbl 0039.00801 Henkin, Leon 164 1950 A filter lambda model and the completeness of type assignment. Zbl 0545.03004 Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola 156 1983 A formulation of the simple theory of types. Zbl 0023.28901 Church, Alonzo 152 1940 Constructible falsity. Zbl 0033.24304 Nelson, David 151 1949 Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502 Craig, William 149 1957 Intensional interpretations of functionals of finite type. I. Zbl 0174.01202 Tait, W. W. 146 1967 On notation for ordinal numbers. Zbl 0020.33803 Kleene, S. C. 145 1938 On the calculus of relations. JFM 67.0973.02 Tarski, A. 143 1941 A propositional calculus with denumerable matrix. Zbl 0089.24307 Dummett, Michael 143 1959 A completeness theorem in modal logic. Zbl 0091.00902 Kripke, Saul A. 139 1959 Quantales and (noncommutative) linear logic. Zbl 0701.03026 Yetter, David N. 128 1990 A Borel reducibility theory for classes of countable structures. Zbl 0692.03022 Friedman, Harvey; Stanley, Lee 126 1989 Flag algebras. Zbl 1146.03013 Razborov, Alexander A. 125 2007 Recursive unsolvability of a problem of Thue. Zbl 1263.03030 Post, Emil L. 125 1947 Probabilities on finite models. Zbl 0341.02044 Fagin, Ronald 119 1976 A theorem about infinite-valued sentential logic. Zbl 0043.00901 McNaughton, Robert 110 1951 Borel sets and Ramsey’s theorem. Zbl 0276.04003 Galvin, Fred; Prikry, Karel 108 1973 On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033 Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A. 107 2001 On the interpretation of intuitionistic number theory. Zbl 0063.03260 Kleene, S. C. 104 1945 The completeness of the first-order functional calculus. Zbl 0034.00602 Henkin, Leon 103 1949 A new proof that analytic sets are Ramsey. Zbl 0292.02054 Ellentuck, Erik 103 1974 Logics without the contraction rule. Zbl 0583.03018 Ono, Hiroakira; Komori, Yuichi 101 1985 Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086 Pudlák, Pavel 99 1997 On the calculus of relations. Zbl 0026.24401 Tarski, Alfred 95 1941 Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402 Craig, William 94 1957 Systems of predicative analysis. Zbl 0134.01101 Feferman, S. 94 1964 Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102 Specker, Ernst 93 1949 A note on the Entscheidungsproblem. JFM 62.1058.04 Church, A. 90 1936 Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601 Friedberg, Richard M. 90 1959 Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102 Putnam, H. 89 1965 Games and full completeness for multiplicative linear logic. Zbl 0822.03007 Abramsky, Samson; Jagadeesan, Radha 89 1994 On definable subsets of p-adic fields. Zbl 0362.02046 Macintyre, Angus J. 88 1976 On strongly minimal sets. Zbl 0217.30402 Baldwin, J. T.; Lachlan, A. H. 88 1971 Constructible falsity and inexact predicates. Zbl 0575.03016 Almukdad, Ahmad; Nelson, David 88 1984 The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864 McKinsey, J. C. C. 85 1943 Infinite time Turing machines. Zbl 0963.03064 Hamkins, Joel David; Lewis, Andy 83 2000 A natural extension of natural deduction. Zbl 0574.03045 Schroeder-Heister, Peter 83 1984 One hundred and two problems in mathematical logic. Zbl 0318.02002 Friedman, Harvey 82 1975 Reflecting on incompleteness. Zbl 0746.03046 Feferman, Solomon 82 1991 Gödel numberings of partial recursive functions. Zbl 0088.01602 Rogers, Hartley jun. 80 1959 Limiting recursion. Zbl 0203.01201 Gold, E. M. 80 1965 Solution of a problem of Leon Henkin. Zbl 0067.00202 Löb, M. H. 77 1955 Algebraic semantics for modal logics. I, II. Zbl 0147.24805 Lemmon, E. J. 77 1966 Existence and feasibility in arithmetic. Zbl 0243.02037 Parikh, Rohit 77 1971 Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017 Avron, Arnon 77 1991 Saturated ideals. Zbl 0395.03031 Kunen, Kenneth 76 1978 The determinacy of Blackwell games. Zbl 0926.03071 Martin, Donald A. 75 1998 Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029 Krajíček, Jan 75 1997 Constructive set theory. Zbl 0314.02045 Myhill, John 74 1975 Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015 Takeuti, Gaisi; Titani, Satoko 74 1984 Semantics for relevant logics. Zbl 0245.02028 Urquhart, Alasdair 73 1972 Ramsey’s theorem and recursion theory. Zbl 0262.02042 Jockusch, Carl G. jun. 73 1972 Unification in intuitionistic logic. Zbl 0930.03009 Ghilardi, Silvio 72 1999 On the restraining power of guards. Zbl 0958.03027 Grädel, Erich 70 1999 Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024 Dunn, J. Michael 70 1970 On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009 Pitts, Andrew M. 70 1992 Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004 Dyckhoff, Roy 69 1992 On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013 Iemhoff, Rosalie 68 2001 Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055 Hirschfeldt, Denis R.; Shore, Richard A. 66 2007 Every analytic set is Ramsey. Zbl 0216.01304 Silver, J. 66 1970 Degrees coded in jumps of orderings. Zbl 0633.03038 Knight, Julia F. 65 1986 Substructural fuzzy logics. Zbl 1139.03017 Metcalfe, George; Montagna, Franco 65 2007 Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402 Feferman, S. 65 1963 Elementary embedding and infinitary combinatorics. Zbl 0272.02087 Kunen, Kenneth 64 1971 On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701 Kreisel, Georg 64 1952 Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001 van Lambalgen, Michiel 63 1987 On sentences which are true of direct unions of algebras. Zbl 0043.24801 Horn, Alfred 63 1951 Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071 Brattka, Vasco; Gherardi, Guido 61 2011 Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021 Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra 61 2005 Recursive well-orderings. Zbl 0067.00303 Spector, Clifford 61 1955 Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404 Richardson, D. 61 1968 A logical analysis of some value concepts. Zbl 0943.03599 Fitch, Frederic B. 60 1964 On the interpretation of non-finitist proofs. I. Zbl 0044.00302 Kreisel, Georg 60 1951 Concatenation as a basis for arithmetic. Zbl 0063.06362 Quine, Willard Van Orman 59 1946 Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029 Krajíček, Jan; Pudlák, Pavel 59 1989 Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018 Areces, Carlos; Blackburn, Patrick; Marx, Maarten 58 2001 Analytic determinacy and \(O^\#\). Zbl 0398.03039 Harrington, Leo 58 1978 Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042 Paris, J. B.; Wilkie, A. J.; Woods, A. R. 57 1988 Randomness, relativization and Turing degrees. Zbl 1090.03013 Nies, André; Stephan, Frank; Terwijn, Sebastiaan A. 57 2005 Reflecting stationary sets. Zbl 0506.03014 Magidor, Menachem 56 1982 Resolution in type theory. Zbl 0231.02038 Andrews, Peter B. 55 1971 Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053 Buss, Samuel R. 54 1987 Cuts, consistency statements and interpretations. Zbl 0569.03024 Pudlák, Pavel 54 1985 Models without indiscernibles. Zbl 0391.03027 Abramson, Fred G.; Harrington, Leo A. 54 1978 A constructive analysis of RM. Zbl 0639.03017 Avron, Arnon 53 1987 Toward useful type-free theories. I. Zbl 0574.03043 Feferman, Solomon 53 1984 Kernel contraction. Zbl 0810.03017 Hansson, Sven Ove 53 1994 Fibered categories and the foundations of naive category theory. Zbl 0564.18001 Bénabou, Jean 52 1985 Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904 Horn, A. 52 1969 Degrees of structures. Zbl 0512.03024 Richter, Linda Jean 51 1981 The undecidability of entailment and relevant implication. Zbl 0581.03011 Urquhart, Alasdair 51 1984 Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044 Abrusci, V. Michele 51 1991 Probabilities over rich languages, testing and randomness. Zbl 0501.60006 Gaifman, Haim; Snir, Marc 49 1982 Recursive isomorphism types of recursive Boolean algebras. Zbl 0543.03031 Remmel, J. B. 49 1981 Locally o-minimal structures with tame topological properties. Zbl 1518.03006 Fujita, Masato 4 2023 Cellular categories and stable independence. Zbl 1514.18006 Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien 2 2023 Elimination of imaginaries in ordered abelian groups with bounded regular rank. Zbl 07781917 Vicaría, Mariana 1 2023 Definability of Henselian valuations by conditions on the value group. Zbl 07735945 Krapp, Lothar Sebastian; Kuhlmann, Salma; Link, Moritz 1 2023 Expanding the reals by continuous functions adds no computational power. Zbl 07735946 Andrews, Uri; Knight, Julia F.; Kuyper, Rutger; Miller, Joseph S.; Soskova, Mariya I. 1 2023 Bohr compactifications of groups and rings. Zbl 07735947 Gismatullin, Jakub; Jagiella, Grzegorz; Krupiński, Krzysztof 1 2023 The discontinuity problem. Zbl 07735950 Brattka, Vasco 1 2023 Model theory of derivations of the Frobenius map revisited. Zbl 07735951 Gogolok, Jakub 1 2023 Knaster and friends. III: Subadditive colorings. Zbl 07735952 Lambie-Hanson, Chris; Rinot, Assaf 1 2023 Addendum to: “The automorphism group of the Fraïssé limit of finite Heyting algebras”. Zbl 07735955 Yamamoto, Kentarô 1 2023 Finitist axiomatic truth. Zbl 07657274 Kentaro, Sato; Walker, Jan 1 2023 Some stable non-elementary classes of modules. Zbl 07657276 Mazari-Armida, Marcos 1 2023 The weak Vopěnka principle for definable classes of structures. Zbl 07657278 Bagaria, Joan; Wilson, Trevor M. 1 2023 On restrictions of ultrafilters from generic extensions to ground models. Zbl 07657279 Gitik, Moti; Kaplan, Eyal 1 2023 On sequences of homomorphisms into measure algebras and the Efimov problem. Zbl 1528.28005 Borodulin-Nadzieja, Piotr; Sobota, Damian 1 2023 More on the preservation of large cardinals under class forcing. Zbl 07657283 Bagaria, Joan; Poveda, Alejandro 1 2023 The poset of all logics. II: Leibniz classes and hierarchy. Zbl 07657284 Jansana, R.; Moraschini, T. 1 2023 Most(?) theories have Borel complete reducts. Zbl 07657287 Laskowski, Michael C.; Ulrich, Douglas S. 1 2023 Metrics for formal structures, with an application to Kripke models and their dynamics. Zbl 07691748 Klein, Dominik; Rendsvig, Rasmus K. 1 2023 How strong is Ramsey’s theorem if infinity can be weak? Zbl 07691754 Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.; Yokoyama, Keita 1 2023 Almost theorems of hyperarithmetic analysis. Zbl 1525.03056 Shore, Richard A. 1 2023 Model theory and proof theory of the global reflection principle. Zbl 07691759 Łełyk, Mateusz Zbigniew 1 2023 Trees and stationary reflection at double successors of regular cardinals. Zbl 07691760 Gilton, Thomas; Levine, Maxwell; Stejskalová, Šárka 1 2023 Ideal operators and higher indescribability. Zbl 07691762 Cody, Brent; Holy, Peter 1 2023 A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. Zbl 1510.03023 Nemoto, Takako; Kentaro, Sato 5 2022 A Q-wadge hierarchy in quasi-Polish spaces. Zbl 07541920 Selivanov, Victor 4 2022 Forcing constructions and countable Borel equivalence relations. Zbl 1526.03005 Gao, Su; Jackson, Steve; Krohne, Edward; Seward, Brandon 4 2022 Applications of pcf theory to the study of ideals on \(P_{\kappa}(\lambda)\). Zbl 1523.03020 Matet, Pierre 4 2022 Mutual interpretability of weak essentially undecidable theories. Zbl 07620694 Damnjanovic, Zlatan 3 2022 On the uncountability of \(\mathbb{R}\). Zbl 1523.03004 Normann, Dag; Sanders, Sam 3 2022 Ways of destruction. Zbl 07576893 Farkas, Barnabás; Zdomskyy, Lyubomyr 3 2022 On non-compact \(p\)-adic definable groups. Zbl 1512.03057 Johnson, Will; Yao, Ningyuan 3 2022 Closed and unbounded classes and the Härtig quantifier model. Zbl 1510.03020 Welch, Philip D. 2 2022 Tree forcing and definable maximal Independent sets in hypergraphs. Zbl 07620696 Schilhan, Jonathan 2 2022 On equational completeness Theorems. Zbl 07620699 Moraschini, Tommaso 2 2022 Higher independence. Zbl 07620701 Fischer, Vera; Montoya, Diana Carolina 2 2022 Interpreting a field in its Heisenberg group. Zbl 07576904 Alvir, Rachael; Calvert, Wesley; Goodman, Grant; Harizanov, Valentina; Knight, Julia; Miller, Russell; Morozov, Andrey; Soskova, Alexandra; Weisshaar, Rose 2 2022 The consistency strength of the perfect set property for universally Baire sets of reals. Zbl 1504.03028 Schindler, Ralf; Wilson, Trevor M. 1 2022 A structural dichotomy in the enumeration degrees. Zbl 1506.03097 Ganchev, Hristo A.; Kalimullin, Iskander Sh.; Miller, Joseph S.; Soskova, Mariya I. 1 2022 Epsilon theorems in intermediate logics. Zbl 07541918 Baaz, Matthias; Zach, Richard 1 2022 Embeddings into outer models. Zbl 1523.03021 Eskew, Monroe; Friedman, Sy-David 1 2022 Descriptive complexity in Cantor series. Zbl 07576896 Airey, Dylan; Jackson, Steve; Mance, Bill 1 2022 Yet another ideal version of the bounding number. Zbl 1504.03025 Filipów, Rafał; Kwela, Adam 1 2022 Counting siblings in universal theories. Zbl 07576901 Braunfeld, Samuel; Laskowski, Michael C. 1 2022 Initial segments of the degrees of ceers. Zbl 1507.03096 Andrews, Uri; Sorbi, Andrea 1 2022 First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth. Zbl 1518.03016 Egrot, Rob; Hirsch, Robin 1 2022 The tree of tuples of a structure. Zbl 1504.03024 Harrison-Trainor, Matthew; Montalbán, Antonio 1 2022 Relationships between computability-theoretic properties of problems. Zbl 1507.03067 Downey, Rod; Greenberg, Noam; Harrison-Trainor, Matthew; Patey, Ludovic; Turetsky, Dan 1 2022 Ramsey-like theorems and moduli of computation. Zbl 1505.03028 Patey, Ludovic 1 2022 Combinatorics of ultrafilters on Cohen and random algebras. Zbl 1510.03015 Brendle, Jörg; Parente, Francesco 1 2022 Density-like and generalized density ideals. Zbl 07506777 Kwela, Adam; Leonetti, Paolo 1 2022 HTP-complete rings of rational numbers. Zbl 1501.12003 Miller, Russell 1 2022 Notes on the DPRM property for listable structures. Zbl 1500.11093 Pasten, Hector 1 2022 Non-classical foundations of set theory. Zbl 07506781 Tarafder, Sourav 1 2022 Ramsey’s coheirs. Zbl 1486.05304 Colla, Eugenio; Zambella, Domenico 1 2022 Projective clone homomorphisms. Zbl 07370805 Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 17 2021 Reflection ranks and ordinal analysis. Zbl 1511.03018 Pakhomov, Fedor; Walsh, James 7 2021 The reverse mathematics of theorems of Jordan and Lebesgue. Zbl 07457794 Nies, André; Triplett, Marcus A.; Yokoyama, Keita 5 2021 The poset of all logics. I: Interpretations and lattice structure. Zbl 1509.03177 Jansana, R.; Moraschini, T. 4 2021 The characterization of Weihrauch reducibility in systems containing \(\mathrm{E}\text{-}\mathrm{PA}^\omega+\mathrm{QF}\text{-}\mathrm{AC}^{0,0}\). Zbl 07370811 Uftring, Patrick 4 2021 Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. Zbl 1509.03116 Kellerman, Ruaan; Goranko, Valentin 3 2021 Prenex normal form theorems in semi-classical arithmetic. Zbl 1509.03160 Fujiwara, Makoto; Kurahashi, Taishi 3 2021 Associativity of the Morley product of invariant measures in NIP theories. Zbl 1509.03104 Conant, Gabriel; Gannon, Kyle 3 2021 Separating diagonal stationary reflection principles. Zbl 07370820 Fuchs, Gunter; Lambie-Hanson, Chris 3 2021 Forcing axioms, approachability, and stationary set reflection. Zbl 07415213 Cox, Sean D. 3 2021 Finding descending sequences through ill-founded linear orders. Zbl 07415227 Goh, Jun Le; Pauly, Arno; Valenti, Manlio 3 2021 HOD in inner models with Woodin cardinals. Zbl 1505.03099 Müller, Sandra; Sargsyan, Grigor 2 2021 Vaught’s conjecture for almost chainable theories. Zbl 1509.03101 Kurilić, Miloš S. 2 2021 Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation. Zbl 1477.18011 Maruyama, Yoshihiro 2 2021 Generic coding with help and amalgamation failure. Zbl 07457783 Friedman, Sy-David; Hathaway, Dan 2 2021 A comparison of various analytic choice principles. Zbl 07457786 D’Auriac, Paul-Elliot Anglès; Kihara, Takayuki 2 2021 Strongly minimal Steiner systems. I: Existence. Zbl 07457787 Baldwin, John; Paolini, Gianluca 2 2021 Shortening Clopen games. Zbl 07457789 Aguilera, Juan P. 2 2021 Inquisitive bisimulation. Zbl 07370807 Ciardelli, Ivano; Otto, Martin 2 2021 Classes of barren extensions. Zbl 1487.03056 Dobrinen, Natasha; Hathaway, Dan 2 2021 NS saturated and \({\Delta }_1\)-definable. Zbl 07370815 Hoffelner, Stefan 2 2021 Aronszajn tree preservation and bounded forcing axioms. Zbl 07370821 Fuchs, Gunter 2 2021 A predicative variant of Hyland’s effective topos. Zbl 07415210 Maietti, Maria Emilia; Maschio, Samuele 2 2021 Stably measurable cardinals. Zbl 07415211 Welch, Philip D. 2 2021 Forking, imaginaries, and other features of ACFG. Zbl 07415220 D’Elbée, Christian 2 2021 More ZFC inequalities between cardinal invariants. Zbl 1509.03147 Fischer, Vera; Soukup, Dániel T. 1 2021 Fraïssé limits for relational metric structures. Zbl 1509.03102 Bryant, David; Nies, André; Tupper, Paul 1 2021 Münchhausen provability. Zbl 1509.03162 Joosten, Joost J. 1 2021 Surreal ordered exponential fields. Zbl 1495.03057 Ehrlich, Philip; Kaplan, Elliot 1 2021 Ordinal analysis of partial combinatory algebras. Zbl 1509.03128 Shafer, Paul; Terwijn, Sebastiaan A. 1 2021 Countably perfectly meager sets. Zbl 1509.03146 Pol, Roman; Zakrzewski, Piotr 1 2021 Weak canonical bases in \(\operatorname{NSOP}_1\) theories. Zbl 07442027 Kim, Byunghan 1 2021 Maltsev conditions for general congruence meet-semidistributive algebras. Zbl 1487.08002 Olšák, Miroslav 1 2021 On the automorphism group of the universal homogeneous meet-tree. Zbl 07457788 Kaplan, Itay; Rzepecki, Tomasz; Siniora, Daoud 1 2021 The order of reflection. Zbl 07457790 Aguilera, Juan P. 1 2021 Initial self-embeddings of models of set theory. Zbl 07457791 Enayat, Ali; Mckenzie, Zachiri 1 2021 Scott complexity of countable structures. Zbl 1485.03168 Alvir, Rachael; Greenberg, Noam; Harrison-Trainor, Matthew; Turetsky, Dan 1 2021 The modal logic of \(\sigma\)-centered forcing and related forcing classes. Zbl 07370806 Ya’Ar, Ur 1 2021 On wide Aronszajn trees in the presence of MA. Zbl 07370810 Džamonja, Mirna; Shelah, Saharon 1 2021 The modal logics of Kripke-Feferman truth. Zbl 1491.03015 Nicolai, Carlo; Stern, Johannes 1 2021 Characterizing existence of a measurable cardinal via modal logic. Zbl 07370819 Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan 1 2021 The open and clopen Ramsey theorems in the Weihrauch lattice. Zbl 07370822 Marcone, Alberto; Valenti, Manlio 1 2021 Cores over Ramsey structures. Zbl 07370823 Mottet, Antoine; Pinsker, Michael 1 2021 The relation between two diminished choice principles. Zbl 1487.03059 Schumacher, Salome 1 2021 Muchnik degrees and cardinal characteristics. Zbl 1485.03160 Monin, Benoit; Nies, André 1 2021 ...and 1568 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 10,365 Authors 342 Shelah, Saharon 126 Downey, Rodney Graham 99 Pillay, Anand 93 Friedman, Sy-David 85 Stephan, Frank 73 Jain, Sanjay 69 Apter, Arthur W. 68 Bazhenov, Nikolaĭ Alekseevich 63 Shore, Richard Arnold 61 Nies, André Otfrid 52 Knight, Julia F. 50 Greenberg, Noam 49 Rathjen, Michael 48 Melnikov, Alexander G. 48 Montalbán, Antonio 48 Selivanov, Viktor L’vovich 47 Gitik, Moti 47 Hamkins, Joel David 47 Rybakov, Vladimir Vladimirovich 44 Buss, Samuel R. 44 Lempp, Steffen 44 Slaman, Theodore A. 44 Sorbi, Andrea 43 Baldwin, John T. 43 Hansson, Sven Ove 43 Maksimova, Larisa L’vovna 42 Jockusch, Carl G. jun. 42 Miller, Joseph S. 42 Miller, Russell G. 42 Visser, Albert 41 Kamide, Norihiro 41 Ng, KengMeng 41 Rinot, Assaf 40 Kanovei, Vladimir G. 40 Todorcevic, Stevo B. 40 van Benthem, Johan F. A. K. 39 Barmpalias, George 39 Bezhanishvili, Nick 38 Ghilardi, Silvio 38 Kalimullin, Iskander Shagitovich 37 Avron, Arnon 37 Gabbay, Dov M. 37 Kohlenbach, Ulrich Wilhelm 37 Magidor, Menachem 36 Harizanov, Valentina S. 35 Bezhanishvili, Guram 35 Hrushovski, Ehud 34 Beyersdorff, Olaf 34 Case, John 34 Cenzer, Douglas 34 Cholak, Peter A. 34 Hrušák, Michael 34 Laskowski, Michael Chris 34 Mundici, Daniele 34 Remmel, Jeffrey Brian 33 Coquand, Thierry 33 Schindler, Ralf-Dieter 33 Schmerl, James H. 32 Cummings, James 32 Montagna, Franco 32 Schlicht, Philipp 32 Tachtsis, Eleftherios 32 Vasey, Sebastien 32 Wagner, Frank Olaf 32 Wansing, Heinrich Theodor 31 Andrews, Uri 31 Hyttinen, Tapani 31 Krajíček, Jan 31 Kulpeshov, Beibut Shaiykovich 31 Sayed Ahmed, Tarek 31 Shlapentokh, Alexandra 31 Soskova, Mariya Ivanova 31 Weiermann, Andreas 30 Bridges, Douglas Suth 30 Hodkinson, Ian Martin 30 Matet, Pierre 29 Baaz, Matthias 29 Nešetřil, Jaroslav 29 Sanders, Sam 29 Wu, Guohua 29 Zdoms’kyĭ, Lyubomyr Sergiĭovych 28 Cluckers, Raf 28 Džamonja, Mirna 28 Enayat, Ali 28 Feferman, Solomon 28 Goncharov, Sergeĭ Savost’yanovich 28 Keisler, Howard Jerome 28 Lewis-Pye, Andrew E. M. 28 Metcalfe, George 28 Väänänen, Jouko Antero 28 Yu, Liang 27 Bienvenu, Laurent 27 Brendle, Jörg 27 Cherlin, Gregory L. 27 Fischer, Vera 27 Fishburn, Peter Clingerman 27 Friedman, Harvey M. 27 Garti, Shimon 27 Humberstone, Lloyd 27 Macintyre, Angus John ...and 10,265 more Authors all top 5 Cited in 597 Journals 1,741 Annals of Pure and Applied Logic 1,701 The Journal of Symbolic Logic 808 Archive for Mathematical Logic 771 Theoretical Computer Science 768 Studia Logica 497 Journal of Philosophical Logic 476 Mathematical Logic Quarterly (MLQ) 415 Transactions of the American Mathematical Society 401 Israel Journal of Mathematics 392 Proceedings of the American Mathematical Society 362 Notre Dame Journal of Formal Logic 358 Synthese 315 The Bulletin of Symbolic Logic 277 The Review of Symbolic Logic 265 Algebra Universalis 251 Algebra and Logic 249 Information and Computation 234 Topology and its Applications 205 Journal of Mathematical Logic 184 Journal of Algebra 178 Artificial Intelligence 166 Journal of Applied Non-Classical Logics 161 Advances in Mathematics 156 Fuzzy Sets and Systems 147 Journal of Computer and System Sciences 146 Journal of Pure and Applied Algebra 143 Archiv für Mathematische Logik und Grundlagenforschung 143 MSCS. Mathematical Structures in Computer Science 141 History and Philosophy of Logic 140 Logical Methods in Computer Science 126 Journal of Logic, Language and Information 125 Siberian Mathematical Journal 125 Journal of Automated Reasoning 122 Logica Universalis 116 Fundamenta Mathematicae 109 Journal of Applied Logic 83 International Journal of Approximate Reasoning 81 Information Processing Letters 74 Annals of Mathematics and Artificial Intelligence 72 Discrete Mathematics 72 Logic and Logical Philosophy 70 Mathematical Notes 69 Communications in Algebra 69 Order 68 Theory of Computing Systems 68 Erkenntnis 67 Journal of Mathematical Psychology 66 Soft Computing 60 Journal of Mathematical Sciences (New York) 58 Journal of Symbolic Computation 58 ACM Transactions on Computational Logic 53 International Journal of Theoretical Physics 52 International Journal of Algebra and Computation 51 Information Sciences 48 Computability 48 Journal of Logical and Algebraic Methods in Programming 44 Journal of Combinatorial Theory. Series A 42 Mathematische Annalen 42 Bulletin of the Section of Logic 40 Journal of Soviet Mathematics 40 European Journal of Combinatorics 37 Mathematical Social Sciences 37 Indagationes Mathematicae. New Series 36 Discrete Applied Mathematics 36 Sibirskie Èlektronnye Matematicheskie Izvestiya 36 Bulletin of the American Mathematical Society 35 Journal of Mathematical Analysis and Applications 35 Lobachevskii Journal of Mathematics 34 Journal of Functional Programming 32 Journal of the American Mathematical Society 32 Formal Methods in System Design 30 Journal of the European Mathematical Society (JEMS) 29 Rendiconti del Seminario Matematico della Università di Padova 29 Forum of Mathematics, Sigma 28 Applied Categorical Structures 28 Selecta Mathematica. New Series 27 Compositio Mathematica 27 Journal of Combinatorial Theory. Series B 27 Acta Mathematica Hungarica 27 Bulletin of the American Mathematical Society. New Series 27 Theory and Practice of Logic Programming 26 Mathematische Zeitschrift 25 The Mathematical Intelligencer 25 Semigroup Forum 25 Journal of Logic and Analysis 24 Journal of Functional Analysis 24 The Journal of Logic and Algebraic Programming 24 Journal of the Institute of Mathematics of Jussieu 22 Monatshefte für Mathematik 22 Computational Complexity 22 RAIRO. Theoretical Informatics and Applications 22 Proceedings of the Japan Academy 21 Acta Informatica 21 Mathematical Proceedings of the Cambridge Philosophical Society 21 Theory and Decision 21 Journal of Complexity 21 Formal Aspects of Computing 21 Foundations of Science 20 International Journal of Foundations of Computer Science 20 Russian Mathematics ...and 497 more Journals all top 5 Cited in 61 Fields 15,612 Mathematical logic and foundations (03-XX) 4,222 Computer science (68-XX) 1,350 Order, lattices, ordered algebraic structures (06-XX) 896 General topology (54-XX) 884 Combinatorics (05-XX) 795 Group theory and generalizations (20-XX) 544 General algebraic systems (08-XX) 538 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 537 Category theory; homological algebra (18-XX) 526 Field theory and polynomials (12-XX) 463 History and biography (01-XX) 362 Number theory (11-XX) 291 Functional analysis (46-XX) 286 General and overarching topics; collections (00-XX) 256 Measure and integration (28-XX) 206 Algebraic geometry (14-XX) 200 Associative rings and algebras (16-XX) 194 Probability theory and stochastic processes (60-XX) 193 Commutative algebra (13-XX) 191 Dynamical systems and ergodic theory (37-XX) 159 Topological groups, Lie groups (22-XX) 148 Real functions (26-XX) 143 Quantum theory (81-XX) 111 Operations research, mathematical programming (90-XX) 95 Information and communication theory, circuits (94-XX) 76 Operator theory (47-XX) 68 Geometry (51-XX) 65 Algebraic topology (55-XX) 62 Statistics (62-XX) 57 Convex and discrete geometry (52-XX) 55 Sequences, series, summability (40-XX) 53 Linear and multilinear algebra; matrix theory (15-XX) 49 Several complex variables and analytic spaces (32-XX) 38 Numerical analysis (65-XX) 33 Biology and other natural sciences (92-XX) 32 Systems theory; control (93-XX) 30 Abstract harmonic analysis (43-XX) 30 Manifolds and cell complexes (57-XX) 29 Ordinary differential equations (34-XX) 27 Functions of a complex variable (30-XX) 21 Approximations and expansions (41-XX) 19 Global analysis, analysis on manifolds (58-XX) 18 Statistical mechanics, structure of matter (82-XX) 16 Differential geometry (53-XX) 16 Relativity and gravitational theory (83-XX) 14 Nonassociative rings and algebras (17-XX) 11 Special functions (33-XX) 11 Calculus of variations and optimal control; optimization (49-XX) 10 Partial differential equations (35-XX) 10 Difference and functional equations (39-XX) 10 Harmonic analysis on Euclidean spaces (42-XX) 9 Mechanics of particles and systems (70-XX) 8 \(K\)-theory (19-XX) 7 Mathematics education (97-XX) 5 Classical thermodynamics, heat transfer (80-XX) 4 Fluid mechanics (76-XX) 3 Potential theory (31-XX) 3 Integral transforms, operational calculus (44-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year