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,835 Publications (since 1936) References Indexed: 4,365 Publications with 55,035 References. all top 5 Latest Issues 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) 63, No. 1 (1998) 62, No. 4 (1997) 62, No. 3 (1997) 62, No. 2 (1997) ...and 97 more Volumes all top 5 Authors 146 Shelah, Saharon 44 Pillay, Anand 42 Knight, Julia F. 41 Friedman, Sy-David 37 Quine, Willard Van Orman 35 Poizat, Bruno Petrovich 33 Fitch, Frederic Brenton 30 Downey, Rodney Graham 29 Jockusch, Carl G. jun. 28 Schmerl, James H. 25 Wagner, Frank Olaf 24 Shore, Richard Arnold 23 Baldwin, John T. 23 Rosser, John Barkley 22 Keisler, Howard Jerome 22 Magidor, Menachem 21 Montalbán, Antonio 20 Apter, Arthur W. 20 Gurevich, Yuri 20 Lempp, Steffen 20 Slaman, Theodore A. 19 Blass, Andreas Raphael 19 Soare, Robert I. 18 Ben-Yaacov, Itaï 18 Hjorth, Gregory 18 Remmel, Jeffrey B. 18 Schindler, Ralf-Dieter 18 Steel, John R. 16 Hamkins, Joel David 16 Lachlan, Alistair H. 16 Lerman, Manuel 16 Sorbi, Andrea 15 Delon, Françoise 15 Greenberg, Noam 15 Nies, André Otfrid 14 Gitik, Moti 14 Hrushovski, Ehud 14 McKinsey, J. C. C. 14 Myhill, John R. 14 Németi, István 14 Ng, KengMeng 14 Wang, Hao 13 Andréka, Hajnal 13 Cherlin, Gregory L. 13 Cummings, James 13 Ellentuck, Erik 13 Friedman, Harvey M. 13 Henle, James M. 13 Krajíček, Jan 13 Laskowski, Michael Chris 13 Miller, Russell G. 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 Harrison-Trainor, Matthew 12 Henson, C. Ward 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 11 Baumgartner, James Earl 11 Csima, Barbara F. 11 Curry, Haskell Brooks 11 Goldfarb, Warren D. 11 Hirsch, Robin 11 Hirschfeldt, Denis Roman 11 Kleinberg, Eugene M. 11 Marker, David E. 11 Mitchell, William John 11 Väänänen, Jouko Antero 11 Yu, Liang 10 Adamowicz, Zofia 10 Brendle, Jörg 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 Kim, Byunghan 10 Kreisel, Georg 10 Kunen, Kenneth 10 Larson, Paul B. 10 Normann, Dag 10 Point, Françoise 10 Prest, Mike 10 Scheepers, Marion 10 Welch, Philip D. ...and 2,429 more Authors all top 5 Fields 4,172 Mathematical logic and foundations (03-XX) 206 Field theory and polynomials (12-XX) 198 Computer science (68-XX) 182 Order, lattices, ordered algebraic structures (06-XX) 175 Group theory and generalizations (20-XX) 144 General topology (54-XX) 90 Combinatorics (05-XX) 68 Category theory; homological algebra (18-XX) 63 General algebraic systems (08-XX) 59 Number theory (11-XX) 57 Measure and integration (28-XX) 46 Associative rings and algebras (16-XX) 42 Functional analysis (46-XX) 35 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 31 Commutative algebra (13-XX) 25 History and biography (01-XX) 23 Real functions (26-XX) 21 Topological groups, Lie groups (22-XX) 20 Algebraic geometry (14-XX) 19 Probability theory and stochastic processes (60-XX) 18 General and overarching topics; collections (00-XX) 18 Dynamical systems and ergodic theory (37-XX) 9 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 Functions of a complex variable (30-XX) 3 Ordinary differential equations (34-XX) 3 Manifolds and cell complexes (57-XX) 2 Nonassociative rings and algebras (17-XX) 2 Statistics (62-XX) 1 Sequences, series, summability (40-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Global analysis, analysis on manifolds (58-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,815 Publications have been cited 32,540 times in 17,182 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 510 1985 The relative efficiency of propositional proof systems. Zbl 0408.03044Cook, Stephen A.; Reckhow, Robert A. 203 1979 Foundational aspects of theories of measurement. Zbl 0084.24603Scott, Dana; Suppes, Patrick 179 1959 Definability and decision problems in arithmetic. Zbl 0034.00801Robinson, Julia 156 1949 Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409McKinsey, J. C. C.; Tarski, Alfred 151 1948 Completeness in the theory of types. Zbl 0039.00801Henkin, Leon 148 1950 A formulation of the simple theory of types. Zbl 0023.28901Church, Alonzo 142 1940 A filter lambda model and the completeness of type assignment. Zbl 0545.03004Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola 135 1983 A formulation of the simple theory of types. JFM 66.1192.06Church, A. 134 1940 Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502Craig, William 132 1957 A propositional calculus with denumerable matrix. Zbl 0089.24307Dummett, Michael 127 1959 Intensional interpretations of functionals of finite type. I. Zbl 0174.01202Tait, W. W. 126 1967 On the calculus of relations. JFM 67.0973.02Tarski, A. 126 1941 On notation for ordinal numbers. Zbl 0020.33803Kleene, S. C. 125 1938 Constructible falsity. Zbl 0033.24304Nelson, David 121 1949 A completeness theorem in modal logic. Zbl 0091.00902Kripke, Saul A. 121 1959 Quantales and (noncommutative) linear logic. Zbl 0701.03026Yetter, David N. 115 1990 Recursive unsolvability of a problem of Thue. Zbl 1263.03030Post, Emil L. 108 1947 A Borel reducibility theory for classes of countable structures. Zbl 0692.03022Friedman, Harvey; Stanley, Lee 107 1989 Probabilities on finite models. Zbl 0341.02044Fagin, Ronald 104 1976 A theorem about infinite-valued sentential logic. Zbl 0043.00901McNaughton, Robert 102 1951 Flag algebras. Zbl 1146.03013Razborov, Alexander A. 100 2007 Borel sets and Ramsey’s theorem. Zbl 0276.04003Galvin, Fred; Prikry, Karel 97 1973 On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A. 97 2001 A new proof that analytic sets are Ramsey. Zbl 0292.02054Ellentuck, Erik 95 1974 The completeness of the first-order functional calculus. Zbl 0034.00602Henkin, Leon 95 1949 Logics without the contraction rule. Zbl 0583.03018Ono, Hiroakira; Komori, Yuichi 89 1985 On the interpretation of intuitionistic number theory. Zbl 0063.03260Kleene, S. C. 88 1945 A note on the Entscheidungsproblem. JFM 62.1058.04Church, A. 84 1936 On strongly minimal sets. Zbl 0217.30402Baldwin, J. T.; Lachlan, A. H. 83 1971 Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402Craig, William 83 1957 Systems of predicative analysis. Zbl 0134.01101Feferman, S. 83 1964 Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601Friedberg, Richard M. 82 1959 Games and full completeness for multiplicative linear logic. Zbl 0822.03007Abramsky, Samson; Jagadeesan, Radha 82 1994 Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102Specker, Ernst 80 1949 Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086Pudlák, Pavel 78 1997 Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102Putnam, H. 78 1965 On the calculus of relations. Zbl 0026.24401Tarski, Alfred 77 1941 The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864McKinsey, J. C. C. 76 1943 On definable subsets of p-adic fields. Zbl 0362.02046Macintyre, Angus J. 74 1976 Gödel numberings of partial recursive functions. Zbl 0088.01602Rogers, Hartley jun. 73 1959 Infinite time Turing machines. Zbl 0963.03064Hamkins, Joel David; Lewis, Andy 72 2000 Limiting recursion. Zbl 0203.01201Gold, E. M. 71 1965 A natural extension of natural deduction. Zbl 0574.03045Schroeder-Heister, Peter 71 1984 Constructible falsity and inexact predicates. Zbl 0575.03016Almukdad, Ahmad; Nelson, David 71 1984 Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015Takeuti, Gaisi; Titani, Satoko 70 1984 One hundred and two problems in mathematical logic. Zbl 0318.02002Friedman, Harvey 68 1975 Solution of a problem of Leon Henkin. Zbl 0067.00202Löb, M. H. 68 1955 Existence and feasibility in arithmetic. Zbl 0243.02037Parikh, Rohit 67 1971 Ramsey’s theorem and recursion theory. Zbl 0262.02042Jockusch, Carl G. jun. 67 1972 Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017Avron, Arnon 67 1991 Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029Krajíček, Jan 66 1997 Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055Hirschfeldt, Denis R.; Shore, Richard A. 64 2007 Constructive set theory. Zbl 0314.02045Myhill, John 63 1975 Saturated ideals. Zbl 0395.03031Kunen, Kenneth 62 1978 Algebraic semantics for modal logics. I, II. Zbl 0147.24805Lemmon, E. J. 62 1966 The determinacy of Blackwell games. Zbl 0926.03071Martin, Donald A. 61 1998 Every analytic set is Ramsey. Zbl 0216.01304Silver, J. 61 1970 Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024Dunn, J. Michael 61 1970 Reflecting on incompleteness. Zbl 0746.03046Feferman, Solomon 61 1991 Unification in intuitionistic logic. Zbl 0930.03009Ghilardi, Silvio 60 1999 Recursive well-orderings. Zbl 0067.00303Spector, Clifford 58 1955 Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402Feferman, S. 58 1963 Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004Dyckhoff, Roy 58 1992 Degrees coded in jumps of orderings. Zbl 0633.03038Knight, Julia F. 57 1986 Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042Paris, J. B.; Wilkie, A. J.; Woods, A. R. 56 1988 On the restraining power of guards. Zbl 0958.03027Grädel, Erich 56 1999 Semantics for relevant logics. Zbl 0245.02028Urquhart, Alasdair 55 1972 On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013Iemhoff, Rosalie 55 2001 On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009Pitts, Andrew M. 53 1992 Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071Brattka, Vasco; Gherardi, Guido 53 2011 Substructural fuzzy logics. Zbl 1139.03017Metcalfe, George; Montagna, Franco 53 2007 Analytic determinacy and \(O^\#\). Zbl 0398.03039Harrington, Leo 52 1978 On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701Kreisel, Georg 52 1952 A logical analysis of some value concepts. Zbl 0943.03599Fitch, Frederic B. 52 1964 On sentences which are true of direct unions of algebras. Zbl 0043.24801Horn, Alfred 51 1951 Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001van Lambalgen, Michiel 51 1987 Elementary embedding and infinitary combinatorics. Zbl 0272.02087Kunen, Kenneth 50 1971 On the interpretation of non-finitist proofs. I. Zbl 0044.00302Kreisel, Georg 50 1951 Concatenation as a basis for arithmetic. Zbl 0063.06362Quine, Willard Van Orman 50 1946 Randomness, relativization and Turing degrees. Zbl 1090.03013Nies, André; Stephan, Frank; Terwijn, Sebastiaan A. 50 2005 Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018Areces, Carlos; Blackburn, Patrick; Marx, Maarten 50 2001 Models without indiscernibles. Zbl 0391.03027Abramson, Fred G.; Harrington, Leo A. 49 1978 Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029Krajíček, Jan; Pudlák, Pavel 48 1989 Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404Richardson, D. 48 1968 Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra 48 2005 Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044Abrusci, V. Michele 48 1991 A constructive analysis of RM. Zbl 0639.03017Avron, Arnon 48 1987 Cuts, consistency statements and interpretations. Zbl 0569.03024Pudlák, Pavel 47 1985 The undecidability of entailment and relevant implication. Zbl 0581.03011Urquhart, Alasdair 47 1984 Reflecting stationary sets. Zbl 0506.03014Magidor, Menachem 47 1982 Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053Buss, Samuel R. 47 1987 Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904Horn, A. 46 1969 Toward useful type-free theories. I. Zbl 0574.03043Feferman, Solomon 46 1984 Kernel contraction. Zbl 0810.03017Hansson, Sven Ove 46 1994 Resolution in type theory. Zbl 0231.02038Andrews, Peter B. 45 1971 Computational randomness and lowness. Zbl 0990.03033Terwijn, Sebastiaan A.; Zambella, Domenico 44 2001 A very weak square principle. Zbl 0880.03022Foreman, Matthew; Magidor, Menachem 43 1997 An introduction to forking. Zbl 0424.03013Lascar, Daniel; Poizat, Bruno 43 1979 A minimal pair of recursively enumerable degrees. Zbl 0143.25402Yates, C. E. M. 43 1966 Projective clone homomorphisms. Zbl 07370805Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 6 2021 Bi-interpretation in weak set theories. Zbl 07415218Roque Freire, Alfredo; Hamkins, Joel David 1 2021 Forking, imaginaries, and other features of ACFG. Zbl 07415220D’Elbée, Christian 1 2021 The characterization of Weihrauch reducibility in systems containing \(E-PA^{\omega } + QF-AC^{0,0}\). Zbl 07370811Uftring, Patrick 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 The poset of all logics. I: Interpretations and lattice structure. Zbl 07442015Jansana, R.; Moraschini, T. 1 2021 Vaught’s conjecture for almost chainable theories. Zbl 07442017Kurilić, Miloš S. 1 2021 Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. Zbl 07442019Kellerman, Ruaan; Goranko, Valentin 1 2021 Associativity of the Morley product of invariant measures in NIP theories. Zbl 07442029Conant, Gabriel; Gannon, Kyle 1 2021 Reflection ranks and ordinal analysis. Zbl 07457782Pakhomov, Fedor; Walsh, James 1 2021 Scott complexity of countable structures. Zbl 07457797Alvir, 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 5 2020 Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice. Zbl 1473.03026Kihara, Takayuki; Marcone, Alberto; Pauly, Arno 4 2020 How strong are single fixed points of normal functions? Zbl 1462.03008Freund, Anton 3 2020 The consistency strength of long projective determinacy. Zbl 1477.03222Aguilera, Juan P.; Müller, Sandra 3 2020 Indestructibility of the tree property. Zbl 1476.03072Honzik, Radek; Stejskalová, Šárka 3 2020 A note on derivability conditions. Zbl 1473.03037Kurahashi, Taishi 3 2020 Punctual categoricity and universality. Zbl 07333589Downey, Rod; Greenberg, Noam; Melnikov, Alexander; Meng Ng, Keng; Turetsky, Daniel 3 2020 Weihrauch goes Brouwerian. Zbl 07333596Brattka, Vasco; Gherardi, Guido 3 2020 On the existence of large antichains for definable quasi-orders. Zbl 1476.03070Miller, Benjamin D.; Vidnyánszky, Zoltán 2 2020 Assigning an isomorphism type to a hyperdegree. Zbl 1477.03144Becker, Howard 2 2020 Truth and feasible reducibility. Zbl 1444.03164Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz 2 2020 A minimal pair in the generic degrees. Zbl 1452.03094Hirschfeldt, Denis R. 2 2020 The exact strength of the class forcing theorem. Zbl 07326427Gitman, Victoria; Hamkins, Joel David; Holy, Peter; Schlicht, Philipp; Williams, Kameryn J. 2 2020 The logic of comparative cardinality. Zbl 07326431Ding, Yifeng; Harrison-Trainor, Matthew; Holliday, Wesley H. 2 2020 Deciding some Maltsev conditions in finite idempotent algebras. Zbl 07303632Kazda, Alexandr; Valeriote, Matt 1 2020 Exact completion and constructive theories of sets. Zbl 07303633Emmenegger, Jacopo; Palmgren, Erik 1 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 07303640Ben-Neria, Omer; Garti, Shimon 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 On isomorphism classes of computably enumerable equivalence relations. Zbl 1452.03092Andrews, Uri; Badaev, Serikzhan A. 1 2020 Choice-free Stone duality. Zbl 1444.03172Bezhanishvili, Nick; Holliday, Wesley H. 1 2020 Restricted mad families. Zbl 1477.03195Guzmán, Osvaldo; Hrušák, Michael; Téllez, Osvaldo 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. II: Consistency results. Zbl 1477.03217Shen, Guozhen; Yuan, Jiachen 1 2020 Randomness notions and reverse mathematics. Zbl 1444.03013Nies, André; Shafer, Paul 1 2020 The Wadge order on the Scott domain is not a well-quasi-order. Zbl 1477.03186Duparc, Jacques; Vuilleumier, Louis 1 2020 Predicative collapsing principles. Zbl 1479.03007Freund, Anton 1 2020 The complexity of Scott sentences of scattered linear orders. Zbl 07326434Alvir, Rachael; Rossegger, Dino 1 2020 \(F_\sigma\) games and reflection in \(L(\mathbb{R})\). Zbl 07326435Aguilera, J. P. 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 07326442Carroy, Raphaël; Miller, Benjamin D. 1 2020 Around Rubin’s “Theories of linear order”. Zbl 07333588Tanović, Predrag; Moconja, Slavko; Ilić, Dejan 1 2020 Computability, orders, and solvable groups. Zbl 07333593Darbinyan, Arman 1 2020 The fundamental theorem of central element theory. Zbl 1473.03016Badano, Mariana Vanesa; Vaggione, Diego Jose 1 2020 Computability of Polish spaces up to homeomorphism. Zbl 1473.03025Harrison-Trainor, Matthew; Melnikov, Alexander; Meng Ng, Keng 1 2020 The Kim-Pillay theorem for abstract elementary categories. Zbl 07333600Kamsma, Mark 1 2020 Automatic and polynomial-time algebraic structures. Zbl 1454.03042Bazhenov, Nikolay; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melkinov, Alexander; Ng, Keng Meng 8 2019 Iterating symmetric extensions. Zbl 1448.03038Karagila, Asaf 6 2019 Computability theory, nonstandard analysis, and their connections. Zbl 1454.03018Normann, Dag; Sanders, Sam 5 2019 Independence in generic incidence structures. Zbl 1468.03038Conant, Gabriel; Kruckman, Alex 5 2019 Unsound inferences make proofs shorter. Zbl 1439.03095Aguilera, Juan P.; Baaz, Matthias 4 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 Existence of modeling limits for sequences of sparse structures. Zbl 1444.03126Nešetřil, Jaroslav; de Mendez, Patrice Ossona 3 2019 The fluted fragment revisited. Zbl 1468.03005Pratt-Hartmann, Ian; Szwast, Wiesław; Tendera, Lidia 2 2019 Strong density of definable types and closed ordered differential fields. Zbl 1450.03006Brouette, Quentin; Kovacsics, Pablo Cubides; Point, Françoise 2 2019 Characterizing downwards closed, strongly first-order, relativizable dependencies. Zbl 1468.03031Galliani, Pietro 2 2019 An abstract elementary class nonaxiomatizable in \(L_{\infty ,\kappa}\). Zbl 1429.18004Henry, Simon 2 2019 On the commutativity of pull-back and push-forward functors on motivic constructible functions. Zbl 1430.14036Cely, Jorge; Raibaut, Michel 2 2019 Local Keisler measures and NIP formulas. Zbl 1468.03039Gannon, Kyle 2 2019 A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction. Zbl 1467.03031Kentaro, Sato 2 2019 Definable minimal collapse functions at arbitrary projective levels. Zbl 1453.03053Kanovei, Vladimir; Lyubetsky, Vassily 2 2019 Games and Ramsey-like cardinals. Zbl 1444.03146Nielsen, Dan Saattrup; Welch, Philip 2 2019 Discrete metric spaces: structure, enumeration, and 0-1 laws. Zbl 1476.03038Mubayi, Dhruv; Terry, Caroline 2 2019 Madness in vector spaces. Zbl 1471.03073Smythe, Iian B. 2 2019 Blowing up the power of a singular cardinal of uncountable cofinality. Zbl 1455.03063Gitik, Moti 2 2019 A correct polynomial translation of S4 into intuitionistic logic. Zbl 1457.03041Goré, Rajeev; Thomson, Jimmy 2 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 2 2019 ITP, ISP, and SCH. Zbl 1476.03071Hachtman, Sherwood; Sinapova, Dima 2 2019 Axiomatization of provable \(n\)-provability. Zbl 1444.03165Kolmakov, Evgeny; Beklemishev, Lev 2 2019 Uncountable trees and Cohen \(\kappa\)-reals. Zbl 1455.03064Laguzzi, Giorgio 1 2019 Weak saturation and weak amalgamation property. Zbl 1427.18004Di Liberti, Ivan 1 2019 The dp-rank of abelian groups. Zbl 1468.03046Halevi, Yatir; Palacin, Daniel 1 2019 Countable models of the theories of Baldwin-Shi hypergraphs and their regular types. Zbl 1468.03036Gunatilleka, Danul K. 1 2019 The \(\Sigma_1\)-provability logic of \(\mathsf{HA}^{*}\). Zbl 1439.03105Ardeshir, Mohammad; Mojtahedi, Mojtaba 1 2019 Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings. Zbl 1454.03015Utreras, Javier 1 2019 Universal theories and compactly expandable models. Zbl 1441.03024Casanovas, Enrique; Shelah, Saharon 1 2019 The game operator acting on Wadge classes of Borel sets. Zbl 1468.03058Debs, Gabriel; Saint Raymond, Jean 1 2019 On the inevitability of the consistency operator. Zbl 1456.03091Montalbán, Antonio; Walsh, James 1 2019 Components and minimal normal subgroups of finite and pseudofinite groups. Zbl 1481.03020Wilson, John S. 1 2019 On singular stationarity. II: Tight stationarity and extenders-based methods. Zbl 1436.03243Ben-Neria, Omer 1 2019 Henselian valued fields and inp-minimality. Zbl 1453.03030Chernikov, Artem; Simon, Pierre 1 2019 A new minimal non-\(\sigma\)-scattered linear order. Zbl 07149980Ramandi, Hossein Lamei 1 2019 A tail cone version of the Halpern-Läuchli theorem at a large cardinal. Zbl 1468.03053Zhang, Jing 1 2019 A separation result for countable unions of Borel rectangles. Zbl 1479.03019Lecomte, Dominique 1 2019 Minimum models of second-order set theories. Zbl 1453.03033Williams, Kameryn J. 1 2019 Destructibility of the tree property at \(\aleph_{\omega + 1}\). Zbl 1443.03028Hayut, Yair; Magidor, Menachem 1 2019 A new dp-minimal expansion of the integers. Zbl 1468.03037Alouf, Eran; D’Elbée, Christian 1 2019 The Harrington-Shelah model with large continuum. Zbl 1453.03050Gilton, Thomas; Krueger, John 1 2019 Markov’s principle and subsystems of intuitionistic analysis. Zbl 07186311Moschovakis, Joan Rand 1 2019 A computable functor from graphs to fields. Zbl 1447.03005Miller, Russell; Poonen, Bjorn; Schoutens, Hans; Shlapentokh, Alexandra 31 2018 Relatively exchangeable structures. Zbl 06915707Crane, Harry; Towsner, Henry 8 2018 Coherent systems of finite support iterations. Zbl 1447.03013Fischer, Vera; Friedman, Sy D.; Mejía, Diego A.; Montoya, Diana C. 8 2018 Varsovian models. I. Zbl 06915711Sargsyan, Grigor; Schindler, Ralf 7 2018 There are no intermediate structures between the group of integers and Presburger arithmetic. Zbl 1447.03006Conant, Gabriel 7 2018 ...and 1487 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 9,297 Authors 313 Shelah, Saharon 122 Downey, Rodney Graham 91 Pillay, Anand 88 Friedman, Sy-David 77 Stephan, Frank 69 Jain, Sanjay 63 Apter, Arthur W. 62 Shore, Richard Arnold 55 Nies, André Otfrid 48 Bazhenov, Nikolaĭ Alekseevich 48 Greenberg, Noam 47 Knight, Julia F. 46 Montalbán, Antonio 44 Slaman, Theodore A. 43 Hamkins, Joel David 43 Maksimova, Larisa L’vovna 42 Gitik, Moti 42 Jockusch, Carl G. jun. 41 Lempp, Steffen 41 Melnikov, Alexander G. 41 Rybakov, Vladimir Vladimirovich 40 Rathjen, Michael 39 Sorbi, Andrea 39 Visser, Albert 38 Baldwin, John T. 38 Kanovei, Vladimir G. 38 Todorcevic, Stevo B. 38 van Benthem, Johan F. A. K. 37 Barmpalias, George 37 Miller, Joseph S. 36 Gabbay, Dov M. 36 Hansson, Sven Ove 36 Kamide, Norihiro 35 Kohlenbach, Ulrich Wilhelm 35 Magidor, Menachem 35 Selivanov, Viktor L’vovich 34 Miller, Russell G. 34 Ng, KengMeng 33 Harizanov, Valentina S. 33 Hrushovski, Ehud 33 Remmel, Jeffrey B. 32 Avron, Arnon 32 Cholak, Peter A. 32 Rinot, Assaf 31 Bezhanishvili, Nick 31 Ghilardi, Silvio 31 Hrušák, Michael 31 Kalimullin, Iskander Shagitovich 31 Montagna, Franco 31 Schmerl, James H. 31 Wagner, Frank Olaf 30 Bridges, Douglas Suth 30 Case, John 30 Cenzer, Douglas 30 Cummings, James 30 Kulpeshov, Beibut Shaiykovich 30 Schindler, Ralf-Dieter 30 Shlapentokh, Alexandra 29 Hodkinson, Ian Martin 29 Hyttinen, Tapani 29 Krajíček, Jan 29 Mundici, Daniele 28 Bezhanishvili, Guram 28 Feferman, Solomon 28 Wansing, Heinrich Theodor 27 Beyersdorff, Olaf 27 Coquand, Thierry 27 Fishburn, Peter Clingerman 27 Friedman, Harvey M. 27 Goncharov, Sergeĭ Savost’yanovich 27 Laskowski, Michael Chris 27 Simpson, Stephen G. 26 Ben-Yaacov, Itaï 26 Cherlin, Gregory L. 26 Humberstone, Lloyd 26 Keisler, Howard Jerome 26 Sayed Ahmed, Tarek 26 Weiermann, Andreas 26 Wu, Guohua 25 Andrews, Uri 25 Goldblatt, Robert Ian 25 Hájek, Petr 25 Kechris, Alexander S. 25 Macintyre, Angus John 25 Nešetřil, Jaroslav 25 Peterzil, Ya’acov 25 Soare, Robert I. 25 Väänänen, Jouko Antero 25 Vasey, Sebastien 25 Yu, Liang 24 Arai, Toshiyasu 24 Beklemishev, Lev D. 24 Bienvenu, Laurent 24 Brendle, Jörg 24 Buss, Samuel R. 24 Džamonja, Mirna 24 Hirschfeldt, Denis Roman 24 Jäger, Gerhard 24 Matet, Pierre 24 Neeman, Itay ...and 9,197 more Authors all top 5 Cited in 547 Journals 1,637 Annals of Pure and Applied Logic 1,602 The Journal of Symbolic Logic 747 Theoretical Computer Science 741 Archive for Mathematical Logic 728 Studia Logica 454 Journal of Philosophical Logic 400 Transactions of the American Mathematical Society 377 Israel Journal of Mathematics 369 Proceedings of the American Mathematical Society 333 Notre Dame Journal of Formal Logic 301 Synthese 296 The Bulletin of Symbolic Logic 291 Mathematical Logic Quarterly (MLQ) 252 Algebra Universalis 232 Algebra and Logic 229 Information and Computation 225 The Review of Symbolic Logic 211 Topology and its Applications 169 Journal of Mathematical Logic 167 Journal of Algebra 158 Journal of Applied Non-Classical Logics 152 Artificial Intelligence 147 Advances in Mathematics 144 Journal of Computer and System Sciences 143 Archiv für Mathematische Logik und Grundlagenforschung 142 Fuzzy Sets and Systems 137 Journal of Pure and Applied Algebra 129 History and Philosophy of Logic 128 MSCS. Mathematical Structures in Computer Science 119 Siberian Mathematical Journal 115 Journal of Automated Reasoning 108 Journal of Applied Logic 105 Logica Universalis 104 Journal of Logic, Language and Information 98 Logical Methods in Computer Science 86 Fundamenta Mathematicae 79 Information Processing Letters 69 Discrete Mathematics 69 Mathematical Notes 69 Erkenntnis 68 International Journal of Approximate Reasoning 68 Annals of Mathematics and Artificial Intelligence 65 Communications in Algebra 65 Theory of Computing Systems 63 Journal of Mathematical Psychology 63 Order 63 Soft Computing 63 Logic and Logical Philosophy 58 Journal of Symbolic Computation 52 International Journal of Theoretical Physics 51 Information Sciences 50 Journal of Mathematical Sciences (New York) 44 International Journal of Algebra and Computation 42 Journal of Combinatorial Theory. Series A 42 Journal of Logical and Algebraic Methods in Programming 40 Journal of Soviet Mathematics 39 Mathematische Annalen 38 European Journal of Combinatorics 37 Mathematical Social Sciences 37 ACM Transactions on Computational Logic 36 Indagationes Mathematicae. New Series 36 Bulletin of the American Mathematical Society 35 Discrete Applied Mathematics 33 Sibirskie Èlektronnye Matematicheskie Izvestiya 32 Journal of the American Mathematical Society 32 Computability 31 Journal of Mathematical Analysis and Applications 31 Journal of Functional Programming 30 Lobachevskii Journal of Mathematics 28 Rendiconti del Seminario Matematico della Università di Padova 28 Formal Methods in System Design 26 Compositio Mathematica 26 Bulletin of the American Mathematical Society. New Series 26 Selecta Mathematica. New Series 25 Journal of Combinatorial Theory. Series B 24 Mathematische Zeitschrift 24 Semigroup Forum 24 Journal of the European Mathematical Society (JEMS) 24 The Journal of Logic and Algebraic Programming 23 The Mathematical Intelligencer 23 Applied Categorical Structures 23 Journal of the Institute of Mathematics of Jussieu 22 Bulletin of the Section of Logic 22 Acta Mathematica Hungarica 22 Computational Complexity 22 RAIRO. Theoretical Informatics and Applications 22 Proceedings of the Japan Academy 21 Journal of Complexity 20 Acta Informatica 20 Journal of Functional Analysis 20 Theory and Decision 20 Formal Aspects of Computing 20 Theory and Practice of Logic Programming 19 Mathematical Proceedings of the Cambridge Philosophical Society 18 Applied Mathematics and Computation 18 Inventiones Mathematicae 18 Nagoya Mathematical Journal 18 Publications of the Research Institute for Mathematical Sciences, Kyoto University 18 International Journal of Foundations of Computer Science 18 Foundations of Science ...and 447 more Journals all top 5 Cited in 61 Fields 13,648 Mathematical logic and foundations (03-XX) 3,588 Computer science (68-XX) 1,178 Order, lattices, ordered algebraic structures (06-XX) 777 General topology (54-XX) 747 Combinatorics (05-XX) 707 Group theory and generalizations (20-XX) 497 General algebraic systems (08-XX) 484 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 465 Field theory and polynomials (12-XX) 452 Category theory; homological algebra (18-XX) 411 History and biography (01-XX) 302 Number theory (11-XX) 242 Functional analysis (46-XX) 239 General and overarching topics; collections (00-XX) 228 Measure and integration (28-XX) 176 Associative rings and algebras (16-XX) 176 Probability theory and stochastic processes (60-XX) 171 Algebraic geometry (14-XX) 166 Commutative algebra (13-XX) 159 Dynamical systems and ergodic theory (37-XX) 137 Topological groups, Lie groups (22-XX) 131 Real functions (26-XX) 118 Quantum theory (81-XX) 98 Operations research, mathematical programming (90-XX) 81 Information and communication theory, circuits (94-XX) 64 Operator theory (47-XX) 61 Geometry (51-XX) 52 Statistics (62-XX) 50 Algebraic topology (55-XX) 47 Linear and multilinear algebra; matrix theory (15-XX) 45 Convex and discrete geometry (52-XX) 44 Several complex variables and analytic spaces (32-XX) 39 Sequences, series, summability (40-XX) 39 Numerical analysis (65-XX) 31 Biology and other natural sciences (92-XX) 29 Systems theory; control (93-XX) 27 Abstract harmonic analysis (43-XX) 27 Manifolds and cell complexes (57-XX) 24 Functions of a complex variable (30-XX) 24 Ordinary differential equations (34-XX) 19 Approximations and expansions (41-XX) 18 Statistical mechanics, structure of matter (82-XX) 16 Global analysis, analysis on manifolds (58-XX) 15 Differential geometry (53-XX) 13 Nonassociative rings and algebras (17-XX) 12 Relativity and gravitational theory (83-XX) 11 Special functions (33-XX) 10 Difference and functional equations (39-XX) 10 Harmonic analysis on Euclidean spaces (42-XX) 9 Mechanics of particles and systems (70-XX) 8 Partial differential equations (35-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