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: Indexed cover-to-cover Documents Indexed: 4,905 Publications (since 1936) References Indexed: 4,435 Publications with 56,765 References. all top 5 Latest Issues 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) 63, No. 3 (1998) 63, No. 2 (1998) ...and 101 more Volumes all top 5 Authors 148 Shelah, Saharon 44 Knight, Julia F. 44 Pillay, Anand 42 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 Wagner, Frank Olaf 24 Magidor, Menachem 24 Shore, Richard Arnold 23 Baldwin, John T. 23 Keisler, Howard Jerome 23 Rosser, John Barkley 21 Montalbán, Antonio 20 Apter, Arthur W. 20 Gurevich, Yuri 20 Lempp, Steffen 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 15 Delon, Françoise 15 Gitik, Moti 15 Greenberg, Noam 15 Laskowski, Michael Chris 15 Nies, André Otfrid 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 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 Yu, Liang 11 Baumgartner, James Earl 11 Csima, Barbara F. 11 Curry, Haskell Brooks 11 Goldfarb, Warren D. 11 Hirschfeldt, Denis Roman 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 Andrews, Uri 10 Brendle, Jörg 10 Buss, Samuel R. 10 Church, Alonzo 10 Fuchs, Gunter 10 Goodman, Nicolas D. 10 Grossberg, Rami P. 10 Harizanov, Valentina S. 10 Hart, Bradd T. 10 Henkin, Leon Albert 10 Hodkinson, Ian Martin 10 Kim, Byunghan 10 Kreisel, Georg 10 Kunen, Kenneth 10 Larson, Paul B. ...and 2,479 more Authors all top 5 Fields 4,247 Mathematical logic and foundations (03-XX) 208 Field theory and polynomials (12-XX) 203 Computer science (68-XX) 187 Order, lattices, ordered algebraic structures (06-XX) 177 Group theory and generalizations (20-XX) 153 General topology (54-XX) 93 Combinatorics (05-XX) 71 Category theory; homological algebra (18-XX) 67 General algebraic systems (08-XX) 63 Number theory (11-XX) 59 Measure and integration (28-XX) 48 Associative rings and algebras (16-XX) 42 Functional analysis (46-XX) 36 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 32 Commutative algebra (13-XX) 25 History and biography (01-XX) 25 Real functions (26-XX) 22 Topological groups, Lie groups (22-XX) 20 Algebraic geometry (14-XX) 19 Dynamical systems and ergodic theory (37-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 Geometry (51-XX) 7 Abstract harmonic analysis (43-XX) 7 Operator theory (47-XX) 7 Quantum theory (81-XX) 6 Several complex variables and analytic spaces (32-XX) 5 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,882 Publications have been cited 34,542 times in 17,918 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 546 1985 The relative efficiency of propositional proof systems. Zbl 0408.03044Cook, Stephen A.; Reckhow, Robert A. 222 1979 Foundational aspects of theories of measurement. Zbl 0084.24603Scott, Dana; Suppes, Patrick 181 1959 Definability and decision problems in arithmetic. Zbl 0034.00801Robinson, Julia 161 1949 Completeness in the theory of types. Zbl 0039.00801Henkin, Leon 158 1950 Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409McKinsey, J. C. C.; Tarski, Alfred 157 1948 A formulation of the simple theory of types. JFM 66.1192.06Church, A. 150 1940 A formulation of the simple theory of types. Zbl 0023.28901Church, Alonzo 148 1940 A filter lambda model and the completeness of type assignment. Zbl 0545.03004Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola 144 1983 Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502Craig, William 141 1957 Constructible falsity. Zbl 0033.24304Nelson, David 134 1949 A propositional calculus with denumerable matrix. Zbl 0089.24307Dummett, Michael 134 1959 On notation for ordinal numbers. Zbl 0020.33803Kleene, S. C. 132 1938 A completeness theorem in modal logic. Zbl 0091.00902Kripke, Saul A. 131 1959 Intensional interpretations of functionals of finite type. I. Zbl 0174.01202Tait, W. W. 130 1967 On the calculus of relations. JFM 67.0973.02Tarski, A. 129 1941 A Borel reducibility theory for classes of countable structures. Zbl 0692.03022Friedman, Harvey; Stanley, Lee 117 1989 Quantales and (noncommutative) linear logic. Zbl 0701.03026Yetter, David N. 117 1990 Recursive unsolvability of a problem of Thue. Zbl 1263.03030Post, Emil L. 114 1947 Probabilities on finite models. Zbl 0341.02044Fagin, Ronald 107 1976 Flag algebras. Zbl 1146.03013Razborov, Alexander A. 107 2007 A theorem about infinite-valued sentential logic. Zbl 0043.00901McNaughton, Robert 105 1951 On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A. 101 2001 Borel sets and Ramsey’s theorem. Zbl 0276.04003Galvin, Fred; Prikry, Karel 100 1973 A new proof that analytic sets are Ramsey. Zbl 0292.02054Ellentuck, Erik 98 1974 The completeness of the first-order functional calculus. Zbl 0034.00602Henkin, Leon 97 1949 On the interpretation of intuitionistic number theory. Zbl 0063.03260Kleene, S. C. 96 1945 Logics without the contraction rule. Zbl 0583.03018Ono, Hiroakira; Komori, Yuichi 95 1985 Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402Craig, William 92 1957 Systems of predicative analysis. Zbl 0134.01101Feferman, S. 90 1964 Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086Pudlák, Pavel 88 1997 Games and full completeness for multiplicative linear logic. Zbl 0822.03007Abramsky, Samson; Jagadeesan, Radha 85 1994 A note on the Entscheidungsproblem. JFM 62.1058.04Church, A. 85 1936 On the calculus of relations. Zbl 0026.24401Tarski, Alfred 85 1941 Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601Friedberg, Richard M. 85 1959 Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102Putnam, H. 84 1965 On strongly minimal sets. Zbl 0217.30402Baldwin, J. T.; Lachlan, A. H. 83 1971 Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102Specker, Ernst 83 1949 On definable subsets of p-adic fields. Zbl 0362.02046Macintyre, Angus J. 80 1976 The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864McKinsey, J. C. C. 78 1943 One hundred and two problems in mathematical logic. Zbl 0318.02002Friedman, Harvey 76 1975 Constructible falsity and inexact predicates. Zbl 0575.03016Almukdad, Ahmad; Nelson, David 76 1984 Infinite time Turing machines. Zbl 0963.03064Hamkins, Joel David; Lewis, Andy 76 2000 A natural extension of natural deduction. Zbl 0574.03045Schroeder-Heister, Peter 74 1984 Algebraic semantics for modal logics. I, II. Zbl 0147.24805Lemmon, E. J. 74 1966 Limiting recursion. Zbl 0203.01201Gold, E. M. 74 1965 Gödel numberings of partial recursive functions. Zbl 0088.01602Rogers, Hartley jun. 73 1959 Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015Takeuti, Gaisi; Titani, Satoko 72 1984 Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029Krajíček, Jan 70 1997 Reflecting on incompleteness. Zbl 0746.03046Feferman, Solomon 70 1991 Existence and feasibility in arithmetic. Zbl 0243.02037Parikh, Rohit 70 1971 Solution of a problem of Leon Henkin. Zbl 0067.00202Löb, M. H. 70 1955 Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017Avron, Arnon 69 1991 Ramsey’s theorem and recursion theory. Zbl 0262.02042Jockusch, Carl G. jun. 69 1972 Constructive set theory. Zbl 0314.02045Myhill, John 68 1975 Saturated ideals. Zbl 0395.03031Kunen, Kenneth 67 1978 Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004Dyckhoff, Roy 66 1992 The determinacy of Blackwell games. Zbl 0926.03071Martin, Donald A. 65 1998 Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055Hirschfeldt, Denis R.; Shore, Richard A. 64 2007 Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024Dunn, J. Michael 64 1970 Unification in intuitionistic logic. Zbl 0930.03009Ghilardi, Silvio 63 1999 On the restraining power of guards. Zbl 0958.03027Grädel, Erich 63 1999 Every analytic set is Ramsey. Zbl 0216.01304Silver, J. 63 1970 Semantics for relevant logics. Zbl 0245.02028Urquhart, Alasdair 63 1972 On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009Pitts, Andrew M. 62 1992 Substructural fuzzy logics. Zbl 1139.03017Metcalfe, George; Montagna, Franco 60 2007 Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402Feferman, S. 60 1963 Degrees coded in jumps of orderings. Zbl 0633.03038Knight, Julia F. 59 1986 Recursive well-orderings. Zbl 0067.00303Spector, Clifford 59 1955 On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013Iemhoff, Rosalie 58 2001 Elementary embedding and infinitary combinatorics. Zbl 0272.02087Kunen, Kenneth 58 1971 Analytic determinacy and \(O^\#\). Zbl 0398.03039Harrington, Leo 57 1978 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 Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071Brattka, Vasco; Gherardi, Guido 56 2011 On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701Kreisel, Georg 56 1952 Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001van Lambalgen, Michiel 55 1987 On sentences which are true of direct unions of algebras. Zbl 0043.24801Horn, Alfred 55 1951 Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018Areces, Carlos; Blackburn, Patrick; Marx, Maarten 54 2001 Concatenation as a basis for arithmetic. Zbl 0063.06362Quine, Willard Van Orman 54 1946 On the interpretation of non-finitist proofs. I. Zbl 0044.00302Kreisel, Georg 53 1951 A logical analysis of some value concepts. Zbl 0943.03599Fitch, Frederic B. 52 1964 Randomness, relativization and Turing degrees. Zbl 1090.03013Nies, André; Stephan, Frank; Terwijn, Sebastiaan A. 52 2005 Models without indiscernibles. Zbl 0391.03027Abramson, Fred G.; Harrington, Leo A. 51 1978 Cuts, consistency statements and interpretations. Zbl 0569.03024Pudlák, Pavel 51 1985 Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra 51 2005 Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029Krajíček, Jan; Pudlák, Pavel 51 1989 A constructive analysis of RM. Zbl 0639.03017Avron, Arnon 51 1987 Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053Buss, Samuel R. 50 1987 Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404Richardson, D. 50 1968 Resolution in type theory. Zbl 0231.02038Andrews, Peter B. 50 1971 Reflecting stationary sets. Zbl 0506.03014Magidor, Menachem 49 1982 Kernel contraction. Zbl 0810.03017Hansson, Sven Ove 49 1994 Toward useful type-free theories. I. Zbl 0574.03043Feferman, Solomon 48 1984 Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044Abrusci, V. Michele 48 1991 The undecidability of entailment and relevant implication. Zbl 0581.03011Urquhart, Alasdair 48 1984 Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904Horn, A. 48 1969 Degrees of structures. Zbl 0512.03024Richter, Linda Jean 46 1981 The modal logic of inequality. Zbl 0788.03019de Rijke, Maarten 46 1992 Recursive isomorphism types of recursive Boolean algebras. Zbl 0543.03031Remmel, J. B. 45 1981 Computational randomness and lowness. Zbl 0990.03033Terwijn, Sebastiaan A.; Zambella, Domenico 45 2001 The weak Vopěnka principle for definable classes of structures. Zbl 07657278Bagaria, Joan; Wilson, Trevor M. 1 2023 A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. Zbl 07541909Nemoto, Takako; Kentaro, Sato 2 2022 On equational completeness Theorems. Zbl 07620699Moraschini, Tommaso 2 2022 Ramsey-like theorems and moduli of computation. Zbl 07506771Patey, Ludovic 1 2022 Combinatorics of ultrafilters on Cohen and random algebras. Zbl 07506772Brendle, Jörg; Parente, Francesco 1 2022 On non-compact \(p\)-adic definable groups. Zbl 07506775Johnson, Will; Yao, Ningyuan 1 2022 Density-like and generalized density ideals. Zbl 07506777Kwela, Adam; Leonetti, Paolo 1 2022 A Q-wadge hierarchy in quasi-Polish spaces. Zbl 07541920Selivanov, Victor 1 2022 Projective clone homomorphisms. Zbl 07370805Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 7 2021 Reflection ranks and ordinal analysis. Zbl 07457782Pakhomov, Fedor; Walsh, James 3 2021 The characterization of Weihrauch reducibility in systems containing \(E-PA^{\omega } + QF-AC^{0,0}\). Zbl 07370811Uftring, Patrick 3 2021 The poset of all logics. I: Interpretations and lattice structure. Zbl 07442015Jansana, R.; Moraschini, T. 2 2021 The reverse mathematics of theorems of Jordan and Lebesgue. Zbl 07457794Nies, André; Triplett, Marcus A.; Yokoyama, Keita 2 2021 Inquisitive bisimulation. Zbl 07370807Ciardelli, Ivano; Otto, Martin 2 2021 Classes of barren extensions. Zbl 1487.03056Dobrinen, Natasha; Hathaway, Dan 2 2021 Forcing axioms, approachability, and stationary set reflection. Zbl 07415213Cox, Sean D. 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 Forking, imaginaries, and other features of ACFG. Zbl 07415220D’Elbée, Christian 1 2021 Well ordering principles and \(\Pi^1_4\)-statements: a pilot study. Zbl 1486.03022Freund, Anton 1 2021 Finding descending sequences through ill-founded linear orders. Zbl 07415227Goh, Jun Le; Pauly, Arno; Valenti, Manlio 1 2021 Vaught’s conjecture for almost chainable theories. Zbl 07442017Kurilić, Miloš S. 1 2021 Münchhausen Provability. Zbl 07442018Joosten, Joost J. 1 2021 Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. Zbl 07442019Kellerman, Ruaan; Goranko, Valentin 1 2021 Surreal ordered exponential fields. Zbl 1495.03057Ehrlich, Philip; Kaplan, Elliot 1 2021 Prenex normal form theorems in semi-classical arithmetic. Zbl 07442022Fujiwara, Makoto; Kurahashi, Taishi 1 2021 Associativity of the Morley product of invariant measures in NIP theories. Zbl 07442029Conant, Gabriel; Gannon, Kyle 1 2021 Generic coding with help and amalgamation failure. Zbl 07457783Friedman, Sy-David; Hathaway, Dan 1 2021 A comparison of various analytic choice principles. Zbl 07457786D’Auriac, Paul-Elliot Anglès; Kihara, Takayuki 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 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 Separating diagonal stationary reflection principles. Zbl 07370820Fuchs, Gunter; Lambie-Hanson, Chris 1 2021 Aronszajn tree preservation and bounded forcing axioms. Zbl 07370821Fuchs, Gunter 1 2021 Cores over Ramsey structures. Zbl 07370823Mottet, Antoine; Pinsker, Michael 1 2021 Coherent extension of partial automorphisms, free amalgamation and automorphism groups. Zbl 1477.03124Siniora, Daoud; Solecki, Sławomir 9 2020 Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice. Zbl 1473.03026Kihara, Takayuki; Marcone, Alberto; Pauly, Arno 5 2020 On isomorphism classes of computably enumerable equivalence relations. Zbl 1452.03092Andrews, Uri; Badaev, Serikzhan A. 5 2020 Deciding some Maltsev conditions in finite idempotent algebras. Zbl 1497.08003Kazda, Alexandr; Valeriote, Matt 4 2020 A note on derivability conditions. Zbl 1473.03037Kurahashi, Taishi 4 2020 Punctual categoricity and universality. Zbl 1485.03174Downey, Rod; Greenberg, Noam; Melnikov, Alexander; Meng Ng, Keng; Turetsky, Daniel 4 2020 How strong are single fixed points of normal functions? Zbl 1462.03008Freund, Anton 3 2020 Choice-free Stone duality. Zbl 1444.03172Bezhanishvili, Nick; Holliday, Wesley H. 3 2020 Restricted mad families. Zbl 1477.03195Guzmán, Osvaldo; Hrušák, Michael; Téllez, Osvaldo 3 2020 The Wadge order on the Scott domain is not a well-quasi-order. Zbl 1477.03186Duparc, Jacques; Vuilleumier, Louis 3 2020 The consistency strength of long projective determinacy. Zbl 1477.03222Aguilera, Juan P.; Müller, Sandra 3 2020 Truth and feasible reducibility. Zbl 1444.03164Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz 3 2020 Indestructibility of the tree property. Zbl 1476.03072Honzik, Radek; Stejskalová, Šárka 3 2020 Weihrauch goes Brouwerian. Zbl 1485.03156Brattka, Vasco; Gherardi, Guido 3 2020 Exact completion and constructive theories of sets. Zbl 1485.03257Emmenegger, Jacopo; Palmgren, Erik 2 2020 The exact strength of the class forcing theorem. Zbl 1485.03216Gitman, Victoria; Hamkins, Joel David; Holy, Peter; Schlicht, Philipp; Williams, Kameryn J. 2 2020 The logic of comparative cardinality. Zbl 1485.03064Ding, Yifeng; Harrison-Trainor, Matthew; Holliday, Wesley H. 2 2020 The complexity of Scott sentences of scattered linear orders. Zbl 1485.03104Alvir, Rachael; Rossegger, Dino 2 2020 On the existence of large antichains for definable quasi-orders. Zbl 1476.03070Miller, Benjamin D.; Vidnyánszky, Zoltán 2 2020 Factorials of infinite cardinals in ZF. II: Consistency results. Zbl 1477.03217Shen, Guozhen; Yuan, Jiachen 2 2020 Assigning an isomorphism type to a hyperdegree. Zbl 1477.03144Becker, Howard 2 2020 Predicative collapsing principles. Zbl 1479.03007Freund, Anton 2 2020 A minimal pair in the generic degrees. Zbl 1452.03094Hirschfeldt, Denis R. 2 2020 Computability, orders, and solvable groups. Zbl 1485.03172Darbinyan, Arman 2 2020 The fundamental theorem of central element theory. Zbl 1473.03016Badano, Mariana Vanesa; Vaggione, Diego Jose 2 2020 Dimension inequality for a definably complete uniformly locally o-minimal structure of the second kind. Zbl 1485.03134Fujita, Masato 2 2020 Computability of Polish spaces up to homeomorphism. Zbl 1473.03025Harrison-Trainor, Matthew; Melnikov, Alexander; Meng Ng, Keng 2 2020 Voiculescu’s theorem for nonseparable \(\text{C}^{\ast}\)-algebras. Zbl 1464.03084Vaccaro, Andrea 1 2020 Coding in graphs and linear orderings. Zbl 1459.03046Knight, Julia F.; Soskova, Alexandra A.; Vatev, Stefan V. 1 2020 On configurations concerning cardinal characteristics at regular cardinals. Zbl 1485.03204Ben-Neria, Omer; Garti, Shimon 1 2020 A refinement of the Ramsey hierarchy via indescribability. Zbl 1485.03219Cody, Brent 1 2020 What the Łukasiewicz axioms mean. Zbl 1476.03030Mundici, Daniele 1 2020 Categorical semantics of metric spaces and continuous logic. Zbl 1462.03031Cho, Simon 1 2020 \(F_\sigma\) games and reflection in \(L(\mathbb{R})\). Zbl 1485.03193Aguilera, J. P. 1 2020 On a generalized Fraïssé limit construction and its application to the Jiang-Su algebra. Zbl 1485.03089Masumoto, Shuhei 1 2020 On the complexity of classifying Lebesgue spaces. Zbl 1482.03008Brown, Tyler A.; Mcnicholl, Timothy H.; Melnikov, Alexander G. 1 2020 Bases for functions beyond the first Baire class. Zbl 1485.03195Carroy, Raphaël; Miller, Benjamin D. 1 2020 Stationary reflection. Zbl 1485.03212Hayut, Yair; Unger, Spencer 1 2020 Two new series of principles in the interpretability logic of all reasonable arithmetical theories. Zbl 1471.03085Goris, Evan; Joosten, Joost J. 1 2020 Slow \(p\)-point ultrafilters. Zbl 1443.03026Jin, Renling 1 2020 The determined property of Baire in reverse math. Zbl 07190471Astor, Eric P.; Dzhafarov, Damir; Montalbán, Antonio; Solomon, Reed; Westrick, Linda Brown 1 2020 Factorials of infinite cardinals in ZF. I: ZF results. Zbl 1476.03069Shen, Guozhen; Yuan, Jiachen 1 2020 Randomness notions and reverse mathematics. Zbl 1444.03013Nies, André; Shafer, Paul 1 2020 Around Rubin’s “Theories of linear order”. Zbl 1485.03137Tanović, Predrag; Moconja, Slavko; Ilić, Dejan 1 2020 Elementary equivalence theorem for PAC structures. Zbl 1485.03094Dobrowolski, Jan; Hoffmann, Daniel Max; Lee, Junguk 1 2020 A schematic definition of quantum polynomial time computability. Zbl 1461.81020Yamakami, Tomoyuki 1 2020 The Kim-Pillay theorem for abstract elementary categories. Zbl 1485.03095Kamsma, Mark 1 2020 Automatic and polynomial-time algebraic structures. Zbl 1454.03042Bazhenov, Nikolay; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melkinov, Alexander; Ng, Keng Meng 12 2019 Unsound inferences make proofs shorter. Zbl 1439.03095Aguilera, Juan P.; Baaz, Matthias 8 2019 Iterating symmetric extensions. Zbl 1448.03038Karagila, Asaf 8 2019 Computability theory, nonstandard analysis, and their connections. Zbl 1454.03018Normann, Dag; Sanders, Sam 7 2019 The fluted fragment revisited. Zbl 1468.03005Pratt-Hartmann, Ian; Szwast, Wiesław; Tendera, Lidia 6 2019 Independence in generic incidence structures. Zbl 1468.03038Conant, Gabriel; Kruckman, Alex 5 2019 The Ziegler spectrum of the ring of entire complex valued functions. Zbl 1437.13020L’Innocente, Sonia; Point, Françoise; Puninski, Gena; Toffalori, Carlo 4 2019 A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction. Zbl 1467.03031Kentaro, Sato 4 2019 Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Zbl 1444.03063Kikot, Stanislav; Kurucz, Agi; Tanaka, Yoshihito; Wolter, Frank; Zakharyaschev, Michael 4 2019 Madness in vector spaces. Zbl 1471.03073Smythe, Iian B. 3 2019 Blowing up the power of a singular cardinal of uncountable cofinality. Zbl 1455.03063Gitik, Moti 3 2019 Definable minimal collapse functions at arbitrary projective levels. Zbl 1453.03053Kanovei, Vladimir; Lyubetsky, Vassily 3 2019 Games and Ramsey-like cardinals. Zbl 1444.03146Nielsen, Dan Saattrup; Welch, Philip 3 2019 Existence of modeling limits for sequences of sparse structures. Zbl 1444.03126Nešetřil, Jaroslav; de Mendez, Patrice Ossona 3 2019 Minimum models of second-order set theories. Zbl 1453.03033Williams, Kameryn J. 3 2019 Strong density of definable types and closed ordered differential fields. Zbl 1450.03006Brouette, Quentin; Cubides Kovacsics, Pablo; Point, Françoise 3 2019 Characterizing downwards closed, strongly first-order, relativizable dependencies. Zbl 1468.03031Galliani, Pietro 3 2019 ...and 1484 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 9,669 Authors 322 Shelah, Saharon 123 Downey, Rodney Graham 93 Pillay, Anand 89 Friedman, Sy-David 80 Stephan, Frank 70 Jain, Sanjay 65 Apter, Arthur W. 62 Shore, Richard Arnold 58 Nies, André Otfrid 56 Bazhenov, Nikolaĭ Alekseevich 49 Greenberg, Noam 49 Knight, Julia F. 46 Montalbán, Antonio 45 Gitik, Moti 44 Hamkins, Joel David 44 Slaman, Theodore A. 43 Maksimova, Larisa L’vovna 43 Melnikov, Alexander G. 43 Rybakov, Vladimir Vladimirovich 42 Jockusch, Carl G. jun. 42 Lempp, Steffen 42 Rathjen, Michael 40 Kanovei, Vladimir G. 40 Selivanov, Viktor L’vovich 40 Sorbi, Andrea 40 Visser, Albert 39 Baldwin, John T. 39 Barmpalias, George 39 Buss, Samuel R. 39 Hansson, Sven Ove 38 Kamide, Norihiro 38 Miller, Joseph S. 38 Ng, KengMeng 38 Todorcevic, Stevo B. 38 van Benthem, Johan F. A. K. 37 Magidor, Menachem 36 Gabbay, Dov M. 36 Ghilardi, Silvio 36 Rinot, Assaf 35 Avron, Arnon 35 Harizanov, Valentina S. 35 Kohlenbach, Ulrich Wilhelm 35 Miller, Russell G. 33 Bezhanishvili, Nick 33 Hrushovski, Ehud 33 Kalimullin, Iskander Shagitovich 33 Remmel, Jeffrey Brian 32 Bezhanishvili, Guram 32 Cholak, Peter A. 32 Cummings, James 32 Hrušák, Michael 32 Schindler, Ralf-Dieter 31 Laskowski, Michael Chris 31 Montagna, Franco 31 Mundici, Daniele 31 Schmerl, James H. 31 Wagner, Frank Olaf 30 Bridges, Douglas Suth 30 Case, John 30 Cenzer, Douglas 30 Krajíček, Jan 30 Kulpeshov, Beibut Shaiykovich 30 Shlapentokh, Alexandra 29 Hodkinson, Ian Martin 29 Hyttinen, Tapani 28 Beyersdorff, Olaf 28 Coquand, Thierry 28 Feferman, Solomon 28 Vasey, Sebastien 28 Wansing, Heinrich Theodor 28 Weiermann, Andreas 27 Enayat, Ali 27 Fishburn, Peter Clingerman 27 Friedman, Harvey M. 27 Goncharov, Sergeĭ Savost’yanovich 27 Keisler, Howard Jerome 27 Simpson, Stephen G. 27 Wu, Guohua 27 Yu, Liang 26 Andrews, Uri 26 Baaz, Matthias 26 Ben-Yaacov, Itaï 26 Cherlin, Gregory L. 26 Cluckers, Raf 26 Džamonja, Mirna 26 Hájek, Petr 26 Humberstone, Lloyd 26 Matet, Pierre 26 Nešetřil, Jaroslav 26 Sayed Ahmed, Tarek 26 Zdoms’kyĭ, Lyubomyr Sergiĭovych 25 Beklemishev, Lev D. 25 Bienvenu, Laurent 25 Brendle, Jörg 25 Goldblatt, Robert Ian 25 Hirschfeldt, Denis Roman 25 Kechris, Alexander S. 25 Macintyre, Angus John 25 Metcalfe, George 25 Peterzil, Ya’acov ...and 9,569 more Authors all top 5 Cited in 571 Journals 1,685 Annals of Pure and Applied Logic 1,644 The Journal of Symbolic Logic 766 Archive for Mathematical Logic 755 Theoretical Computer Science 745 Studia Logica 476 Journal of Philosophical Logic 407 Transactions of the American Mathematical Society 383 Proceedings of the American Mathematical Society 382 Israel Journal of Mathematics 341 Notre Dame Journal of Formal Logic 305 Synthese 303 The Bulletin of Symbolic Logic 291 Mathematical Logic Quarterly (MLQ) 256 Algebra Universalis 243 Information and Computation 242 The Review of Symbolic Logic 238 Algebra and Logic 221 Topology and its Applications 187 Journal of Mathematical Logic 173 Journal of Algebra 168 Artificial Intelligence 160 Journal of Applied Non-Classical Logics 152 Advances in Mathematics 144 Journal of Computer and System Sciences 143 Archiv für Mathematische Logik und Grundlagenforschung 142 Fuzzy Sets and Systems 140 Journal of Pure and Applied Algebra 132 History and Philosophy of Logic 132 MSCS. Mathematical Structures in Computer Science 122 Siberian Mathematical Journal 121 Journal of Automated Reasoning 120 Logical Methods in Computer Science 115 Logica Universalis 110 Journal of Logic, Language and Information 108 Journal of Applied Logic 94 Fundamenta Mathematicae 79 Information Processing Letters 74 International Journal of Approximate Reasoning 70 Annals of Mathematics and Artificial Intelligence 69 Discrete Mathematics 69 Mathematical Notes 69 Erkenntnis 66 Communications in Algebra 66 Soft Computing 65 Theory of Computing Systems 64 Journal of Mathematical Psychology 64 Order 63 Logic and Logical Philosophy 58 Journal of Symbolic Computation 53 Journal of Mathematical Sciences (New York) 52 International Journal of Theoretical Physics 51 Information Sciences 50 International Journal of Algebra and Computation 44 Journal of Logical and Algebraic Methods in Programming 42 Journal of Combinatorial Theory. Series A 40 Journal of Soviet Mathematics 39 Mathematische Annalen 39 European Journal of Combinatorics 39 ACM Transactions on Computational Logic 37 Mathematical Social Sciences 36 Indagationes Mathematicae. New Series 36 Bulletin of the American Mathematical Society 35 Discrete Applied Mathematics 35 Sibirskie Èlektronnye Matematicheskie Izvestiya 33 Journal of Mathematical Analysis and Applications 32 Journal of the American Mathematical Society 32 Lobachevskii Journal of Mathematics 32 Computability 31 Journal of Functional Programming 30 Formal Methods in System Design 28 Rendiconti del Seminario Matematico della Università di Padova 27 Bulletin of the American Mathematical Society. New Series 26 Compositio Mathematica 26 Mathematische Zeitschrift 26 Selecta Mathematica. New Series 26 Journal of the European Mathematical Society (JEMS) 25 Journal of Combinatorial Theory. Series B 24 The Mathematical Intelligencer 24 Semigroup Forum 24 Applied Categorical Structures 24 The Journal of Logic and Algebraic Programming 23 Acta Mathematica Hungarica 23 Journal of the Institute of Mathematics of Jussieu 22 Bulletin of the Section of Logic 22 Computational Complexity 22 RAIRO. Theoretical Informatics and Applications 22 Proceedings of the Japan Academy 21 Acta Informatica 21 Journal of Complexity 21 Foundations of Science 21 Theory and Practice of Logic Programming 21 Forum of Mathematics, Sigma 20 Journal of Functional Analysis 20 Theory and Decision 20 Formal Aspects of Computing 19 Mathematical Proceedings of the Cambridge Philosophical Society 19 Monatshefte für Mathematik 19 Russian Mathematics 19 Journal of Logic and Analysis 18 Applied Mathematics and Computation ...and 471 more Journals all top 5 Cited in 61 Fields 14,206 Mathematical logic and foundations (03-XX) 3,823 Computer science (68-XX) 1,238 Order, lattices, ordered algebraic structures (06-XX) 815 General topology (54-XX) 776 Combinatorics (05-XX) 737 Group theory and generalizations (20-XX) 521 General algebraic systems (08-XX) 496 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 493 Field theory and polynomials (12-XX) 479 Category theory; homological algebra (18-XX) 422 History and biography (01-XX) 324 Number theory (11-XX) 260 Functional analysis (46-XX) 249 General and overarching topics; collections (00-XX) 236 Measure and integration (28-XX) 184 Associative rings and algebras (16-XX) 183 Algebraic geometry (14-XX) 178 Probability theory and stochastic processes (60-XX) 172 Commutative algebra (13-XX) 168 Dynamical systems and ergodic theory (37-XX) 147 Topological groups, Lie groups (22-XX) 138 Real functions (26-XX) 123 Quantum theory (81-XX) 100 Operations research, mathematical programming (90-XX) 86 Information and communication theory, circuits (94-XX) 67 Operator theory (47-XX) 63 Geometry (51-XX) 57 Statistics (62-XX) 54 Algebraic topology (55-XX) 48 Linear and multilinear algebra; matrix theory (15-XX) 46 Convex and discrete geometry (52-XX) 45 Several complex variables and analytic spaces (32-XX) 44 Sequences, series, summability (40-XX) 40 Numerical analysis (65-XX) 31 Biology and other natural sciences (92-XX) 30 Systems theory; control (93-XX) 28 Manifolds and cell complexes (57-XX) 27 Abstract harmonic analysis (43-XX) 25 Functions of a complex variable (30-XX) 25 Ordinary differential equations (34-XX) 20 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) 13 Nonassociative rings and algebras (17-XX) 13 Relativity and gravitational theory (83-XX) 11 Difference and functional equations (39-XX) 10 Special functions (33-XX) 10 Harmonic analysis on Euclidean spaces (42-XX) 9 Partial differential equations (35-XX) 9 Mechanics of particles and systems (70-XX) 8 Calculus of variations and optimal control; optimization (49-XX) 6 \(K\)-theory (19-XX) 6 Mathematics education (97-XX) 5 Classical thermodynamics, heat transfer (80-XX) 4 Fluid mechanics (76-XX) 3 Integral transforms, operational calculus (44-XX) 2 Potential theory (31-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year