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,937 Publications (since 1936) References Indexed: 4,467 Publications with 57,550 References. all top 5 Latest Issues 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) 63, No. 4 (1998) ...and 103 more Volumes all top 5 Authors 148 Shelah, Saharon 45 Knight, Julia F. 44 Pillay, Anand 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 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 Miller, Russell G. 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 Neeman, Itay 13 Newelski, Ludomir 13 Paris, Jeffrey Bruce 13 Simpson, Stephen G. 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 Miller, Joseph S. 12 Takeuti, Gaisi 12 van den Dries, Lou 12 Yu, Liang 11 Baumgartner, James Earl 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 11 Welch, Philip D. 10 Adamowicz, Zofia 10 Brendle, Jörg 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,498 more Authors all top 5 Fields 4,287 Mathematical logic and foundations (03-XX) 210 Field theory and polynomials (12-XX) 203 Computer science (68-XX) 191 Order, lattices, ordered algebraic structures (06-XX) 181 Group theory and generalizations (20-XX) 154 General topology (54-XX) 98 Combinatorics (05-XX) 73 Category theory; homological algebra (18-XX) 68 General algebraic systems (08-XX) 63 Number theory (11-XX) 59 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) 21 Dynamical systems and ergodic theory (37-XX) 19 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) 7 Operator theory (47-XX) 7 Quantum theory (81-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) 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 Relativity and gravitational theory (83-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3,970 Publications have been cited 36,837 times in 19,093 Documents Cited by ▼ Year ▼ On the logic of theory change: partial meet contraction and revision functions. Zbl 0578.03011Alchourrón, Carlos E.; Gärdenfors, Peter; Makinson, David 601 1985 The relative efficiency of propositional proof systems. Zbl 0408.03044Cook, Stephen A.; Reckhow, Robert A. 238 1979 Foundational aspects of theories of measurement. Zbl 0084.24603Scott, Dana; Suppes, Patrick 184 1959 Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409McKinsey, J. C. C.; Tarski, Alfred 166 1948 Definability and decision problems in arithmetic. Zbl 0034.00801Robinson, Julia 164 1949 A formulation of the simple theory of types. JFM 66.1192.06Church, A. 160 1940 Completeness in the theory of types. Zbl 0039.00801Henkin, Leon 160 1950 A filter lambda model and the completeness of type assignment. Zbl 0545.03004Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola 154 1983 A formulation of the simple theory of types. Zbl 0023.28901Church, Alonzo 151 1940 Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502Craig, William 146 1957 Constructible falsity. Zbl 0033.24304Nelson, David 146 1949 Intensional interpretations of functionals of finite type. I. Zbl 0174.01202Tait, W. W. 142 1967 A propositional calculus with denumerable matrix. Zbl 0089.24307Dummett, Michael 141 1959 On notation for ordinal numbers. Zbl 0020.33803Kleene, S. C. 141 1938 On the calculus of relations. JFM 67.0973.02Tarski, A. 137 1941 A completeness theorem in modal logic. Zbl 0091.00902Kripke, Saul A. 134 1959 Quantales and (noncommutative) linear logic. Zbl 0701.03026Yetter, David N. 124 1990 A Borel reducibility theory for classes of countable structures. Zbl 0692.03022Friedman, Harvey; Stanley, Lee 123 1989 Flag algebras. Zbl 1146.03013Razborov, Alexander A. 123 2007 Recursive unsolvability of a problem of Thue. Zbl 1263.03030Post, Emil L. 122 1947 Probabilities on finite models. Zbl 0341.02044Fagin, Ronald 115 1976 A theorem about infinite-valued sentential logic. Zbl 0043.00901McNaughton, Robert 109 1951 Borel sets and Ramsey’s theorem. Zbl 0276.04003Galvin, Fred; Prikry, Karel 107 1973 On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A. 106 2001 A new proof that analytic sets are Ramsey. Zbl 0292.02054Ellentuck, Erik 103 1974 On the interpretation of intuitionistic number theory. Zbl 0063.03260Kleene, S. C. 101 1945 The completeness of the first-order functional calculus. Zbl 0034.00602Henkin, Leon 100 1949 Logics without the contraction rule. Zbl 0583.03018Ono, Hiroakira; Komori, Yuichi 99 1985 On the calculus of relations. Zbl 0026.24401Tarski, Alfred 95 1941 Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086Pudlák, Pavel 94 1997 Systems of predicative analysis. Zbl 0134.01101Feferman, S. 94 1964 Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402Craig, William 94 1957 Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102Specker, Ernst 90 1949 Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601Friedberg, Richard M. 88 1959 On definable subsets of p-adic fields. Zbl 0362.02046Macintyre, Angus J. 87 1976 On strongly minimal sets. Zbl 0217.30402Baldwin, J. T.; Lachlan, A. H. 87 1971 Games and full completeness for multiplicative linear logic. Zbl 0822.03007Abramsky, Samson; Jagadeesan, Radha 86 1994 Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102Putnam, H. 86 1965 A note on the Entscheidungsproblem. JFM 62.1058.04Church, A. 85 1936 Constructible falsity and inexact predicates. Zbl 0575.03016Almukdad, Ahmad; Nelson, David 83 1984 The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864McKinsey, J. C. C. 82 1943 Infinite time Turing machines. Zbl 0963.03064Hamkins, Joel David; Lewis, Andy 80 2000 A natural extension of natural deduction. Zbl 0574.03045Schroeder-Heister, Peter 80 1984 One hundred and two problems in mathematical logic. Zbl 0318.02002Friedman, Harvey 79 1975 Limiting recursion. Zbl 0203.01201Gold, E. M. 77 1965 Gödel numberings of partial recursive functions. Zbl 0088.01602Rogers, Hartley jun. 77 1959 Algebraic semantics for modal logics. I, II. Zbl 0147.24805Lemmon, E. J. 76 1966 Solution of a problem of Leon Henkin. Zbl 0067.00202Löb, M. H. 76 1955 Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029Krajíček, Jan 75 1997 Constructive set theory. Zbl 0314.02045Myhill, John 74 1975 Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015Takeuti, Gaisi; Titani, Satoko 74 1984 Reflecting on incompleteness. Zbl 0746.03046Feferman, Solomon 74 1991 Saturated ideals. Zbl 0395.03031Kunen, Kenneth 73 1978 Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017Avron, Arnon 73 1991 The determinacy of Blackwell games. Zbl 0926.03071Martin, Donald A. 72 1998 Existence and feasibility in arithmetic. Zbl 0243.02037Parikh, Rohit 72 1971 Ramsey’s theorem and recursion theory. Zbl 0262.02042Jockusch, Carl G. jun. 72 1972 Semantics for relevant logics. Zbl 0245.02028Urquhart, Alasdair 69 1972 Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004Dyckhoff, Roy 68 1992 Unification in intuitionistic logic. Zbl 0930.03009Ghilardi, Silvio 68 1999 On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009Pitts, Andrew M. 67 1992 Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024Dunn, J. Michael 67 1970 On the restraining power of guards. Zbl 0958.03027Grädel, Erich 66 1999 Every analytic set is Ramsey. Zbl 0216.01304Silver, J. 65 1970 Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055Hirschfeldt, Denis R.; Shore, Richard A. 65 2007 Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402Feferman, S. 64 1963 On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013Iemhoff, Rosalie 64 2001 Elementary embedding and infinitary combinatorics. Zbl 0272.02087Kunen, Kenneth 64 1971 Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001van Lambalgen, Michiel 63 1987 Degrees coded in jumps of orderings. Zbl 0633.03038Knight, Julia F. 63 1986 Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071Brattka, Vasco; Gherardi, Guido 61 2011 Substructural fuzzy logics. Zbl 1139.03017Metcalfe, George; Montagna, Franco 61 2007 Recursive well-orderings. Zbl 0067.00303Spector, Clifford 60 1955 On sentences which are true of direct unions of algebras. Zbl 0043.24801Horn, Alfred 60 1951 On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701Kreisel, Georg 60 1952 Analytic determinacy and \(O^\#\). Zbl 0398.03039Harrington, Leo 58 1978 Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404Richardson, D. 58 1968 On the interpretation of non-finitist proofs. I. Zbl 0044.00302Kreisel, Georg 58 1951 Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042Paris, J. B.; Wilkie, A. J.; Woods, A. R. 57 1988 Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029Krajíček, Jan; Pudlák, Pavel 57 1989 Concatenation as a basis for arithmetic. Zbl 0063.06362Quine, Willard Van Orman 57 1946 Randomness, relativization and Turing degrees. Zbl 1090.03013Nies, André; Stephan, Frank; Terwijn, Sebastiaan A. 57 2005 Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra 57 2005 Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018Areces, Carlos; Blackburn, Patrick; Marx, Maarten 56 2001 A logical analysis of some value concepts. Zbl 0943.03599Fitch, Frederic B. 55 1964 Reflecting stationary sets. Zbl 0506.03014Magidor, Menachem 55 1982 Models without indiscernibles. Zbl 0391.03027Abramson, Fred G.; Harrington, Leo A. 53 1978 Cuts, consistency statements and interpretations. Zbl 0569.03024Pudlák, Pavel 53 1985 Kernel contraction. Zbl 0810.03017Hansson, Sven Ove 53 1994 Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053Buss, Samuel R. 52 1987 Toward useful type-free theories. I. Zbl 0574.03043Feferman, Solomon 52 1984 A constructive analysis of RM. Zbl 0639.03017Avron, Arnon 51 1987 Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904Horn, A. 51 1969 Resolution in type theory. Zbl 0231.02038Andrews, Peter B. 51 1971 Fibered categories and the foundations of naive category theory. Zbl 0564.18001Bénabou, Jean 50 1985 The undecidability of entailment and relevant implication. Zbl 0581.03011Urquhart, Alasdair 50 1984 Degrees of structures. Zbl 0512.03024Richter, Linda Jean 50 1981 Recursive isomorphism types of recursive Boolean algebras. Zbl 0543.03031Remmel, J. B. 48 1981 Decidability and undecidability of extensions of second (first) order theory of (generalized) successor. Zbl 0144.24501Elgot, Calvin C.; Rabin, Michael O. 48 1966 Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044Abrusci, V. Michele 48 1991 Locally o-minimal structures with tame topological properties. Zbl 1518.03006Fujita, Masato 2 2023 Finitist axiomatic truth. Zbl 07657274Kentaro, Sato; Walker, Jan 1 2023 Some stable non-elementary classes of modules. Zbl 07657276Mazari-Armida, Marcos 1 2023 The weak Vopěnka principle for definable classes of structures. Zbl 07657278Bagaria, Joan; Wilson, Trevor M. 1 2023 More on the preservation of large cardinals under class forcing. Zbl 07657283Bagaria, Joan; Poveda, Alejandro 1 2023 The poset of all logics. II: Leibniz classes and hierarchy. Zbl 07657284Jansana, R.; Moraschini, T. 1 2023 Metrics for formal structures, with an application to Kripke models and their dynamics. Zbl 07691748Klein, Dominik; Rendsvig, Rasmus K. 1 2023 How strong is Ramsey’s theorem if infinity can be weak? Zbl 07691754Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.; Yokoyama, Keita 1 2023 Trees and stationary reflection at double successors of regular cardinals. Zbl 07691760Gilton, Thomas; Levine, Maxwell; Stejskalová, Šárka 1 2023 Cellular categories and stable independence. Zbl 1514.18006Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien 1 2023 Knaster and friends. III: Subadditive colorings. Zbl 07735952Lambie-Hanson, Chris; Rinot, Assaf 1 2023 Addendum to: “The automorphism group of the Fraïssé limit of finite Heyting algebras”. Zbl 07735955Yamamoto, Kentarô 1 2023 A Q-wadge hierarchy in quasi-Polish spaces. Zbl 07541920Selivanov, Victor 4 2022 A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. Zbl 1510.03023Nemoto, Takako; Kentaro, Sato 3 2022 Applications of pcf theory to the study of ideals on \(P_{\kappa}(\lambda)\). Zbl 07576894Matet, Pierre 3 2022 On non-compact \(p\)-adic definable groups. Zbl 1512.03057Johnson, Will; Yao, Ningyuan 2 2022 Forcing constructions and countable Borel equivalence relations. Zbl 07576890Gao, Su; Jackson, Steve; Krohne, Edward; Seward, Brandon 2 2022 Mutual interpretability of weak essentially undecidable theories. Zbl 07620694Damnjanovic, Zlatan 2 2022 Tree forcing and definable maximal Independent sets in hypergraphs. Zbl 07620696Schilhan, Jonathan 2 2022 On the uncountability of \(\mathbb{R}\). Zbl 07620698Normann, Dag; Sanders, Sam 2 2022 On equational completeness Theorems. Zbl 07620699Moraschini, Tommaso 2 2022 Higher independence. Zbl 07620701Fischer, Vera; Montoya, Diana Carolina 2 2022 Relationships between computability-theoretic properties of problems. Zbl 1507.03067Downey, Rod; Greenberg, Noam; Harrison-Trainor, Matthew; Patey, Ludovic; Turetsky, Dan 1 2022 Ramsey-like theorems and moduli of computation. Zbl 1505.03028Patey, Ludovic 1 2022 Combinatorics of ultrafilters on Cohen and random algebras. Zbl 1510.03015Brendle, Jörg; Parente, Francesco 1 2022 Density-like and generalized density ideals. Zbl 07506777Kwela, Adam; Leonetti, Paolo 1 2022 HTP-complete rings of rational numbers. Zbl 1501.12003Miller, Russell 1 2022 Notes on the DPRM property for listable structures. Zbl 1500.11093Pasten, Hector 1 2022 The consistency strength of the perfect set property for universally Baire sets of reals. Zbl 1504.03028Schindler, Ralf; Wilson, Trevor M. 1 2022 Closed and unbounded classes and the Härtig quantifier model. Zbl 1510.03020Welch, Philip D. 1 2022 Ways of destruction. Zbl 07576893Farkas, Barnabás; Zdomskyy, Lyubomyr 1 2022 Initial segments of the degrees of ceers. Zbl 1507.03096Andrews, Uri; Sorbi, Andrea 1 2022 First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth. Zbl 1518.03016Egrot, Rob; Hirsch, Robin 1 2022 Embeddings into outer models. Zbl 07620691Eskew, Monroe; Friedman, Sy-David 1 2022 Projective clone homomorphisms. Zbl 07370805Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 17 2021 Reflection ranks and ordinal analysis. Zbl 1511.03018Pakhomov, Fedor; Walsh, James 6 2021 The reverse mathematics of theorems of Jordan and Lebesgue. Zbl 07457794Nies, André; Triplett, Marcus A.; Yokoyama, Keita 5 2021 The characterization of Weihrauch reducibility in systems containing \(E-PA^{\omega } + QF-AC^{0,0}\). Zbl 07370811Uftring, Patrick 4 2021 The poset of all logics. I: Interpretations and lattice structure. Zbl 1509.03177Jansana, R.; Moraschini, T. 4 2021 Separating diagonal stationary reflection principles. Zbl 07370820Fuchs, Gunter; Lambie-Hanson, Chris 3 2021 Associativity of the Morley product of invariant measures in NIP theories. Zbl 1509.03104Conant, Gabriel; Gannon, Kyle 3 2021 Inquisitive bisimulation. Zbl 07370807Ciardelli, Ivano; Otto, Martin 2 2021 Classes of barren extensions. Zbl 1487.03056Dobrinen, Natasha; Hathaway, Dan 2 2021 Aronszajn tree preservation and bounded forcing axioms. Zbl 07370821Fuchs, Gunter 2 2021 HOD in inner models with Woodin cardinals. Zbl 1505.03099Müller, Sandra; Sargsyan, Grigor 2 2021 Prenex normal form theorems in semi-classical arithmetic. Zbl 1509.03160Fujiwara, Makoto; Kurahashi, Taishi 2 2021 Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation. Zbl 1477.18011Maruyama, Yoshihiro 2 2021 Forcing axioms, approachability, and stationary set reflection. Zbl 07415213Cox, Sean D. 2 2021 Forking, imaginaries, and other features of ACFG. Zbl 07415220D’Elbée, Christian 2 2021 Finding descending sequences through ill-founded linear orders. Zbl 07415227Goh, Jun Le; Pauly, Arno; Valenti, Manlio 2 2021 Generic coding with help and amalgamation failure. Zbl 07457783Friedman, Sy-David; Hathaway, Dan 2 2021 A comparison of various analytic choice principles. Zbl 07457786D’Auriac, Paul-Elliot Anglès; Kihara, Takayuki 2 2021 Shortening Clopen games. Zbl 07457789Aguilera, Juan P. 2 2021 The modal logic of \(\sigma\)-centered forcing and related forcing classes. Zbl 07370806Ya’Ar, Ur 1 2021 The modal logics of Kripke-Feferman truth. Zbl 1491.03015Nicolai, Carlo; Stern, Johannes 1 2021 NS saturated and \({\Delta }_1\)-definable. Zbl 07370815Hoffelner, Stefan 1 2021 Characterizing existence of a measurable cardinal via modal logic. Zbl 07370819Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan 1 2021 The open and clopen Ramsey theorems in the Weihrauch lattice. Zbl 07370822Marcone, Alberto; Valenti, Manlio 1 2021 Cores over Ramsey structures. Zbl 07370823Mottet, Antoine; Pinsker, Michael 1 2021 More ZFC inequalities between cardinal invariants. Zbl 1509.03147Fischer, Vera; Soukup, Dániel T. 1 2021 Vaught’s conjecture for almost chainable theories. Zbl 1509.03101Kurilić, Miloš S. 1 2021 Münchhausen provability. Zbl 1509.03162Joosten, Joost J. 1 2021 Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. Zbl 1509.03116Kellerman, Ruaan; Goranko, Valentin 1 2021 Surreal ordered exponential fields. Zbl 1495.03057Ehrlich, Philip; Kaplan, Elliot 1 2021 Countably perfectly meager sets. Zbl 1509.03146Pol, Roman; Zakrzewski, Piotr 1 2021 Weak canonical bases in \(\operatorname{NSOP}_1\) theories. Zbl 07442027Kim, Byunghan 1 2021 A predicative variant of Hyland’s effective topos. Zbl 07415210Maietti, Maria Emilia; Maschio, Samuele 1 2021 Stably measurable cardinals. Zbl 07415211Welch, Philip D. 1 2021 Muchnik degrees and cardinal characteristics. Zbl 1485.03160Monin, Benoit; Nies, André 1 2021 Bi-interpretation in weak set theories. Zbl 07415218Roque Freire, Alfredo; Hamkins, Joel David 1 2021 Bounded-analytic sequent calculi and embeddings for hypersequent logics. Zbl 07415219Ciabattoni, Agata; Lang, Timo; Ramanayake, Revantha 1 2021 Well ordering principles and \(\Pi^1_4\)-statements: a pilot study. Zbl 1486.03022Freund, Anton 1 2021 Maltsev conditions for general congruence meet-semidistributive algebras. Zbl 1487.08002Olšák, Miroslav 1 2021 Strongly minimal Steiner systems. I: Existence. Zbl 07457787Baldwin, John; Paolini, Gianluca 1 2021 On the automorphism group of the universal homogeneous meet-tree. Zbl 07457788Kaplan, Itay; Rzepecki, Tomasz; Siniora, Daoud 1 2021 The order of reflection. Zbl 07457790Aguilera, Juan P. 1 2021 Initial self-embeddings of models of set theory. Zbl 07457791Enayat, Ali; Mckenzie, Zachiri 1 2021 Scott complexity of countable structures. Zbl 1485.03168Alvir, Rachael; Greenberg, Noam; Harrison-Trainor, Matthew; Turetsky, Dan 1 2021 Coherent extension of partial automorphisms, free amalgamation and automorphism groups. Zbl 1477.03124Siniora, Daoud; Solecki, Sławomir 13 2020 The exact strength of the class forcing theorem. Zbl 1485.03216Gitman, Victoria; Hamkins, Joel David; Holy, Peter; Schlicht, Philipp; Williams, Kameryn J. 7 2020 Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice. Zbl 1473.03026Kihara, Takayuki; Marcone, Alberto; Pauly, Arno 7 2020 Computability of Polish spaces up to homeomorphism. Zbl 1473.03025Harrison-Trainor, Matthew; Melnikov, Alexander; Meng Ng, Keng 7 2020 On isomorphism classes of computably enumerable equivalence relations. Zbl 1452.03092Andrews, Uri; Badaev, Serikzhan A. 6 2020 Dimension inequality for a definably complete uniformly locally o-minimal structure of the second kind. Zbl 1485.03134Fujita, Masato 6 2020 A note on derivability conditions. Zbl 1473.03037Kurahashi, Taishi 5 2020 Choice-free Stone duality. Zbl 1444.03172Bezhanishvili, Nick; Holliday, Wesley H. 5 2020 Restricted mad families. Zbl 1477.03195Guzmán, Osvaldo; Hrušák, Michael; Téllez, Osvaldo 5 2020 Factorials of infinite cardinals in ZF. II: Consistency results. Zbl 1477.03217Shen, Guozhen; Yuan, Jiachen 5 2020 Punctual categoricity and universality. Zbl 1485.03174Downey, Rod; Greenberg, Noam; Melnikov, Alexander; Meng Ng, Keng; Turetsky, Daniel 5 2020 Computability, orders, and solvable groups. Zbl 1485.03172Darbinyan, Arman 5 2020 Deciding some Maltsev conditions in finite idempotent algebras. Zbl 1497.08003Kazda, Alexandr; Valeriote, Matt 5 2020 On the complexity of classifying Lebesgue spaces. Zbl 1482.03008Brown, Tyler A.; Mcnicholl, Timothy H.; Melnikov, Alexander G. 4 2020 The Wadge order on the Scott domain is not a well-quasi-order. Zbl 1477.03186Duparc, Jacques; Vuilleumier, Louis 4 2020 The consistency strength of long projective determinacy. Zbl 1477.03222Aguilera, Juan P.; Müller, Sandra 4 2020 Indestructibility of the tree property. Zbl 1476.03072Honzik, Radek; Stejskalová, Šárka 4 2020 Weihrauch goes Brouwerian. Zbl 1485.03156Brattka, Vasco; Gherardi, Guido 4 2020 How strong are single fixed points of normal functions? Zbl 1462.03008Freund, Anton 4 2020 Factorials of infinite cardinals in ZF. I: ZF results. Zbl 1476.03069Shen, Guozhen; Yuan, Jiachen 3 2020 Truth and feasible reducibility. Zbl 1444.03164Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz 3 2020 Predicative collapsing principles. Zbl 1479.03007Freund, Anton 3 2020 ...and 1536 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 10,123 Authors 337 Shelah, Saharon 126 Downey, Rodney Graham 95 Pillay, Anand 93 Friedman, Sy-David 84 Stephan, Frank 71 Jain, Sanjay 69 Apter, Arthur W. 66 Bazhenov, Nikolaĭ Alekseevich 63 Shore, Richard Arnold 61 Nies, André Otfrid 51 Knight, Julia F. 49 Greenberg, Noam 49 Rathjen, Michael 48 Montalbán, Antonio 47 Hamkins, Joel David 47 Melnikov, Alexander G. 46 Gitik, Moti 45 Rybakov, Vladimir Vladimirovich 45 Selivanov, Viktor L’vovich 44 Lempp, Steffen 44 Slaman, Theodore A. 44 Sorbi, Andrea 43 Buss, Samuel R. 43 Maksimova, Larisa L’vovna 42 Hansson, Sven Ove 42 Jockusch, Carl G. jun. 42 Visser, Albert 41 Baldwin, John T. 41 Kamide, Norihiro 40 Kanovei, Vladimir G. 40 Miller, Joseph S. 40 Ng, KengMeng 40 Todorcevic, Stevo B. 39 Barmpalias, George 39 Rinot, Assaf 39 van Benthem, Johan F. A. K. 38 Miller, Russell G. 37 Avron, Arnon 37 Ghilardi, Silvio 37 Magidor, Menachem 36 Gabbay, Dov M. 36 Harizanov, Valentina S. 36 Kalimullin, Iskander Shagitovich 36 Kohlenbach, Ulrich Wilhelm 35 Bezhanishvili, Nick 34 Beyersdorff, Olaf 34 Hrušák, Michael 34 Hrushovski, Ehud 34 Mundici, Daniele 33 Case, John 33 Cholak, Peter A. 33 Remmel, Jeffrey Brian 33 Schmerl, James H. 32 Bezhanishvili, Guram 32 Coquand, Thierry 32 Cummings, James 32 Laskowski, Michael Chris 32 Montagna, Franco 32 Schindler, Ralf-Dieter 32 Vasey, Sebastien 32 Wagner, Frank Olaf 31 Cenzer, Douglas 31 Hyttinen, Tapani 31 Kulpeshov, Beibut Shaiykovich 31 Shlapentokh, Alexandra 30 Andrews, Uri 30 Bridges, Douglas Suth 30 Hodkinson, Ian Martin 30 Krajíček, Jan 30 Matet, Pierre 30 Schlicht, Philipp 30 Weiermann, Andreas 29 Nešetřil, Jaroslav 29 Sayed Ahmed, Tarek 29 Tachtsis, Eleftherios 29 Wansing, Heinrich Theodor 29 Wu, Guohua 28 Baaz, Matthias 28 Džamonja, Mirna 28 Feferman, Solomon 28 Goncharov, Sergeĭ Savost’yanovich 28 Keisler, Howard Jerome 28 Lewis-Pye, Andrew E. M. 28 Sanders, Sam 27 Bienvenu, Laurent 27 Cherlin, Gregory L. 27 Cluckers, Raf 27 Enayat, Ali 27 Fishburn, Peter Clingerman 27 Friedman, Harvey M. 27 Humberstone, Lloyd 27 Peterzil, Ya’acov 27 Soskova, Mariya Ivanova 27 Wolter, Frank 27 Yu, Liang 26 Beklemishev, Lev D. 26 Ben-Yaacov, Itaï 26 Brendle, Jörg 26 Garti, Shimon 26 Goldblatt, Robert Ian ...and 10,023 more Authors all top 5 Cited in 586 Journals 1,729 Annals of Pure and Applied Logic 1,688 The Journal of Symbolic Logic 778 Archive for Mathematical Logic 767 Theoretical Computer Science 760 Studia Logica 489 Journal of Philosophical Logic 471 Mathematical Logic Quarterly (MLQ) 413 Transactions of the American Mathematical Society 396 Israel Journal of Mathematics 389 Proceedings of the American Mathematical Society 351 Notre Dame Journal of Formal Logic 317 Synthese 311 The Bulletin of Symbolic Logic 261 Algebra Universalis 261 The Review of Symbolic Logic 248 Information and Computation 243 Algebra and Logic 228 Topology and its Applications 194 Journal of Mathematical Logic 182 Journal of Algebra 177 Artificial Intelligence 166 Journal of Applied Non-Classical Logics 157 Advances in Mathematics 156 Fuzzy Sets and Systems 146 Journal of Computer and System Sciences 145 Journal of Pure and Applied Algebra 143 Archiv für Mathematische Logik und Grundlagenforschung 141 History and Philosophy of Logic 138 MSCS. Mathematical Structures in Computer Science 126 Logical Methods in Computer Science 123 Siberian Mathematical Journal 123 Journal of Automated Reasoning 122 Journal of Logic, Language and Information 117 Logica Universalis 109 Journal of Applied Logic 102 Fundamenta Mathematicae 81 Information Processing Letters 81 International Journal of Approximate Reasoning 73 Annals of Mathematics and Artificial Intelligence 71 Discrete Mathematics 69 Mathematical Notes 68 Communications in Algebra 68 Erkenntnis 67 Journal of Mathematical Psychology 67 Theory of Computing Systems 66 Order 66 Soft Computing 63 Logic and Logical Philosophy 58 Journal of Symbolic Computation 53 International Journal of Theoretical Physics 53 Journal of Mathematical Sciences (New York) 52 ACM Transactions on Computational Logic 51 Information Sciences 51 International Journal of Algebra and Computation 46 Journal of Logical and Algebraic Methods in Programming 42 Journal of Combinatorial Theory. Series A 41 Mathematische Annalen 40 Journal of Soviet Mathematics 40 European Journal of Combinatorics 40 Computability 37 Mathematical Social Sciences 37 Indagationes Mathematicae. New Series 36 Discrete Applied Mathematics 36 Bulletin of the American Mathematical Society 35 Lobachevskii Journal of Mathematics 35 Sibirskie Èlektronnye Matematicheskie Izvestiya 34 Journal of Mathematical Analysis and Applications 32 Journal of the American Mathematical Society 31 Formal Methods in System Design 31 Journal of Functional Programming 29 Bulletin of the Section of Logic 28 Rendiconti del Seminario Matematico della Università di Padova 28 Applied Categorical Structures 27 Compositio Mathematica 27 Acta Mathematica Hungarica 27 Bulletin of the American Mathematical Society. New Series 27 Selecta Mathematica. New Series 27 Journal of the European Mathematical Society (JEMS) 26 Journal of Combinatorial Theory. Series B 26 Mathematische Zeitschrift 25 Semigroup Forum 25 Journal of Logic and Analysis 25 Forum of Mathematics, Sigma 24 The Mathematical Intelligencer 24 The Journal of Logic and Algebraic Programming 24 Journal of the Institute of Mathematics of Jussieu 22 Journal of Functional Analysis 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 21 Theory and Practice of Logic Programming 19 Monatshefte für Mathematik 19 Nagoya Mathematical Journal 19 International Journal of Foundations of Computer Science ...and 486 more Journals all top 5 Cited in 61 Fields 15,174 Mathematical logic and foundations (03-XX) 4,105 Computer science (68-XX) 1,317 Order, lattices, ordered algebraic structures (06-XX) 867 General topology (54-XX) 857 Combinatorics (05-XX) 776 Group theory and generalizations (20-XX) 539 General algebraic systems (08-XX) 529 Category theory; homological algebra (18-XX) 526 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 520 Field theory and polynomials (12-XX) 458 History and biography (01-XX) 346 Number theory (11-XX) 279 Functional analysis (46-XX) 267 General and overarching topics; collections (00-XX) 249 Measure and integration (28-XX) 200 Algebraic geometry (14-XX) 197 Associative rings and algebras (16-XX) 190 Probability theory and stochastic processes (60-XX) 186 Commutative algebra (13-XX) 182 Dynamical systems and ergodic theory (37-XX) 153 Topological groups, Lie groups (22-XX) 142 Real functions (26-XX) 134 Quantum theory (81-XX) 105 Operations research, mathematical programming (90-XX) 93 Information and communication theory, circuits (94-XX) 73 Operator theory (47-XX) 67 Geometry (51-XX) 63 Algebraic topology (55-XX) 60 Statistics (62-XX) 55 Convex and discrete geometry (52-XX) 52 Sequences, series, summability (40-XX) 51 Linear and multilinear algebra; matrix theory (15-XX) 48 Several complex variables and analytic spaces (32-XX) 38 Numerical analysis (65-XX) 33 Biology and other natural sciences (92-XX) 30 Abstract harmonic analysis (43-XX) 30 Manifolds and cell complexes (57-XX) 30 Systems theory; control (93-XX) 27 Functions of a complex variable (30-XX) 27 Ordinary differential equations (34-XX) 22 Approximations and expansions (41-XX) 18 Global analysis, analysis on manifolds (58-XX) 18 Statistical mechanics, structure of matter (82-XX) 15 Differential geometry (53-XX) 14 Relativity and gravitational theory (83-XX) 13 Nonassociative rings and algebras (17-XX) 11 Special functions (33-XX) 11 Calculus of variations and optimal control; optimization (49-XX) 10 Difference and functional equations (39-XX) 10 Harmonic analysis on Euclidean spaces (42-XX) 9 Partial differential equations (35-XX) 9 Mechanics of particles and systems (70-XX) 7 \(K\)-theory (19-XX) 6 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