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,762 Publications (since 1936) References Indexed: 4,292 Publications with 53,401 References. all top 5 Latest Issues 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) 62, No. 1 (1997) 61, No. 4 (1996) 61, No. 3 (1996) 61, No. 2 (1996) ...and 93 more Volumes all top 5 Authors 145 Shelah, Saharon 44 Pillay, Anand 42 Knight, Julia F. 40 Friedman, Sy-David 37 Quine, Willard Van Orman 34 Poizat, Bruno Petrovich 33 Fitch, Frederic Brenton 29 Jockusch, Carl G. jun. 28 Downey, Rodney Graham 28 Schmerl, James H. 25 Wagner, Frank Olaf 24 Shore, Richard A. 23 Rosser, John Barkley 22 Baldwin, John T. 22 Keisler, Howard Jerome 21 Magidor, Menachem 20 Gurevich, Yuri 20 Lempp, Steffen 20 Montalbán, Antonio 19 Apter, Arthur W. 19 Blass, Andreas Raphael 19 Slaman, Theodore A. 19 Soare, Robert I. 18 Hjorth, Gregory 18 Remmel, Jeffrey B. 18 Schindler, Ralf-Dieter 18 Steel, John R. 17 Ben-Yaacov, Itaï 16 Lachlan, Alistair H. 16 Lerman, Manuel 16 Sorbi, Andrea 15 Delon, Françoise 15 Hamkins, Joel David 14 Gitik, Moti 14 Hrushovski, Ehud 14 McKinsey, J. C. C. 14 Myhill, John R. 14 Ng, KengMeng 14 Wang, Hao 13 Cherlin, Gregory L. 13 Ellentuck, Erik 13 Friedman, Harvey M. 13 Greenberg, Noam 13 Henle, James M. 13 Krajíček, Jan 13 Laskowski, Michael Chris 13 Németi, István 13 Newelski, Ludomir 13 Paris, Jeffrey Bruce 13 Simpson, Stephen G. 12 Andréka, Hajnal 12 Buechler, Steven 12 Bunder, Martin W. 12 Cholak, Peter A. 12 Cooper, Stuart Barry 12 Cummings, James 12 Gabbay, Dov M. 12 Goodman, Nelson 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 Miller, Russell G. 12 Neeman, Itay 12 Nies, André Otfrid 12 Takeuti, Gaisi 12 van den Dries, Lou 11 Baumgartner, James Earl 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 Church, Alonzo 10 Csima, Barbara F. 10 Fuchs, Gunter 10 Goodman, Nicolas D. 10 Grossberg, Rami P. 10 Hart, Bradd T. 10 Henkin, Leon Albert 10 Hodkinson, Ian Martin 10 Kreisel, Georg 10 Kunen, Kenneth 10 Larson, Paul B. 10 Normann, Dag 10 Point, Françoise 10 Prest, Mike 10 Scheepers, Marion 9 Barwise, Kenneth Jon 9 Baudisch, Andreas 9 Bernays, Paul 9 Brendle, Jörg ...and 2,389 more Authors all top 5 Fields 4,092 Mathematical logic and foundations (03-XX) 203 Field theory and polynomials (12-XX) 196 Computer science (68-XX) 175 Order, lattices, ordered algebraic structures (06-XX) 172 Group theory and generalizations (20-XX) 142 General topology (54-XX) 88 Combinatorics (05-XX) 66 Category theory; homological algebra (18-XX) 61 General algebraic systems (08-XX) 55 Number theory (11-XX) 55 Measure and integration (28-XX) 47 Associative rings and algebras (16-XX) 42 Functional analysis (46-XX) 33 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 31 Commutative algebra (13-XX) 25 History and biography (01-XX) 25 Real functions (26-XX) 20 Topological groups, Lie groups (22-XX) 19 Algebraic geometry (14-XX) 18 General and overarching topics; collections (00-XX) 18 Dynamical systems and ergodic theory (37-XX) 18 Probability theory and stochastic processes (60-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 8 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 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 Algebraic topology (55-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,741 Publications have been cited 30,879 times in 16,362 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 478 1985 The relative efficiency of propositional proof systems. Zbl 0408.03044Cook, Stephen A.; Reckhow, Robert A. 194 1979 Foundational aspects of theories of measurement. Zbl 0084.24603Scott, Dana; Suppes, Patrick 176 1959 Definability and decision problems in arithmetic. Zbl 0034.00801Robinson, Julia 150 1949 Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409McKinsey, J. C. C.; Tarski, Alfred 146 1948 A formulation of the simple theory of types. Zbl 0023.28901Church, Alonzo 142 1940 Completeness in the theory of types. Zbl 0039.00801Henkin, Leon 142 1950 A filter lambda model and the completeness of type assignment. Zbl 0545.03004Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola 132 1983 A formulation of the simple theory of types. JFM 66.1192.06Church, A. 127 1940 Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502Craig, William 125 1957 On the calculus of relations. JFM 67.0973.02Tarski, A. 124 1941 Intensional interpretations of functionals of finite type. I. Zbl 0174.01202Tait, W. W. 122 1967 A propositional calculus with denumerable matrix. Zbl 0089.24307Dummett, Michael 121 1959 On notation for ordinal numbers. Zbl 0020.33803Kleene, S. C. 116 1938 A completeness theorem in modal logic. Zbl 0091.00902Kripke, Saul A. 110 1959 Constructible falsity. Zbl 0033.24304Nelson, David 109 1949 Quantales and (noncommutative) linear logic. Zbl 0701.03026Yetter, David N. 108 1990 A Borel reducibility theory for classes of countable structures. Zbl 0692.03022Friedman, Harvey; Stanley, Lee 103 1989 Recursive unsolvability of a problem of Thue. Zbl 1263.03030Post, Emil L. 103 1947 Probabilities on finite models. Zbl 0341.02044Fagin, Ronald 99 1976 A theorem about infinite-valued sentential logic. Zbl 0043.00901McNaughton, Robert 97 1951 Borel sets and Ramsey’s theorem. Zbl 0276.04003Galvin, Fred; Prikry, Karel 95 1973 A new proof that analytic sets are Ramsey. Zbl 0292.02054Ellentuck, Erik 92 1974 The completeness of the first-order functional calculus. Zbl 0034.00602Henkin, Leon 92 1949 On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A. 91 2001 Flag algebras. Zbl 1146.03013Razborov, Alexander A. 87 2007 Logics without the contraction rule. Zbl 0583.03018Ono, Hiroakira; Komori, Yuichi 84 1985 A note on the Entscheidungsproblem. JFM 62.1058.04Church, A. 82 1936 Games and full completeness for multiplicative linear logic. Zbl 0822.03007Abramsky, Samson; Jagadeesan, Radha 80 1994 Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601Friedberg, Richard M. 80 1959 On the interpretation of intuitionistic number theory. Zbl 0063.03260Kleene, S. C. 79 1945 On strongly minimal sets. Zbl 0217.30402Baldwin, J. T.; Lachlan, A. H. 79 1971 Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402Craig, William 77 1957 Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102Putnam, H. 76 1965 Systems of predicative analysis. Zbl 0134.01101Feferman, S. 74 1964 Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102Specker, Ernst 74 1949 The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864McKinsey, J. C. C. 74 1943 On the calculus of relations. Zbl 0026.24401Tarski, Alfred 73 1941 Gödel numberings of partial recursive functions. Zbl 0088.01602Rogers, Hartley jun. 73 1959 Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086Pudlák, Pavel 70 1997 On definable subsets of p-adic fields. Zbl 0362.02046Macintyre, Angus J. 70 1976 Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015Takeuti, Gaisi; Titani, Satoko 69 1984 Limiting recursion. Zbl 0203.01201Gold, E. M. 69 1965 Infinite time Turing machines. Zbl 0963.03064Hamkins, Joel David; Lewis, Andy 67 2000 Existence and feasibility in arithmetic. Zbl 0243.02037Parikh, Rohit 67 1971 One hundred and two problems in mathematical logic. Zbl 0318.02002Friedman, Harvey 65 1975 Solution of a problem of Leon Henkin. Zbl 0067.00202Löb, M. H. 65 1955 Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029Krajíček, Jan 64 1997 Constructible falsity and inexact predicates. Zbl 0575.03016Almukdad, Ahmad; Nelson, David 64 1984 Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017Avron, Arnon 62 1991 Algebraic semantics for modal logics. I, II. Zbl 0147.24805Lemmon, E. J. 61 1966 Ramsey’s theorem and recursion theory. Zbl 0262.02042Jockusch, Carl G. jun. 61 1972 A natural extension of natural deduction. Zbl 0574.03045Schroeder-Heister, Peter 59 1984 Constructive set theory. Zbl 0314.02045Myhill, John 59 1975 Saturated ideals. Zbl 0395.03031Kunen, Kenneth 59 1978 Every analytic set is Ramsey. Zbl 0216.01304Silver, J. 59 1970 The determinacy of Blackwell games. Zbl 0926.03071Martin, Donald A. 58 1998 Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055Hirschfeldt, Denis R.; Shore, Richard A. 58 2007 Unification in intuitionistic logic. Zbl 0930.03009Ghilardi, Silvio 56 1999 Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042Paris, J. B.; Wilkie, A. J.; Woods, A. R. 55 1988 Recursive well-orderings. Zbl 0067.00303Spector, Clifford 55 1955 Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402Feferman, S. 55 1963 Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024Dunn, J. Michael 55 1970 Degrees coded in jumps of orderings. Zbl 0633.03038Knight, Julia F. 54 1986 Reflecting on incompleteness. Zbl 0746.03046Feferman, Solomon 54 1991 Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004Dyckhoff, Roy 54 1992 On the restraining power of guards. Zbl 0958.03027Grädel, Erich 51 1999 Substructural fuzzy logics. Zbl 1139.03017Metcalfe, George; Montagna, Franco 51 2007 On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009Pitts, Andrew M. 50 1992 On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701Kreisel, Georg 50 1952 A logical analysis of some value concepts. Zbl 0943.03599Fitch, Frederic B. 49 1964 Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001van Lambalgen, Michiel 49 1987 Analytic determinacy and \(O^\#\). Zbl 0398.03039Harrington, Leo 49 1978 On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013Iemhoff, Rosalie 48 2001 On sentences which are true of direct unions of algebras. Zbl 0043.24801Horn, Alfred 48 1951 On the interpretation of non-finitist proofs. I. Zbl 0044.00302Kreisel, Georg 48 1951 Concatenation as a basis for arithmetic. Zbl 0063.06362Quine, Willard Van Orman 48 1946 Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029Krajíček, Jan; Pudlák, Pavel 47 1989 Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071Brattka, Vasco; Gherardi, Guido 47 2011 Elementary embedding and infinitary combinatorics. Zbl 0272.02087Kunen, Kenneth 47 1971 Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra 46 2005 Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053Buss, Samuel R. 46 1987 Toward useful type-free theories. I. Zbl 0574.03043Feferman, Solomon 46 1984 Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044Abrusci, V. Michele 46 1991 Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904Horn, A. 46 1969 Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018Areces, Carlos; Blackburn, Patrick; Marx, Maarten 45 2001 Cuts, consistency statements and interpretations. Zbl 0569.03024Pudlák, Pavel 45 1985 Models without indiscernibles. Zbl 0391.03027Abramson, Fred G.; Harrington, Leo A. 45 1978 Reflecting stationary sets. Zbl 0506.03014Magidor, Menachem 45 1982 Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404Richardson, D. 45 1968 Randomness, relativization and Turing degrees. Zbl 1090.03013Nies, André; Stephan, Frank; Terwijn, Sebastiaan A. 44 2005 Semantics for relevant logics. Zbl 0245.02028Urquhart, Alasdair 44 1972 Computational randomness and lowness. Zbl 0990.03033Terwijn, Sebastiaan A.; Zambella, Domenico 43 2001 A constructive analysis of RM. Zbl 0639.03017Avron, Arnon 43 1987 Recursive isomorphism types of recursive Boolean algebras. Zbl 0543.03031Remmel, J. B. 43 1981 A minimal pair of recursively enumerable degrees. Zbl 0143.25402Yates, C. E. M. 43 1966 The modal logic of inequality. Zbl 0788.03019de Rijke, Maarten 43 1992 An introduction to forking. Zbl 0424.03013Lascar, Daniel; Poizat, Bruno 42 1979 Degrees of structures. Zbl 0512.03024Richter, Linda Jean 42 1981 A very weak square principle. Zbl 0880.03022Foreman, Matthew; Magidor, Menachem 41 1997 Projective clone homomorphisms. Zbl 07370805Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András 2 2021 Characterizing existence of a measurable cardinal via modal logic. Zbl 07370819Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; Mill, Jan Van 1 2021 Punctual categoricity and universality. Zbl 07333589Downey, Rod; Greenberg, Noam; Melnikov, Alexander; Meng Ng, Keng; Turetsky, Daniel 3 2020 The consistency strength of long projective determinacy. Zbl 07190478Aguilera, Juan P.; Müller, Sandra 3 2020 A note on derivability conditions. Zbl 07326440Kurahashi, Taishi 2 2020 Truth and feasible reducibility. Zbl 1444.03164Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz 2 2020 Indestructibility of the tree property. Zbl 07190483Honzik, Radek; Stejskalová, Šárka 2 2020 Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice. Zbl 07326432Kihara, Takayuki; Marcone, Alberto; Pauly, Arno 1 2020 On the complexity of classifying Lebesgue spaces. Zbl 07326441Brown, 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 Computability, orders, and solvable groups. Zbl 07333593Darbinyan, Arman 1 2020 Computability of Polish spaces up to homeomorphism. Zbl 07333598Harrison-Trainor, Matthew; Melnikov, Alexander; Meng Ng, Keng 1 2020 The Kim-Pillay theorem for abstract elementary categories. Zbl 07333600Kamsma, Mark 1 2020 Two new series of principles in the interpretability logic of all reasonable arithmetical theories. Zbl 07190461Goris, 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 On the existence of large antichains for definable quasi-orders. Zbl 07190468Miller, Benjamin D.; Vidnyánszky, Zoltán 1 2020 Choice-free Stone duality. Zbl 1444.03172Bezhanishvili, Nick; Holliday, Wesley H. 1 2020 Coherent extension of partial automorphisms, free amalgamation and automorphism groups. Zbl 07190472Siniora, Daoud; Solecki, Sławomir 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 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 Computability theory, nonstandard analysis, and their connections. Zbl 1454.03018Normann, Dag; Sanders, Sam 3 2019 Existence of modeling limits for sequences of sparse structures. Zbl 1444.03126Nešetřil, Jaroslav; de Mendez, Patrice Ossona 3 2019 Unsound inferences make proofs shorter. Zbl 1439.03095Aguilera, Juan P.; Baaz, Matthias 2 2019 A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction. Zbl 1467.03031Kentaro, Sato 2 2019 Games and Ramsey-like cardinals. Zbl 1444.03146Nielsen, Dan Saattrup; Welch, Philip 2 2019 Blowing up the power of a singular cardinal of uncountable cofinality. Zbl 1455.03063Gitik, Moti 2 2019 ITP, ISP, and SCH. Zbl 07186304Hachtman, Sherwood; Sinapova, Dima 2 2019 Independence in generic incidence structures. Zbl 07186306Conant, Gabriel; Kruckman, Alex 2 2019 On the inevitability of the consistency operator. Zbl 1456.03091Montalbán, Antonio; Walsh, James 1 2019 Definable minimal collapse functions at arbitrary projective levels. Zbl 1453.03053Kanovei, Vladimir; Lyubetsky, Vassily 1 2019 Components and minimal normal subgroups of finite and pseudofinite groups. Zbl 07036437Wilson, John S. 1 2019 On singular stationarity. II: Tight stationarity and extenders-based methods. Zbl 1436.03243Ben-Neria, Omer 1 2019 Discrete metric spaces: structure, enumeration, and 0-1 laws. Zbl 07149968Mubayi, Dhruv; Terry, Caroline 1 2019 Henselian valued fields and inp-minimality. Zbl 1453.03030Chernikov, Artem; Simon, Pierre 1 2019 Strong density of definable types and closed ordered differential fields. Zbl 1450.03006Brouette, Quentin; Kovacsics, Pablo Cubides; Point, Françoise 1 2019 Characterizing downwards closed, strongly first-order, relativizable dependencies. Zbl 07106188Galliani, Pietro 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 07106193Debs, Gabriel; Saint Raymond, Jean 1 2019 An abstract elementary class nonaxiomatizable in \(L_{\infty ,\kappa}\). Zbl 1429.18004Henry, Simon 1 2019 On the commutativity of pull-back and push-forward functors on motivic constructible functions. Zbl 1430.14036Cely, Jorge; Raibaut, Michel 1 2019 Local Keisler measures and NIP formulas. Zbl 07106196Gannon, Kyle 1 2019 A tail cone version of the Halpern-Läuchli theorem at a large cardinal. Zbl 07186294Zhang, Jing 1 2019 A separation result for countable unions of Borel rectangles. Zbl 07186296Lecomte, Dominique 1 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 1 2019 Minimum models of second-order set theories. Zbl 1453.03033Williams, Kameryn J. 1 2019 The Harrington-Shelah model with large continuum. Zbl 1453.03050Gilton, Thomas; Krueger, John 1 2019 Axiomatization of provable \(n\)-provability. Zbl 1444.03165Kolmakov, Evgeny; Beklemishev, Lev 1 2019 A computable functor from graphs to fields. Zbl 1447.03005Miller, Russell; Poonen, Bjorn; Schoutens, Hans; Shlapentokh, Alexandra 26 2018 Relatively exchangeable structures. Zbl 06915707Crane, Harry; Towsner, Henry 6 2018 Degrees of categoricity and spectral dimension. Zbl 1447.03008Bazhenov, Nikolay A.; Kalimullin, Iskander Sh.; Yamaleev, Mars M. 6 2018 Universal classes near \({\aleph _1}\). Zbl 06997558Mazari-Armida, Marcos; Vasey, Sebastien 5 2018 Computable Polish group actions. Zbl 06915708Melnikov, Alexander; Montalbán, Antonio 5 2018 A direct proof of Schwichtenberg’s bar recursion closure theorem. Zbl 1406.03059Oliva, Paulo; Steila, Silvia 5 2018 Hierarchies of forcing axioms, the continuum hypothesis and square principles. Zbl 1447.03017Fuchs, Gunter 5 2018 A logical and algebraic characterization of adjunctions between generalized quasi-varieties. Zbl 1410.18002Moraschini, Tommaso 4 2018 Subcomplete forcing, trees, and generic absoluteness. Zbl 06966196Fuchs, Gunter; Minden, Kaethe 4 2018 Borel functors and infinitary interpretations. Zbl 06997547Harrison-Trainor, Matthew; Miller, Russell; Montalbán, Antonio 4 2018 Universal minimal flows of generalized Ważewski dendrites. Zbl 1402.05211Kwiatkowska, Aleksandra 4 2018 Generalizations of the recursion theorem. Zbl 06997562Terwijn, Sebastiaan A. 4 2018 Some applications of supercompact extender based forcings to HOD. Zbl 06915709Gitik, Moti; Merimovich, Carmi 4 2018 Varsovian models. I. Zbl 06915711Sargsyan, Grigor; Schindler, Ralf 4 2018 Uniform procedures in uncountable structures. Zbl 06915712Greenberg, Noam; Melnikov, Alexander G.; Knight, Julia F.; Turetsky, Daniel 4 2018 The tree property at \(\aleph_{\omega^{2}+1}\) and \(\aleph_{\omega^{2}+2}\). Zbl 06915719Sinapova, Dima; Unger, Spencer 4 2018 Dominions and primitive positive functions. Zbl 1428.18002Campercholi, Miguel 4 2018 Strict coherence on many-valued events. Zbl 1447.03001Flaminio, Tommaso; Hosni, Hykel; Montagna, Franco 4 2018 Coherent systems of finite support iterations. Zbl 1447.03013Fischer, Vera; Friedman, Sy D.; Mejía, Diego A.; Montoya, Diana C. 4 2018 Decidability of the theory of modules over Prüfer domains with infinite residue fields. Zbl 06997545Gregory, Lorna; L’Innocente, Sonia; Puninski, Gena; Toffalori, Carlo 3 2018 The unity and identity of decidable objects and double-negation sheaves. Zbl 1409.18002Menni, Matías 3 2018 Abstract \(\omega\)-limit sets. Zbl 1406.54020Brian, Will 3 2018 Happy and mad families in \(L(\mathbb{R})\). Zbl 06915714Neeman, Itay; Norwood, Zach 3 2018 Compact cardinals and eight values in Cichoń’s diagram. Zbl 1430.03057Kellner, Jakob; Tănasie, Anda Ramona; Tonti, Fabio Elio 3 2018 There are no intermediate structures between the group of integers and Presburger arithmetic. Zbl 1447.03006Conant, Gabriel 3 2018 Hierarchies of (virtual) resurrection axioms. Zbl 1447.03018Fuchs, Gunter 3 2018 Bounded polynomials and holomorphic mappings between convex subrings of \(^\ast\mathbb C\). Zbl 1401.30055Khalfallah, Adel; Kosarew, Siegmund 3 2018 An algebraic approach to MSO-definability on countable linear orderings. Zbl 06966190Carton, Olivier; Colcombet, Thomas; Puppis, Gabriele 2 2018 The complexity of topological group isomorphism. Zbl 06966191Kechris, Alexander S.; Nies, André; Tent, Katrin 2 2018 Infinite combinatorics plain and simple. Zbl 1439.03083Soukup, Dániel T.; Soukup, Lajos 2 2018 Squares, ascent paths, and chain conditions. Zbl 06997551Lambie-Hanson, Chris; Lücke, Philipp 2 2018 Namba forcing, weak approximation, and guessing. Zbl 06997552Cox, Sean; Krueger, John 2 2018 The variety of coset relation algebras. Zbl 06997555Givant, Steven; Andréka, Hajnal 2 2018 Keisler’s order is not linear, assuming a supercompact. Zbl 06915717Ulrich, Douglas 2 2018 Equivalence relations invariant under group actions. Zbl 06915720Rzepecki, Tomasz 2 2018 Randomness via infinite computation and effective descriptive set theory. Zbl 06915724Carl, Merlin; Schlicht, Philipp 2 2018 Weak squares and very good scales. Zbl 1447.03015Levine, Maxwell 2 2018 Left-orderable computable groups. Zbl 1447.03009Harrison-Trainor, Matthew 2 2018 The eightfold way. Zbl 1435.03081Cummings, James; Friedman, Sy-David; Magidor, Menachem; Rinot, Assaf; Sinapova, Dima 2 2018 Minimal axiomatic frameworks for definable hyperreals with transfer. Zbl 1447.03014Herzberg, Frederik S.; Kanovei, Vladimir; Katz, Mikhail; Lyubetsky, Vassily 2 2018 The temporal logic of two dimensional Minkowski spacetime is decidable. Zbl 06966178Hirsch, Robin; Reynolds, Mark 1 2018 Truths, inductive definitions, and Kripke-Platek systems over set theory. Zbl 06966179Fujimoto, Kentaro 1 2018 On the structure of groups endowed with a compatible \(C\)-relation. Zbl 1425.06004Lehéricy, Gabriel 1 2018 Interrelation between weak fragments of double negation shift and related principles. Zbl 1445.03006Fujiwara, Makoto; Kohlenbach, Ulrich 1 2018 Towers in filters, cardinal invariants, and Luzin type families. Zbl 06966185Brendle, Jörg; Farkas, Barnabás; Verner, Jonathan 1 2018 On \(C^{(n)}\)-extendible cardinals. Zbl 1425.03022Tsaprounis, Konstantinos 1 2018 Undecidability of the first order theories of free noncommutative Lie algebras. Zbl 06966192Kharlampovich, Olga; Myasnikov, Alexei 1 2018 Brouwer’s fan theorem and convexity. Zbl 06997543Berger, Josef; Svindland, Gregor 1 2018 The Ellis group conjecture and variants of definable amenability. Zbl 06997544Jagiella, Grzegorz 1 2018 Constructing types in differentially closed fields that are analysable in the constants. Zbl 06997546Jin, Ruizhang 1 2018 ...and 1488 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 8,885 Authors 302 Shelah, Saharon 117 Downey, Rodney Graham 87 Pillay, Anand 84 Friedman, Sy-David 72 Stephan, Frank 65 Jain, Sanjay 62 Apter, Arthur W. 61 Shore, Richard A. 51 Nies, André Otfrid 46 Knight, Julia F. 45 Montalbán, Antonio 44 Bazhenov, Nikolaĭ Alekseevich 42 Greenberg, Noam 42 Jockusch, Carl G. jun. 41 Gitik, Moti 41 Lempp, Steffen 41 Maksimova, Larisa L’vovna 41 Slaman, Theodore A. 40 Hamkins, Joel David 40 Melnikov, Alexander G. 40 Rybakov, Vladimir Vladimirovich 37 Baldwin, John T. 37 Barmpalias, George 37 Kanovei, Vladimir G. 37 Sorbi, Andrea 37 Visser, Albert 36 Miller, Joseph S. 36 Rathjen, Michael 36 Todorcevic, Stevo B. 35 Gabbay, Dov M. 35 Hansson, Sven Ove 34 Kohlenbach, Ulrich Wilhelm 33 Harizanov, Valentina S. 33 Ng, KengMeng 33 Remmel, Jeffrey B. 33 van Benthem, Johan F. A. K. 32 Cholak, Peter A. 32 Hrushovski, Ehud 32 Kamide, Norihiro 32 Magidor, Menachem 32 Selivanov, Viktor L’vovich 31 Avron, Arnon 31 Kalimullin, Iskander Shagitovich 31 Miller, Russell G. 31 Montagna, Franco 31 Schmerl, James H. 31 Wagner, Frank Olaf 30 Bridges, Douglas Suth 30 Case, John 30 Cenzer, Douglas 29 Bezhanishvili, Nick 29 Cummings, James 29 Ghilardi, Silvio 29 Hyttinen, Tapani 29 Krajíček, Jan 29 Rinot, Assaf 29 Schindler, Ralf-Dieter 29 Shlapentokh, Alexandra 28 Feferman, Solomon 28 Hodkinson, Ian Martin 28 Hrušák, Michael 27 Fishburn, Peter Clingerman 27 Friedman, Harvey M. 27 Goncharov, Sergeĭ Savost’yanovich 27 Mundici, Daniele 27 Wansing, Heinrich Theodor 26 Beyersdorff, Olaf 26 Bezhanishvili, Guram 26 Cherlin, Gregory L. 26 Keisler, Howard Jerome 26 Kulpeshov, Beibut Shaiykovich 26 Simpson, Stephen G. 26 Wu, Guohua 25 Ben-Yaacov, Itaï 25 Hájek, Petr 25 Humberstone, Lloyd 25 Sayed Ahmed, Tarek 25 Soare, Robert I. 25 Vasey, Sebastien 25 Yu, Liang 24 Coquand, Thierry 24 Hirschfeldt, Denis Roman 24 Jäger, Gerhard 24 Kechris, Alexander S. 24 Laskowski, Michael Chris 24 Macintyre, Angus John 24 Matet, Pierre 24 Ono, Hiroakira 24 Peterzil, Ya’acov 24 Weiermann, Andreas 23 Arai, Toshiyasu 23 Beklemishev, Lev D. 23 Bienvenu, Laurent 23 Brendle, Jörg 23 Buss, Samuel R. 23 Došen, Kosta 23 Džamonja, Mirna 23 Goldblatt, Robert Ian 23 Mints, Grigoriĭ Efroimovich 23 Neeman, Itay ...and 8,785 more Authors all top 5 Cited in 521 Journals 1,603 Annals of Pure and Applied Logic 1,538 The Journal of Symbolic Logic 741 Theoretical Computer Science 724 Archive for Mathematical Logic 706 Studia Logica 431 Journal of Philosophical Logic 390 Transactions of the American Mathematical Society 372 Israel Journal of Mathematics 363 Proceedings of the American Mathematical Society 322 Notre Dame Journal of Formal Logic 291 Mathematical Logic Quarterly (MLQ) 284 The Bulletin of Symbolic Logic 280 Synthese 246 Algebra Universalis 226 Algebra and Logic 226 Information and Computation 211 The Review of Symbolic Logic 205 Topology and its Applications 165 Journal of Algebra 156 Journal of Applied Non-Classical Logics 154 Journal of Mathematical Logic 147 Artificial Intelligence 143 Archiv für Mathematische Logik und Grundlagenforschung 142 Fuzzy Sets and Systems 142 Journal of Computer and System Sciences 137 Advances in Mathematics 135 Journal of Pure and Applied Algebra 129 History and Philosophy of Logic 123 MSCS. Mathematical Structures in Computer Science 114 Siberian Mathematical Journal 108 Journal of Automated Reasoning 108 Journal of Applied Logic 102 Logica Universalis 100 Journal of Logic, Language and Information 81 Logical Methods in Computer Science 79 Information Processing Letters 67 Discrete Mathematics 66 Mathematical Notes 65 Theory of Computing Systems 63 Fundamenta Mathematicae 63 Order 63 International Journal of Approximate Reasoning 63 Soft Computing 62 Communications in Algebra 62 Annals of Mathematics and Artificial Intelligence 61 Journal of Mathematical Psychology 59 Erkenntnis 58 Journal of Symbolic Computation 51 International Journal of Theoretical Physics 50 Journal of Mathematical Sciences (New York) 49 Information Sciences 44 International Journal of Algebra and Computation 42 Journal of Logical and Algebraic Methods in Programming 41 Journal of Combinatorial Theory. Series A 40 Journal of Soviet Mathematics 40 Logic and Logical Philosophy 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 31 Journal of the American Mathematical Society 30 Journal of Mathematical Analysis and Applications 29 Journal of Functional Programming 29 Lobachevskii Journal of Mathematics 29 Sibirskie Èlektronnye Matematicheskie Izvestiya 28 Rendiconti del Seminario Matematico della Università di Padova 27 Formal Methods in System Design 26 Compositio Mathematica 26 Bulletin of the American Mathematical Society. New Series 24 Mathematische Zeitschrift 24 Semigroup Forum 24 The Journal of Logic and Algebraic Programming 23 The Mathematical Intelligencer 23 Journal of Combinatorial Theory. Series B 23 Journal of the Institute of Mathematics of Jussieu 22 Bulletin of the Section of Logic 22 Computational Complexity 22 Applied Categorical Structures 22 Selecta Mathematica. New Series 22 RAIRO. Theoretical Informatics and Applications 22 Proceedings of the Japan Academy 21 Journal of Complexity 21 Computability 20 Acta Informatica 20 Theory and Decision 20 Formal Aspects of Computing 20 Journal of the European Mathematical Society (JEMS) 19 Mathematical Proceedings of the Cambridge Philosophical Society 19 Journal of Functional Analysis 19 Acta Mathematica Hungarica 18 Applied Mathematics and Computation 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 18 Theory and Practice of Logic Programming 17 Inventiones Mathematicae ...and 421 more Journals all top 5 Cited in 61 Fields 12,995 Mathematical logic and foundations (03-XX) 3,394 Computer science (68-XX) 1,116 Order, lattices, ordered algebraic structures (06-XX) 736 General topology (54-XX) 685 Combinatorics (05-XX) 669 Group theory and generalizations (20-XX) 470 General algebraic systems (08-XX) 463 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 441 Field theory and polynomials (12-XX) 431 Category theory; homological algebra (18-XX) 382 History and biography (01-XX) 280 Number theory (11-XX) 230 General and overarching topics; collections (00-XX) 223 Functional analysis (46-XX) 218 Measure and integration (28-XX) 167 Associative rings and algebras (16-XX) 161 Commutative algebra (13-XX) 161 Probability theory and stochastic processes (60-XX) 160 Algebraic geometry (14-XX) 147 Dynamical systems and ergodic theory (37-XX) 125 Topological groups, Lie groups (22-XX) 124 Real functions (26-XX) 110 Quantum theory (81-XX) 86 Operations research, mathematical programming (90-XX) 77 Information and communication theory, circuits (94-XX) 60 Geometry (51-XX) 59 Operator theory (47-XX) 51 Statistics (62-XX) 48 Algebraic topology (55-XX) 45 Several complex variables and analytic spaces (32-XX) 43 Convex and discrete geometry (52-XX) 42 Linear and multilinear algebra; matrix theory (15-XX) 38 Numerical analysis (65-XX) 36 Sequences, series, summability (40-XX) 30 Biology and other natural sciences (92-XX) 28 Systems theory; control (93-XX) 25 Functions of a complex variable (30-XX) 25 Abstract harmonic analysis (43-XX) 25 Manifolds and cell complexes (57-XX) 24 Ordinary differential equations (34-XX) 20 Approximations and expansions (41-XX) 17 Statistical mechanics, structure of matter (82-XX) 15 Differential geometry (53-XX) 15 Global analysis, analysis on manifolds (58-XX) 13 Nonassociative rings and algebras (17-XX) 11 Relativity and gravitational theory (83-XX) 10 Special functions (33-XX) 9 Difference and functional equations (39-XX) 9 Harmonic analysis on Euclidean spaces (42-XX) 9 Mechanics of particles and systems (70-XX) 8 Partial differential equations (35-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 7 Mathematics education (97-XX) 5 \(K\)-theory (19-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