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: 5,010 Publications (since 1936) References Indexed: 4,540 Publications with 59,413 References. all top 5 Latest Issues 89, No. 3 (2024) 89, No. 2 (2024) 89, No. 1 (2024) 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) ...and 107 more Volumes all top 5 Authors 150 Shelah, Saharon 47 Pillay, Anand 45 Knight, Julia F. 43 Friedman, Sy-David 37 Quine, Willard Van Orman 35 Poizat, Bruno Petrovich 33 Fitch, Frederic Brenton 32 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 22 Lempp, Steffen 21 Apter, Arthur W. 21 Montalbán, Antonio 20 Gurevich, Yuri 20 Slaman, Theodore A. 19 Blass, Andreas Raphael 19 Schindler, Ralf-Dieter 19 Soare, Robert I. 18 Ben-Yaacov, Itaï 18 Hamkins, Joel David 18 Hjorth, Gregory 18 Remmel, Jeffrey Brian 18 Steel, John R. 17 Sorbi, Andrea 16 Gitik, Moti 16 Lachlan, Alistair H. 16 Lerman, Manuel 16 Miller, Russell G. 16 Ng, KengMeng 16 Nies, André Otfrid 15 Delon, Françoise 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 Wang, Hao 13 Andréka, Hajnal 13 Andrews, Uri 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 Buechler, Steven 12 Bunder, Martin W. 12 Cholak, Peter A. 12 Cooper, Stuart Barry 12 Csima, Barbara F. 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 Normann, Dag 12 Takeuti, Gaisi 12 van den Dries, Lou 11 Baumgartner, James Earl 11 Brendle, Jörg 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 Väänänen, Jouko Antero 11 Welch, Philip D. 10 Adamowicz, Zofia 10 Buss, Samuel R. 10 Church, Alonzo 10 Craig, William 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 ...and 2,542 more Authors all top 5 Fields 4,369 Mathematical logic and foundations (03-XX) 213 Field theory and polynomials (12-XX) 205 Computer science (68-XX) 191 Order, lattices, ordered algebraic structures (06-XX) 184 Group theory and generalizations (20-XX) 157 General topology (54-XX) 101 Combinatorics (05-XX) 75 Category theory; homological algebra (18-XX) 66 General algebraic systems (08-XX) 65 Number theory (11-XX) 61 Measure and integration (28-XX) 50 Associative rings and algebras (16-XX) 44 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) 23 Topological groups, Lie groups (22-XX) 22 Dynamical systems and ergodic theory (37-XX) 20 Algebraic geometry (14-XX) 20 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 Convex and discrete geometry (52-XX) 5 Information and communication theory, circuits (94-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 4,071 Publications have been cited 40,298 times in 20,797 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 646 1985 The relative efficiency of propositional proof systems. Zbl 0408.03044 Cook, Stephen A.; Reckhow, Robert A. 286 1979 Foundational aspects of theories of measurement. Zbl 0084.24603 Scott, Dana; Suppes, Patrick 194 1959 A formulation of the simple theory of types. JFM 66.1192.06 Church, A. 188 1940 Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409 McKinsey, J. C. C.; Tarski, Alfred 175 1948 Completeness in the theory of types. Zbl 0039.00801 Henkin, Leon 172 1950 Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502 Craig, William 165 1957 Constructible falsity. Zbl 0033.24304 Nelson, David 164 1949 A filter lambda model and the completeness of type assignment. Zbl 0545.03004 Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola 163 1983 Intensional interpretations of functionals of finite type. I. Zbl 0174.01202 Tait, W. W. 162 1967 On notation for ordinal numbers. Zbl 0020.33803 Kleene, S. C. 156 1938 A formulation of the simple theory of types. Zbl 0023.28901 Church, Alonzo 155 1940 On the calculus of relations. JFM 67.0973.02 Tarski, A. 151 1941 A completeness theorem in modal logic. Zbl 0091.00902 Kripke, Saul A. 146 1959 A propositional calculus with denumerable matrix. Zbl 0089.24307 Dummett, Michael 145 1959 Flag algebras. Zbl 1146.03013 Razborov, Alexander A. 144 2007 Probabilities on finite models. Zbl 0341.02044 Fagin, Ronald 133 1976 Quantales and (noncommutative) linear logic. Zbl 0701.03026 Yetter, David N. 133 1990 Recursive unsolvability of a problem of Thue. Zbl 1263.03030 Post, Emil L. 131 1947 A Borel reducibility theory for classes of countable structures. Zbl 0692.03022 Friedman, Harvey; Stanley, Lee 129 1989 Definability and decision problems in arithmetic. Zbl 0034.00801 Robinson, Julia 122 1949 Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086 Pudlák, Pavel 116 1997 On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033 Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A. 116 2001 A theorem about infinite-valued sentential logic. Zbl 0043.00901 McNaughton, Robert 114 1951 On the interpretation of intuitionistic number theory. Zbl 0063.03260 Kleene, S. C. 114 1945 Borel sets and Ramsey’s theorem. Zbl 0276.04003 Galvin, Fred; Prikry, Karel 110 1973 Logics without the contraction rule. Zbl 0583.03018 Ono, Hiroakira; Komori, Yuichi 110 1985 The completeness of the first-order functional calculus. Zbl 0034.00602 Henkin, Leon 110 1949 A new proof that analytic sets are Ramsey. Zbl 0292.02054 Ellentuck, Erik 106 1974 Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402 Craig, William 102 1957 On the calculus of relations. Zbl 0026.24401 Tarski, Alfred 102 1941 Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601 Friedberg, Richard M. 102 1959 Games and full completeness for multiplicative linear logic. Zbl 0822.03007 Abramsky, Samson; Jagadeesan, Radha 101 1994 Constructible falsity and inexact predicates. Zbl 0575.03016 Almukdad, Ahmad; Nelson, David 99 1984 Systems of predicative analysis. Zbl 0134.01101 Feferman, S. 98 1964 Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102 Specker, Ernst 97 1949 Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102 Putnam, H. 94 1965 On definable subsets of p-adic fields. Zbl 0362.02046 Macintyre, Angus J. 94 1976 Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029 Krajíček, Jan 93 1997 A natural extension of natural deduction. Zbl 0574.03045 Schroeder-Heister, Peter 91 1984 On strongly minimal sets. Zbl 0217.30402 Baldwin, J. T.; Lachlan, A. H. 90 1971 Reflecting on incompleteness. Zbl 0746.03046 Feferman, Solomon 89 1991 Infinite time Turing machines. Zbl 0963.03064 Hamkins, Joel David; Lewis, Andy 89 2000 The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864 McKinsey, J. C. C. 89 1943 Gödel numberings of partial recursive functions. Zbl 0088.01602 Rogers, Hartley jun. 88 1959 One hundred and two problems in mathematical logic. Zbl 0318.02002 Friedman, Harvey 84 1975 Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017 Avron, Arnon 83 1991 Limiting recursion. Zbl 0203.01201 Gold, E. M. 82 1965 Existence and feasibility in arithmetic. Zbl 0243.02037 Parikh, Rohit 82 1971 On the restraining power of guards. Zbl 0958.03027 Grädel, Erich 82 1999 Solution of a problem of Leon Henkin. Zbl 0067.00202 Löb, M. H. 82 1955 Saturated ideals. Zbl 0395.03031 Kunen, Kenneth 81 1978 Algebraic semantics for modal logics. I, II. Zbl 0147.24805 Lemmon, E. J. 81 1966 Unification in intuitionistic logic. Zbl 0930.03009 Ghilardi, Silvio 80 1999 Constructive set theory. Zbl 0314.02045 Myhill, John 79 1975 On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009 Pitts, Andrew M. 79 1992 The determinacy of Blackwell games. Zbl 0926.03071 Martin, Donald A. 79 1998 Semantics for relevant logics. Zbl 0245.02028 Urquhart, Alasdair 78 1972 Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015 Takeuti, Gaisi; Titani, Satoko 77 1984 Ramsey’s theorem and recursion theory. Zbl 0262.02042 Jockusch, Carl G. jun. 76 1972 Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004 Dyckhoff, Roy 75 1992 Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024 Dunn, J. Michael 71 1970 On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013 Iemhoff, Rosalie 71 2001 Substructural fuzzy logics. Zbl 1139.03017 Metcalfe, George; Montagna, Franco 71 2007 Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055 Hirschfeldt, Denis R.; Shore, Richard A. 70 2007 On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701 Kreisel, Georg 68 1952 Elementary embedding and infinitary combinatorics. Zbl 0272.02087 Kunen, Kenneth 67 1971 Every analytic set is Ramsey. Zbl 0216.01304 Silver, J. 67 1970 On sentences which are true of direct unions of algebras. Zbl 0043.24801 Horn, Alfred 67 1951 Degrees coded in jumps of orderings. Zbl 0633.03038 Knight, Julia F. 66 1986 Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001 van Lambalgen, Michiel 66 1987 Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402 Feferman, S. 66 1963 Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404 Richardson, D. 65 1968 A logical analysis of some value concepts. Zbl 0943.03599 Fitch, Frederic B. 65 1964 Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021 Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra 64 2005 Concatenation as a basis for arithmetic. Zbl 0063.06362 Quine, Willard Van Orman 64 1946 Recursive well-orderings. Zbl 0067.00303 Spector, Clifford 63 1955 Randomness, relativization and Turing degrees. Zbl 1090.03013 Nies, André; Stephan, Frank; Terwijn, Sebastiaan A. 62 2005 Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029 Krajíček, Jan; Pudlák, Pavel 62 1989 On the interpretation of non-finitist proofs. I. Zbl 0044.00302 Kreisel, Georg 62 1951 Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071 Brattka, Vasco; Gherardi, Guido 62 2011 Reflecting stationary sets. Zbl 0506.03014 Magidor, Menachem 61 1982 Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018 Areces, Carlos; Blackburn, Patrick; Marx, Maarten 61 2001 Analytic determinacy and \(O^\#\). Zbl 0398.03039 Harrington, Leo 60 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. 60 1988 Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053 Buss, Samuel R. 59 1987 Models without indiscernibles. Zbl 0391.03027 Abramson, Fred G.; Harrington, Leo A. 57 1978 Resolution in type theory. Zbl 0231.02038 Andrews, Peter B. 57 1971 On notation for ordinal numbers. JFM 64.0932.03 Kleene, S. C. 57 1938 Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904 Horn, A. 55 1969 Fibered categories and the foundations of naive category theory. Zbl 0564.18001 Bénabou, Jean 55 1985 A constructive analysis of RM. Zbl 0639.03017 Avron, Arnon 55 1987 Decidability and undecidability of extensions of second (first) order theory of (generalized) successor. Zbl 0144.24501 Elgot, Calvin C.; Rabin, Michael O. 55 1966 Kernel contraction. Zbl 0810.03017 Hansson, Sven Ove 54 1994 Toward useful type-free theories. I. Zbl 0574.03043 Feferman, Solomon 54 1984 Cuts, consistency statements and interpretations. Zbl 0569.03024 Pudlák, Pavel 54 1985 Degrees of structures. Zbl 0512.03024 Richter, Linda Jean 52 1981 Probabilities over rich languages, testing and randomness. Zbl 0501.60006 Gaifman, Haim; Snir, Marc 51 1982 Hierarchies of Boolean algebras. Zbl 0222.02048 Feiner, Lawrence 51 1971 Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044 Abrusci, V. Michele 51 1991 The simplest low linear order with no computable copies. Zbl 07827881 Frolov, Andrey; Zubkov, Maxim 1 2024 (Extra)ordinary equivalences with the ascending/descending sequence principle. Zbl 07827890 Fiori-Carones, Marta; Marcone, Alberto; Shafer, Paul; Soldà, Giovanni 1 2024 Model theory and proof theory of the global reflection principle. Zbl 1537.03044 Łełyk, Mateusz Zbigniew 4 2023 Locally o-minimal structures with tame topological properties. Zbl 1518.03006 Fujita, Masato 4 2023 Trees and stationary reflection at double successors of regular cardinals. Zbl 07691760 Gilton, Thomas; Levine, Maxwell; Stejskalová, Šárka 3 2023 On restrictions of ultrafilters from generic extensions to ground models. Zbl 07657279 Gitik, Moti; Kaplan, Eyal 3 2023 Knaster and friends. III: Subadditive colorings. Zbl 1535.03247 Lambie-Hanson, Chris; Rinot, Assaf 3 2023 Elimination of imaginaries in ordered abelian groups with bounded regular rank. Zbl 07781917 Vicaría, Mariana 2 2023 On groups with definable \(f\)-generics definable in \(p\)-adically closed fields. Zbl 07781904 Pillay, Anand; Yao, Ningyuan 2 2023 The strength of an axiom of finite choice for branches in trees. Zbl 07781906 Goh, Jun Le 2 2023 Complete logics for elementary team properties. Zbl 07691753 Kontinen, Juha; Yang, Fan 2 2023 How strong is Ramsey’s theorem if infinity can be weak? Zbl 07691754 Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.; Yokoyama, Keita 2 2023 Cellular categories and stable independence. Zbl 1514.18006 Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien 2 2023 Ideal operators and higher indescribability. Zbl 07691762 Cody, Brent; Holy, Peter 2 2023 The weak Vopěnka principle for definable classes of structures. Zbl 07657278 Bagaria, Joan; Wilson, Trevor M. 2 2023 Some stable non-elementary classes of modules. Zbl 07657276 Mazari-Armida, Marcos 2 2023 More on the preservation of large cardinals under class forcing. Zbl 07657283 Bagaria, Joan; Poveda, Alejandro 2 2023 Transitivity, lowness, and ranks in NSOP\(_1\) theories. Zbl 07735941 Chernikov, Artem; Kim, Byunghan; Ramsey, Nicholas 2 2023 Bohr compactifications of groups and rings. Zbl 07735947 Gismatullin, Jakub; Jagiella, Grzegorz; Krupiński, Krzysztof 2 2023 The discontinuity problem. Zbl 07735950 Brattka, Vasco 2 2023 The diagonal strong reflection principle and its fragments. Zbl 07735953 Cox, Sean D.; Fuchs, Gunter 2 2023 Continuous logic and Borel equivalence relations. Zbl 1540.03091 Hallbäck, Andreas; Malicki, Maciej; Tsankov, Todor 1 2023 Theories with distal Shelah expansions. Zbl 07781903 Boxall, Gareth; Kestner, Charlotte 1 2023 Higher dimensional cardinal characteristics for sets of functions. II. Zbl 07781908 Brendle, Jörg; Switzer, Corey Bacal 1 2023 Conservation theorems on semi-classical arithmetic. Zbl 07781910 Fujiwara, Makoto; Kurahashi, Taishi 1 2023 Axiomatizations of Peano arithmetic: a truth-theoretic view. Zbl 07781912 Enayat, Ali; Łełyk, Mateusz 1 2023 Metrics for formal structures, with an application to Kripke models and their dynamics. Zbl 07691748 Klein, Dominik; Rendsvig, Rasmus K. 1 2023 Computable reducibility of equivalence relations and an effective jump operator. Zbl 07691751 Clemens, John D.; Coskey, Samuel; Krakoff, Gianni 1 2023 Almost theorems of hyperarithmetic analysis. Zbl 1525.03056 Shore, Richard A. 1 2023 On sequences of homomorphisms into measure algebras and the Efimov problem. Zbl 1528.28005 Borodulin-Nadzieja, Piotr; Sobota, Damian 1 2023 Models of Martin-Löf type theory from algebraic weak factorisation systems. Zbl 1527.18004 Gambino, Nicola; Larrea, Marco Federico 1 2023 Most(?) theories have Borel complete reducts. Zbl 1542.03051 Laskowski, Michael C.; Ulrich, Douglas S. 1 2023 Finitist axiomatic truth. Zbl 07657274 Kentaro, Sato; Walker, Jan 1 2023 The poset of all logics. II: Leibniz classes and hierarchy. Zbl 1542.03082 Jansana, R.; Moraschini, T. 1 2023 On cohesive powers of linear orders. Zbl 07735942 Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrey; Shafer, Paul; Soskova, Alexandra A.; Vatev, Stefan V. 1 2023 The embedding property for sorted profinite groups. Zbl 1531.81109 Lee, Junguk 1 2023 On the structure of computable reducibility on equivalence relations of natural numbers. Zbl 1531.81056 Andrews, Uri; Belin, Daniel F.; San Mauro, Luca 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 Model theory of derivations of the Frobenius map revisited. Zbl 1537.03042 Gogolok, Jakub 1 2023 Addendum to: “The automorphism group of the Fraïssé limit of finite Heyting algebras”. Zbl 07735955 Yamamoto, Kentarô 1 2023 Applications of pcf theory to the study of ideals on \(P_{\kappa}(\lambda)\). Zbl 1523.03020 Matet, Pierre 8 2022 A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. Zbl 1510.03023 Nemoto, Takako; Kentaro, Sato 7 2022 On the uncountability of \(\mathbb{R}\). Zbl 1523.03004 Normann, Dag; Sanders, Sam 6 2022 On non-compact \(p\)-adic definable groups. Zbl 1512.03057 Johnson, Will; Yao, Ningyuan 6 2022 A Q-wadge hierarchy in quasi-Polish spaces. Zbl 07541920 Selivanov, Victor 5 2022 Forcing constructions and countable Borel equivalence relations. Zbl 1526.03005 Gao, Su; Jackson, Steve; Krohne, Edward; Seward, Brandon 5 2022 Mutual interpretability of weak essentially undecidable theories. Zbl 07620694 Damnjanovic, Zlatan 4 2022 Higher independence. Zbl 07620701 Fischer, Vera; Montoya, Diana Carolina 3 2022 Identity crisis between supercompactness and Vǒpenka’s principle. Zbl 07541916 Hayut, Yair; Magidor, Menachem; Poveda, Alejandro 3 2022 Ramsey-like theorems and moduli of computation. Zbl 1505.03028 Patey, Ludovic 3 2022 Ways of destruction. Zbl 1536.03021 Farkas, Barnabás; Zdomskyy, Lyubomyr 3 2022 Tree forcing and definable maximal Independent sets in hypergraphs. Zbl 07620696 Schilhan, Jonathan 2 2022 Games characterizing limsup functions and Baire class \(1\) functions. Zbl 1505.54025 Elekes, Márton; Flesch, János; Kiss, Viktor; Nagy, Donát; Poór, Márk; Predtetchinski, Arkadi 2 2022 On equational completeness theorems. Zbl 1542.03083 Moraschini, Tommaso 2 2022 Taking Reinhardt’s power away. Zbl 07620703 Matthews, Richard 2 2022 Closed and unbounded classes and the Härtig quantifier model. Zbl 1510.03020 Welch, Philip D. 2 2022 The \(\Sigma_1\)-definable universal finite sequence. Zbl 1542.03054 Hamkins, Joel David; Williams, Kameryn J. 2 2022 Non-classical foundations of set theory. Zbl 07506781 Tarafder, Sourav 2 2022 The tree of tuples of a structure. Zbl 1504.03024 Harrison-Trainor, Matthew; Montalbán, Antonio 2 2022 Reconstruction of NON-\( \aleph_0\) -categorical theories. Zbl 07506774 Ben Yaacov, Itaï 2 2022 Density-like and generalized density ideals. Zbl 07506777 Kwela, Adam; Leonetti, Paolo 2 2022 Interpreting a field in its Heisenberg group. Zbl 1531.03075 Alvir, Rachael; Calvert, Wesley; Goodman, Grant; Harizanov, Valentina; Knight, Julia; Miller, Russell; Morozov, Andrey; Soskova, Alexandra; Weisshaar, Rose 2 2022 Embeddings into outer models. Zbl 1523.03021 Eskew, Monroe; Friedman, Sy-David 1 2022 Undecidability and non-axiomatizability of modal many-valued logics. Zbl 07620700 Vidal, Amanda 1 2022 Epsilon theorems in intermediate logics. Zbl 07541918 Baaz, Matthias; Zach, Richard 1 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 Information in propositional proofs and algorithmic proof search. Zbl 07541925 Krajíček, Jan 1 2022 Erratum to: “Surreal ordered exponential fields”. Zbl 1498.03088 Ehrlich, Philip; Kaplan, Elliot 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 Ramsey’s coheirs. Zbl 1486.05304 Colla, Eugenio; Zambella, Domenico 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 Combinatorics of ultrafilters on Cohen and random algebras. Zbl 1510.03015 Brendle, Jörg; Parente, Francesco 1 2022 Complete intuitionistic temporal logics for topological dynamics. Zbl 1499.03016 Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David 1 2022 Descriptive complexity in Cantor series. Zbl 1531.03082 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 Subcompact cardinals, type omission, and ladder systems. Zbl 1507.03104 Hayut, Yair; Magidor, Menachem 1 2022 Counting siblings in universal theories. Zbl 1531.03073 Braunfeld, Samuel; Laskowski, Michael C. 1 2022 Most simple extensions of \(\mathbf{FL_e}\) are undecidable. Zbl 1531.03057 Galatos, Nikolaos; St. John, Gavin 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 Projective clone homomorphisms. Zbl 1529.03192 Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 23 2021 Reflection ranks and ordinal analysis. Zbl 1511.03018 Pakhomov, Fedor; Walsh, James 8 2021 Separating diagonal stationary reflection principles. Zbl 1529.03231 Fuchs, Gunter; Lambie-Hanson, Chris 5 2021 Prenex normal form theorems in semi-classical arithmetic. Zbl 1509.03160 Fujiwara, Makoto; Kurahashi, Taishi 5 2021 The reverse mathematics of theorems of Jordan and Lebesgue. Zbl 07457794 Nies, André; Triplett, Marcus A.; Yokoyama, Keita 5 2021 Forcing axioms, approachability, and stationary set reflection. Zbl 1537.03064 Cox, Sean D. 4 2021 Forking, imaginaries, and other features of ACFG. Zbl 1537.03033 D’Elbée, Christian 4 2021 Finding descending sequences through ill-founded linear orders. Zbl 1537.03053 Goh, Jun Le; Pauly, Arno; Valenti, Manlio 4 2021 The characterization of Weihrauch reducibility in systems containing \(\mathrm{E}\text{-}\mathrm{PA}^\omega+\mathrm{QF}\text{-}\mathrm{AC}^{0,0}\). Zbl 1529.03224 Uftring, Patrick 4 2021 The poset of all logics. I: Interpretations and lattice structure. Zbl 1509.03177 Jansana, R.; Moraschini, T. 4 2021 A predicative variant of Hyland’s effective topos. Zbl 1537.03090 Maietti, Maria Emilia; Maschio, Samuele 3 2021 NS saturated and \({\Delta }_1\)-definable. Zbl 1529.03249 Hoffelner, Stefan 3 2021 Aronszajn tree preservation and bounded forcing axioms. Zbl 1529.03258 Fuchs, Gunter 3 2021 Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. Zbl 1509.03116 Kellerman, Ruaan; Goranko, Valentin 3 2021 Associativity of the Morley product of invariant measures in NIP theories. Zbl 1509.03104 Conant, Gabriel; Gannon, Kyle 3 2021 Maltsev conditions for general congruence meet-semidistributive algebras. Zbl 1487.08002 Olšák, Miroslav 3 2021 Shortening clopen games. Zbl 07457789 Aguilera, Juan P. 3 2021 ...and 1563 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 10,890 Authors 356 Shelah, Saharon 128 Downey, Rodney Graham 103 Pillay, Anand 93 Friedman, Sy-David 88 Stephan, Frank 78 Bazhenov, Nikolaĭ Alekseevich 76 Jain, Sanjay 71 Apter, Arthur W. 68 Nies, André Otfrid 63 Shore, Richard Arnold 54 Greenberg, Noam 53 Knight, Julia F. 52 Melnikov, Alexander G. 52 Rathjen, Michael 50 Gitik, Moti 50 Selivanov, Viktor L’vovich 49 Buss, Samuel R. 49 Hamkins, Joel David 49 Montalbán, Antonio 48 Rybakov, Vladimir Vladimirovich 46 Lempp, Steffen 46 Maksimova, Larisa L’vovna 45 Baldwin, John T. 45 Miller, Joseph S. 45 Miller, Russell G. 45 Visser, Albert 44 Ng, KengMeng 44 Rinot, Assaf 44 Slaman, Theodore A. 44 Sorbi, Andrea 43 Hansson, Sven Ove 43 Jockusch, Carl G. jun. 43 Kalimullin, Iskander Shagitovich 43 Todorcevic, Stevo B. 42 Bezhanishvili, Nick 42 Kamide, Norihiro 42 van Benthem, Johan F. A. K. 41 Barmpalias, George 41 Kanovei, Vladimir G. 40 Ghilardi, Silvio 39 Avron, Arnon 39 Beyersdorff, Olaf 39 Harizanov, Valentina S. 38 Kohlenbach, Ulrich Wilhelm 38 Magidor, Menachem 37 Bezhanishvili, Guram 37 Gabbay, Dov M. 37 Hrušák, Michael 36 Hrushovski, Ehud 36 Kulpeshov, Beibut Shaiykovich 36 Laskowski, Michael Chris 35 Cholak, Peter A. 34 Case, John 34 Cenzer, Douglas 34 Krajíček, Jan 34 Mundici, Daniele 34 Remmel, Jeffrey Brian 34 Vasey, Sebastien 34 Wansing, Heinrich Theodor 34 Weiermann, Andreas 33 Coquand, Thierry 33 Cummings, James 33 Matet, Pierre 33 Schindler, Ralf-Dieter 33 Schlicht, Philipp 33 Schmerl, James H. 33 Shlapentokh, Alexandra 33 Tachtsis, Eleftherios 32 Andrews, Uri 32 Goncharov, Sergeĭ Savost’yanovich 32 Montagna, Franco 32 Sanders, Sam 32 Soskova, Mariya Ivanova 32 Wagner, Frank Olaf 31 Baaz, Matthias 31 Hodkinson, Ian Martin 31 Hyttinen, Tapani 31 Nešetřil, Jaroslav 31 Sayed Ahmed, Tarek 30 Bridges, Douglas Suth 30 Enayat, Ali 30 Metcalfe, George 30 Sudoplatov, Sergeĭ Vladimirovich 30 Väänänen, Jouko Antero 30 Wu, Guohua 29 Cluckers, Raf 29 Džamonja, Mirna 29 Harrison-Trainor, Matthew 29 Iemhoff, Rosalie 29 Peterzil, Ya’acov 29 Zdoms’kyĭ, Lyubomyr Sergiĭovych 28 Bienvenu, Laurent 28 Feferman, Solomon 28 Fischer, Vera 28 Goldblatt, Robert Ian 28 Keisler, Howard Jerome 28 Lewis-Pye, Andrew E. M. 28 Macintyre, Angus John 28 Rosický, Jiří 28 Yu, Liang ...and 10,790 more Authors all top 5 Cited in 623 Journals 1,802 Annals of Pure and Applied Logic 1,767 The Journal of Symbolic Logic 837 Archive for Mathematical Logic 791 Studia Logica 784 Theoretical Computer Science 515 Journal of Philosophical Logic 491 Mathematical Logic Quarterly (MLQ) 422 Transactions of the American Mathematical Society 416 Israel Journal of Mathematics 401 Proceedings of the American Mathematical Society 371 Notre Dame Journal of Formal Logic 358 Synthese 324 The Bulletin of Symbolic Logic 298 The Review of Symbolic Logic 267 Algebra Universalis 255 Information and Computation 254 Algebra and Logic 242 Topology and its Applications 214 Journal of Mathematical Logic 193 Journal of Algebra 179 Artificial Intelligence 175 Journal of Applied Non-Classical Logics 169 Advances in Mathematics 159 Logical Methods in Computer Science 158 Fuzzy Sets and Systems 152 Journal of Computer and System Sciences 151 Journal of Pure and Applied Algebra 149 History and Philosophy of Logic 148 Mathematical Structures in Computer Science 143 Archiv für Mathematische Logik und Grundlagenforschung 134 Fundamenta Mathematicae 129 Siberian Mathematical Journal 129 Journal of Automated Reasoning 127 Journal of Logic, Language and Information 125 Logica Universalis 110 Journal of Applied Logic 89 International Journal of Approximate Reasoning 82 Information Processing Letters 78 Logic and Logical Philosophy 76 Discrete Mathematics 75 Annals of Mathematics and Artificial Intelligence 72 Order 71 Communications in Algebra 71 Mathematical Notes 71 Erkenntnis 70 Theory of Computing Systems 69 Journal of Mathematical Psychology 66 Soft Computing 66 ACM Transactions on Computational Logic 61 Journal of Mathematical Sciences (New York) 60 Journal of Symbolic Computation 57 Information Sciences 54 Computability 53 International Journal of Theoretical Physics 53 International Journal of Algebra and Computation 50 Journal of Logical and Algebraic Methods in Programming 47 Sibirskie Èlektronnye Matematicheskie Izvestiya 44 Journal of Combinatorial Theory. Series A 43 Mathematische Annalen 43 Bulletin of the Section of Logic 42 European Journal of Combinatorics 42 Lobachevskii Journal of Mathematics 40 Journal of Soviet Mathematics 38 Discrete Applied Mathematics 38 Indagationes Mathematicae. New Series 37 Journal of Mathematical Analysis and Applications 37 Mathematical Social Sciences 37 Model Theory 36 Bulletin of the American Mathematical Society 35 Journal of the European Mathematical Society (JEMS) 34 Journal of the American Mathematical Society 34 Journal of Functional Programming 32 Formal Methods in System Design 32 Forum of Mathematics, Sigma 31 Selecta Mathematica. New Series 29 Rendiconti del Seminario Matematico della Università di Padova 28 Journal of Combinatorial Theory. Series B 28 Semigroup Forum 28 Acta Mathematica Hungarica 28 Applied Categorical Structures 28 Journal of Logic and Analysis 27 Compositio Mathematica 27 Bulletin of the American Mathematical Society. New Series 27 Theory and Practice of Logic Programming 26 Journal of the London Mathematical Society. Second Series 26 Mathematische Zeitschrift 25 The Mathematical Intelligencer 25 Journal of Functional Analysis 25 Doklady Mathematics 24 The Journal of Logic and Algebraic Programming 24 Journal of the Institute of Mathematics of Jussieu 24 Nôus 22 Bulletin of the London Mathematical Society 22 Monatshefte für Mathematik 22 Theory and Decision 22 Russian Mathematics 22 Computational Complexity 22 RAIRO. Theoretical Informatics and Applications 22 Foundations of Science 22 Proceedings of the Japan Academy ...and 523 more Journals all top 5 Cited in 61 Fields 16,567 Mathematical logic and foundations (03-XX) 4,491 Computer science (68-XX) 1,407 Order, lattices, ordered algebraic structures (06-XX) 978 Combinatorics (05-XX) 941 General topology (54-XX) 842 Group theory and generalizations (20-XX) 581 Category theory; homological algebra (18-XX) 574 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 570 General algebraic systems (08-XX) 556 Field theory and polynomials (12-XX) 484 History and biography (01-XX) 376 Number theory (11-XX) 310 Functional analysis (46-XX) 302 General and overarching topics; collections (00-XX) 274 Measure and integration (28-XX) 225 Algebraic geometry (14-XX) 210 Probability theory and stochastic processes (60-XX) 206 Dynamical systems and ergodic theory (37-XX) 204 Associative rings and algebras (16-XX) 192 Commutative algebra (13-XX) 175 Topological groups, Lie groups (22-XX) 161 Quantum theory (81-XX) 151 Real functions (26-XX) 122 Operations research, mathematical programming (90-XX) 99 Information and communication theory, circuits (94-XX) 81 Operator theory (47-XX) 77 Geometry (51-XX) 73 Statistics (62-XX) 72 Algebraic topology (55-XX) 60 Convex and discrete geometry (52-XX) 59 Sequences, series, summability (40-XX) 56 Several complex variables and analytic spaces (32-XX) 48 Linear and multilinear algebra; matrix theory (15-XX) 35 Biology and other natural sciences (92-XX) 35 Systems theory; control (93-XX) 34 Functions of a complex variable (30-XX) 34 Manifolds and cell complexes (57-XX) 32 Abstract harmonic analysis (43-XX) 27 Ordinary differential equations (34-XX) 23 Numerical analysis (65-XX) 20 Global analysis, analysis on manifolds (58-XX) 19 Statistical mechanics, structure of matter (82-XX) 17 Nonassociative rings and algebras (17-XX) 17 Approximations and expansions (41-XX) 17 Relativity and gravitational theory (83-XX) 15 Differential geometry (53-XX) 11 Calculus of variations and optimal control; optimization (49-XX) 10 Special functions (33-XX) 10 Difference and functional equations (39-XX) 10 Harmonic analysis on Euclidean spaces (42-XX) 8 \(K\)-theory (19-XX) 8 Partial differential equations (35-XX) 8 Mechanics of particles and systems (70-XX) 7 Classical thermodynamics, heat transfer (80-XX) 7 Mathematics education (97-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