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,873 Publications (since 1936) References Indexed: 4,403 Publications with 55,900 References.
all top 5

Latest Issues

 87, No. 3 (2022) 87, No. 2 (2022) 87, No. 1 (2022) 86, No. 4 (2021) 86, No. 3 (2021) 86, No. 2 (2021) 86, No. 1 (2021) 85, No. 4 (2020) 85, No. 3 (2020) 85, No. 2 (2020) 85, No. 1 (2020) 84, No. 4 (2019) 84, No. 3 (2019) 84, No. 2 (2019) 84, No. 1 (2019) 83, No. 4 (2018) 83, No. 3 (2018) 83, No. 2 (2018) 83, No. 1 (2018) 82, No. 4 (2017) 82, No. 3 (2017) 82, No. 2 (2017) 82, No. 1 (2017) 81, No. 4 (2016) 81, No. 3 (2016) 81, No. 2 (2016) 81, No. 1 (2016) 80, No. 4 (2015) 80, No. 3 (2015) 80, No. 2 (2015) 80, No. 1 (2015) 79, No. 4 (2014) 79, No. 3 (2014) 79, No. 2 (2014) 79, No. 1 (2014) 78, No. 4 (2013) 78, No. 3 (2013) 78, No. 2 (2013) 78, No. 1 (2013) 77, No. 4 (2012) 77, No. 3 (2012) 77, No. 2 (2012) 77, No. 1 (2012) 76, No. 4 (2011) 76, No. 3 (2011) 76, No. 2 (2011) 76, No. 1 (2011) 75, No. 4 (2010) 75, No. 3 (2010) 75, No. 2 (2010) 75, No. 1 (2010) 74, No. 4 (2009) 74, No. 3 (2009) 74, No. 2 (2009) 74, No. 1 (2009) 73, No. 4 (2008) 73, No. 3 (2008) 73, No. 2 (2008) 73, No. 1 (2008) 72, No. 4 (2007) 72, No. 3 (2007) 72, No. 2 (2007) 72, No. 1 (2007) 71, No. 4 (2006) 71, No. 3 (2006) 71, No. 2 (2006) 71, No. 1 (2006) 70, No. 4 (2005) 70, No. 3 (2005) 70, No. 2 (2005) 70, No. 1 (2005) 69, No. 4 (2004) 69, No. 3 (2004) 69, No. 2 (2004) 69, No. 1 (2004) 68, No. 4 (2003) 68, No. 3 (2003) 68, No. 2 (2003) 68, No. 1 (2003) 67, No. 4 (2002) 67, No. 3 (2002) 67, No. 2 (2002) 67, No. 1 (2002) 66, No. 4 (2001) 66, No. 3 (2001) 66, No. 2 (2001) 66, No. 1 (2001) 65, No. 4 (2000) 65, No. 3 (2000) 65, No. 2 (2000) 65, No. 1 (2000) 64, No. 4 (1999) 64, No. 3 (1999) 64, No. 2 (1999) 64, No. 1 (1999) 63, No. 4 (1998) 63, No. 3 (1998) 63, No. 2 (1998) 63, No. 1 (1998) 62, No. 4 (1997) ...and 99 more Volumes
all top 5

Authors

 146 Shelah, Saharon 44 Knight, Julia F. 44 Pillay, Anand 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 Magidor, Menachem 24 Shore, Richard Arnold 23 Baldwin, John T. 23 Keisler, Howard Jerome 23 Rosser, John Barkley 21 Montalbán, Antonio 20 Apter, Arthur W. 20 Gurevich, Yuri 20 Lempp, Steffen 20 Slaman, Theodore A. 19 Blass, Andreas Raphael 19 Schindler, Ralf-Dieter 19 Soare, Robert I. 18 Ben-Yaacov, Itaï 18 Hjorth, Gregory 18 Remmel, Jeffrey B. 18 Steel, John R. 17 Hamkins, Joel David 17 Sorbi, Andrea 16 Lachlan, Alistair H. 16 Lerman, Manuel 15 Delon, Françoise 15 Greenberg, Noam 15 Nies, André Otfrid 14 Gitik, Moti 14 Hrushovski, Ehud 14 Krajíček, Jan 14 Laskowski, Michael Chris 14 McKinsey, J. C. C. 14 Miller, Russell G. 14 Myhill, John R. 14 Németi, István 14 Ng, KengMeng 14 Wang, Hao 13 Andréka, Hajnal 13 Cherlin, Gregory L. 13 Cummings, James 13 Ellentuck, Erik 13 Friedman, Harvey M. 13 Henle, James M. 13 Neeman, Itay 13 Newelski, Ludomir 13 Paris, Jeffrey Bruce 13 Simpson, Stephen G. 12 Buechler, Steven 12 Bunder, Martin W. 12 Cholak, Peter A. 12 Cooper, Stuart Barry 12 Gabbay, Dov M. 12 Goodman, Nelson 12 Harrison-Trainor, Matthew 12 Henson, C. Ward 12 Hirsch, Robin 12 Hyttinen, Tapani 12 Jäger, Gerhard 12 Jech, Thomas J. 12 Jin, Renling 12 Kechris, Alexander S. 12 Lubarsky, Robert S. 12 Takeuti, Gaisi 12 van den Dries, Lou 12 Yu, Liang 11 Baumgartner, James Earl 11 Csima, Barbara F. 11 Curry, Haskell Brooks 11 Goldfarb, Warren D. 11 Hirschfeldt, Denis Roman 11 Kleinberg, Eugene M. 11 Marker, David E. 11 Mitchell, William John 11 Väänänen, Jouko Antero 11 Welch, Philip D. 10 Adamowicz, Zofia 10 Andrews, Uri 10 Brendle, Jörg 10 Church, Alonzo 10 Fuchs, Gunter 10 Goodman, Nicolas D. 10 Grossberg, Rami P. 10 Harizanov, Valentina S. 10 Hart, Bradd T. 10 Henkin, Leon Albert 10 Hodkinson, Ian Martin 10 Kim, Byunghan 10 Kreisel, Georg 10 Kunen, Kenneth 10 Larson, Paul B. 10 Miller, Joseph S. 10 Normann, Dag ...and 2,452 more Authors
all top 5

Fields

 4,210 Mathematical logic and foundations (03-XX) 208 Field theory and polynomials (12-XX) 201 Computer science (68-XX) 184 Order, lattices, ordered algebraic structures (06-XX) 176 Group theory and generalizations (20-XX) 149 General topology (54-XX) 91 Combinatorics (05-XX) 68 Category theory; homological algebra (18-XX) 64 General algebraic systems (08-XX) 61 Number theory (11-XX) 57 Measure and integration (28-XX) 47 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) 25 Real functions (26-XX) 22 Topological groups, Lie groups (22-XX) 20 Algebraic geometry (14-XX) 19 Dynamical systems and ergodic theory (37-XX) 19 Probability theory and stochastic processes (60-XX) 18 General and overarching topics; collections (00-XX) 10 Linear and multilinear algebra; matrix theory (15-XX) 9 Geometry (51-XX) 7 Abstract harmonic analysis (43-XX) 7 Operator theory (47-XX) 7 Quantum theory (81-XX) 6 Several complex variables and analytic spaces (32-XX) 5 Algebraic topology (55-XX) 5 Information and communication theory, circuits (94-XX) 4 Convex and discrete geometry (52-XX) 3 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 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)

Citations contained in zbMATH Open

3,843 Publications have been cited 33,362 times in 17,603 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
1985
The relative efficiency of propositional proof systems. Zbl 0408.03044
Cook, Stephen A.; Reckhow, Robert A.
1979
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick
1959
Definability and decision problems in arithmetic. Zbl 0034.00801
Robinson, Julia
1949
Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409
McKinsey, J. C. C.; Tarski, Alfred
1948
Completeness in the theory of types. Zbl 0039.00801
Henkin, Leon
1950
A formulation of the simple theory of types. Zbl 0023.28901
Church, Alonzo
1940
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
1983
A formulation of the simple theory of types. JFM 66.1192.06
Church, A.
1940
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502
Craig, William
1957
A propositional calculus with denumerable matrix. Zbl 0089.24307
Dummett, Michael
1959
Intensional interpretations of functionals of finite type. I. Zbl 0174.01202
Tait, W. W.
1967
On the calculus of relations. JFM 67.0973.02
Tarski, A.
1941
Constructible falsity. Zbl 0033.24304
Nelson, David
1949
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C.
1938
A completeness theorem in modal logic. Zbl 0091.00902
Kripke, Saul A.
1959
Quantales and (noncommutative) linear logic. Zbl 0701.03026
Yetter, David N.
1990
A Borel reducibility theory for classes of countable structures. Zbl 0692.03022
Friedman, Harvey; Stanley, Lee
1989
Recursive unsolvability of a problem of Thue. Zbl 1263.03030
Post, Emil L.
1947
Flag algebras. Zbl 1146.03013
Razborov, Alexander A.
2007
Probabilities on finite models. Zbl 0341.02044
Fagin, Ronald
1976
A theorem about infinite-valued sentential logic. Zbl 0043.00901
McNaughton, Robert
1951
Borel sets and Ramsey’s theorem. Zbl 0276.04003
Galvin, Fred; Prikry, Karel
1973
On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033
Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A.
2001
The completeness of the first-order functional calculus. Zbl 0034.00602
Henkin, Leon
1949
A new proof that analytic sets are Ramsey. Zbl 0292.02054
Ellentuck, Erik
1974
Logics without the contraction rule. Zbl 0583.03018
Ono, Hiroakira; Komori, Yuichi
1985
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C.
1945
Systems of predicative analysis. Zbl 0134.01101
Feferman, S.
1964
A note on the Entscheidungsproblem. JFM 62.1058.04
Church, A.
1936
Games and full completeness for multiplicative linear logic. Zbl 0822.03007
1994
Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402
Craig, William
1957
On strongly minimal sets. Zbl 0217.30402
Baldwin, J. T.; Lachlan, A. H.
1971
On the calculus of relations. Zbl 0026.24401
Tarski, Alfred
1941
Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601
Friedberg, Richard M.
1959
Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102
Specker, Ernst
1949
Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086
Pudlák, Pavel
1997
Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102
Putnam, H.
1965
On definable subsets of p-adic fields. Zbl 0362.02046
Macintyre, Angus J.
1976
The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864
McKinsey, J. C. C.
1943
Infinite time Turing machines. Zbl 0963.03064
Hamkins, Joel David; Lewis, Andy
2000
Limiting recursion. Zbl 0203.01201
Gold, E. M.
1965
Constructible falsity and inexact predicates. Zbl 0575.03016
1984
Gödel numberings of partial recursive functions. Zbl 0088.01602
Rogers, Hartley jun.
1959
A natural extension of natural deduction. Zbl 0574.03045
Schroeder-Heister, Peter
1984
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015
Takeuti, Gaisi; Titani, Satoko
1984
One hundred and two problems in mathematical logic. Zbl 0318.02002
Friedman, Harvey
1975
Solution of a problem of Leon Henkin. Zbl 0067.00202
Löb, M. H.
1955
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029
Krajíček, Jan
1997
Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017
Avron, Arnon
1991
Ramsey’s theorem and recursion theory. Zbl 0262.02042
Jockusch, Carl G. jun.
1972
Existence and feasibility in arithmetic. Zbl 0243.02037
Parikh, Rohit
1971
Constructive set theory. Zbl 0314.02045
Myhill, John
1975
Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024
Dunn, J. Michael
1970
Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055
Hirschfeldt, Denis R.; Shore, Richard A.
2007
Reflecting on incompleteness. Zbl 0746.03046
Feferman, Solomon
1991
Saturated ideals. Zbl 0395.03031
Kunen, Kenneth
1978
The determinacy of Blackwell games. Zbl 0926.03071
Martin, Donald A.
1998
Algebraic semantics for modal logics. I, II. Zbl 0147.24805
Lemmon, E. J.
1966
Unification in intuitionistic logic. Zbl 0930.03009
Ghilardi, Silvio
1999
Every analytic set is Ramsey. Zbl 0216.01304
Silver, J.
1970
Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004
Dyckhoff, Roy
1992
On the restraining power of guards. Zbl 0958.03027
Grädel, Erich
1999
Recursive well-orderings. Zbl 0067.00303
Spector, Clifford
1955
On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009
Pitts, Andrew M.
1992
Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402
Feferman, S.
1963
Semantics for relevant logics. Zbl 0245.02028
Urquhart, Alasdair
1972
Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042
Paris, J. B.; Wilkie, A. J.; Woods, A. R.
1988
Degrees coded in jumps of orderings. Zbl 0633.03038
Knight, Julia F.
1986
Analytic determinacy and $$O^\#$$. Zbl 0398.03039
Harrington, Leo
1978
On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013
Iemhoff, Rosalie
2001
On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701
Kreisel, Georg
1952
Substructural fuzzy logics. Zbl 1139.03017
Metcalfe, George; Montagna, Franco
2007
Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071
Brattka, Vasco; Gherardi, Guido
2011
A logical analysis of some value concepts. Zbl 0943.03599
Fitch, Frederic B.
1964
Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001
van Lambalgen, Michiel
1987
Elementary embedding and infinitary combinatorics. Zbl 0272.02087
Kunen, Kenneth
1971
On sentences which are true of direct unions of algebras. Zbl 0043.24801
Horn, Alfred
1951
On the interpretation of non-finitist proofs. I. Zbl 0044.00302
Kreisel, Georg
1951
Concatenation as a basis for arithmetic. Zbl 0063.06362
Quine, Willard Van Orman
1946
Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
2001
Randomness, relativization and Turing degrees. Zbl 1090.03013
Nies, André; Stephan, Frank; Terwijn, Sebastiaan A.
2005
Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029
Krajíček, Jan; Pudlák, Pavel
1989
A constructive analysis of RM. Zbl 0639.03017
Avron, Arnon
1987
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra
2005
Cuts, consistency statements and interpretations. Zbl 0569.03024
Pudlák, Pavel
1985
Reflecting stationary sets. Zbl 0506.03014
Magidor, Menachem
1982
Resolution in type theory. Zbl 0231.02038
Andrews, Peter B.
1971
Models without indiscernibles. Zbl 0391.03027
Abramson, Fred G.; Harrington, Leo A.
1978
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044
Abrusci, V. Michele
1991
Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053
Buss, Samuel R.
1987
Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404
Richardson, D.
1968
Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904
Horn, A.
1969
Kernel contraction. Zbl 0810.03017
Hansson, Sven Ove
1994
The undecidability of entailment and relevant implication. Zbl 0581.03011
Urquhart, Alasdair
1984
Toward useful type-free theories. I. Zbl 0574.03043
Feferman, Solomon
1984
Degrees of structures. Zbl 0512.03024
Richter, Linda Jean
1981
Computational randomness and lowness. Zbl 0990.03033
Terwijn, Sebastiaan A.; Zambella, Domenico
2001
A very weak square principle. Zbl 0880.03022
Foreman, Matthew; Magidor, Menachem
1997
The modal logic of inequality. Zbl 0788.03019
de Rijke, Maarten
1992
Projective clone homomorphisms. Zbl 07370805
Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András
2021
Inquisitive bisimulation. Zbl 07370807
Ciardelli, Ivano; Otto, Martin
2021
The characterization of Weihrauch reducibility in systems containing $$E-PA^{\omega } + QF-AC^{0,0}$$. Zbl 07370811
Uftring, Patrick
2021
NS saturated and $${\Delta }_1$$-definable. Zbl 07370815
Hoffelner, Stefan
2021
Characterizing existence of a measurable cardinal via modal logic. Zbl 07370819
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
2021
Separating diagonal stationary reflection principles. Zbl 07370820
Fuchs, Gunter; Lambie-Hanson, Chris
2021
Aronszajn tree preservation and bounded forcing axioms. Zbl 07370821
Fuchs, Gunter
2021
Cores over Ramsey structures. Zbl 07370823
Mottet, Antoine; Pinsker, Michael
2021
Forcing axioms, approachability, and stationary set reflection. Zbl 07415213
Cox, Sean D.
2021
Bi-interpretation in weak set theories. Zbl 07415218
Roque Freire, Alfredo; Hamkins, Joel David
2021
Forking, imaginaries, and other features of ACFG. Zbl 07415220
D&rsquo;Elbée, Christian
2021
The poset of all logics. I: Interpretations and lattice structure. Zbl 07442015
Jansana, R.; Moraschini, T.
2021
Vaught’s conjecture for almost chainable theories. Zbl 07442017
Kurilić, Miloš S.
2021
Münchhausen Provability. Zbl 07442018
Joosten, Joost J.
2021
Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. Zbl 07442019
Kellerman, Ruaan; Goranko, Valentin
2021
Surreal ordered exponential fields. Zbl 07442020
Ehrlich, Philip; Kaplan, Elliot
2021
Associativity of the Morley product of invariant measures in NIP theories. Zbl 07442029
Conant, Gabriel; Gannon, Kyle
2021
Reflection ranks and ordinal analysis. Zbl 07457782
Pakhomov, Fedor; Walsh, James
2021
Initial self-embeddings of models of set theory. Zbl 07457791
Enayat, Ali; Mckenzie, Zachiri
2021
The reverse mathematics of theorems of Jordan and Lebesgue. Zbl 07457794
Nies, André; Triplett, Marcus A.; Yokoyama, Keita
2021
Scott complexity of countable structures. Zbl 1485.03168
Alvir, Rachael; Greenberg, Noam; Harrison-Trainor, Matthew; Turetsky, Dan
2021
Coherent extension of partial automorphisms, free amalgamation and automorphism groups. Zbl 1477.03124
Siniora, Daoud; Solecki, Sławomir
2020
Searching for an analogue of $$\text{ATR}_0$$ in the Weihrauch lattice. Zbl 1473.03026
Kihara, Takayuki; Marcone, Alberto; Pauly, Arno
2020
On isomorphism classes of computably enumerable equivalence relations. Zbl 1452.03092
2020
Guzmán, Osvaldo; Hrušák, Michael; Téllez, Osvaldo
2020
The consistency strength of long projective determinacy. Zbl 1477.03222
Aguilera, Juan P.; Müller, Sandra
2020
Indestructibility of the tree property. Zbl 1476.03072
2020
Deciding some Maltsev conditions in finite idempotent algebras. Zbl 07303632
Kazda, Alexandr; Valeriote, Matt
2020
How strong are single fixed points of normal functions? Zbl 1462.03008
Freund, Anton
2020
A note on derivability conditions. Zbl 1473.03037
Kurahashi, Taishi
2020
Punctual categoricity and universality. Zbl 1485.03174
Downey, Rod; Greenberg, Noam; Melnikov, Alexander; Meng Ng, Keng; Turetsky, Daniel
2020
Weihrauch goes Brouwerian. Zbl 1485.03156
Brattka, Vasco; Gherardi, Guido
2020
On the existence of large antichains for definable quasi-orders. Zbl 1476.03070
Miller, Benjamin D.; Vidnyánszky, Zoltán
2020
Choice-free Stone duality. Zbl 1444.03172
Bezhanishvili, Nick; Holliday, Wesley H.
2020
The Wadge order on the Scott domain is not a well-quasi-order. Zbl 1477.03186
Duparc, Jacques; Vuilleumier, Louis
2020
Assigning an isomorphism type to a hyperdegree. Zbl 1477.03144
Becker, Howard
2020
Truth and feasible reducibility. Zbl 1444.03164
Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz
2020
A minimal pair in the generic degrees. Zbl 1452.03094
Hirschfeldt, Denis R.
2020
Exact completion and constructive theories of sets. Zbl 1485.03257
Emmenegger, Jacopo; Palmgren, Erik
2020
The exact strength of the class forcing theorem. Zbl 1485.03216
Gitman, Victoria; Hamkins, Joel David; Holy, Peter; Schlicht, Philipp; Williams, Kameryn J.
2020
The logic of comparative cardinality. Zbl 1485.03064
Ding, Yifeng; Harrison-Trainor, Matthew; Holliday, Wesley H.
2020
The fundamental theorem of central element theory. Zbl 1473.03016
Badano, Mariana Vanesa; Vaggione, Diego Jose
2020
Two new series of principles in the interpretability logic of all reasonable arithmetical theories. Zbl 1471.03085
Goris, Evan; Joosten, Joost J.
2020
Slow $$p$$-point ultrafilters. Zbl 1443.03026
Jin, Renling
2020
The determined property of Baire in reverse math. Zbl 07190471
Astor, Eric P.; Dzhafarov, Damir; Montalbán, Antonio; Solomon, Reed; Westrick, Linda Brown
2020
Factorials of infinite cardinals in ZF. II: Consistency results. Zbl 1477.03217
Shen, Guozhen; Yuan, Jiachen
2020
Randomness notions and reverse mathematics. Zbl 1444.03013
Nies, André; Shafer, Paul
2020
Predicative collapsing principles. Zbl 1479.03007
Freund, Anton
2020
Voiculescu’s theorem for nonseparable $$\text{C}^{\ast}$$-algebras. Zbl 1464.03084
Vaccaro, Andrea
2020
Coding in graphs and linear orderings. Zbl 1459.03046
Knight, Julia F.; Soskova, Alexandra A.; Vatev, Stefan V.
2020
On configurations concerning cardinal characteristics at regular cardinals. Zbl 1485.03204
Ben-Neria, Omer; Garti, Shimon
2020
Categorical semantics of metric spaces and continuous logic. Zbl 1462.03031
Cho, Simon
2020
The complexity of Scott sentences of scattered linear orders. Zbl 1485.03104
Alvir, Rachael; Rossegger, Dino
2020
$$F_\sigma$$ games and reflection in $$L(\mathbb{R})$$. Zbl 1485.03193
Aguilera, J. P.
2020
On the complexity of classifying Lebesgue spaces. Zbl 1482.03008
Brown, Tyler A.; Mcnicholl, Timothy H.; Melnikov, Alexander G.
2020
Bases for functions beyond the first Baire class. Zbl 1485.03195
Carroy, Raphaël; Miller, Benjamin D.
2020
Stationary reflection. Zbl 1485.03212
Hayut, Yair; Unger, Spencer
2020
Around Rubin’s “Theories of linear order”. Zbl 1485.03137
Tanović, Predrag; Moconja, Slavko; Ilić, Dejan
2020
Elementary equivalence theorem for PAC structures. Zbl 1485.03094
Dobrowolski, Jan; Hoffmann, Daniel Max; Lee, Junguk
2020
A schematic definition of quantum polynomial time computability. Zbl 1461.81020
Yamakami, Tomoyuki
2020
Computability, orders, and solvable groups. Zbl 1485.03172
Darbinyan, Arman
2020
Dimension inequality for a definably complete uniformly locally o-minimal structure of the second kind. Zbl 1485.03134
Fujita, Masato
2020
Computability of Polish spaces up to homeomorphism. Zbl 1473.03025
Harrison-Trainor, Matthew; Melnikov, Alexander; Meng Ng, Keng
2020
The Kim-Pillay theorem for abstract elementary categories. Zbl 1485.03095
Kamsma, Mark
2020
Automatic and polynomial-time algebraic structures. Zbl 1454.03042
Bazhenov, Nikolay; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melkinov, Alexander; Ng, Keng Meng
2019
Unsound inferences make proofs shorter. Zbl 1439.03095
Aguilera, Juan P.; Baaz, Matthias
2019
Computability theory, nonstandard analysis, and their connections. Zbl 1454.03018
Normann, Dag; Sanders, Sam
2019
Iterating symmetric extensions. Zbl 1448.03038
Karagila, Asaf
2019
Independence in generic incidence structures. Zbl 1468.03038
Conant, Gabriel; Kruckman, Alex
2019
The fluted fragment revisited. Zbl 1468.03005
Pratt-Hartmann, Ian; Szwast, Wiesław; Tendera, Lidia
2019
Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Zbl 1444.03063
Kikot, Stanislav; Kurucz, Agi; Tanaka, Yoshihito; Wolter, Frank; Zakharyaschev, Michael
2019
The Ziegler spectrum of the ring of entire complex valued functions. Zbl 1437.13020
L&rsquo;Innocente, Sonia; Point, Françoise; Puninski, Gena; Toffalori, Carlo
2019
A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction. Zbl 1467.03031
Kentaro, Sato
2019
Existence of modeling limits for sequences of sparse structures. Zbl 1444.03126
Nešetřil, Jaroslav; de Mendez, Patrice Ossona
2019
Madness in vector spaces. Zbl 1471.03073
Smythe, Iian B.
2019
Blowing up the power of a singular cardinal of uncountable cofinality. Zbl 1455.03063
Gitik, Moti
2019
Characterizing downwards closed, strongly first-order, relativizable dependencies. Zbl 1468.03031
Galliani, Pietro
2019
A correct polynomial translation of S4 into intuitionistic logic. Zbl 1457.03041
Goré, Rajeev; Thomson, Jimmy
2019
Minimum models of second-order set theories. Zbl 1453.03033
Williams, Kameryn J.
2019
ITP, ISP, and SCH. Zbl 1476.03071
Hachtman, Sherwood; Sinapova, Dima
2019
Axiomatization of provable $$n$$-provability. Zbl 1444.03165
Kolmakov, Evgeny; Beklemishev, Lev
2019
Discrete metric spaces: structure, enumeration, and 0-1 laws. Zbl 1476.03038
Mubayi, Dhruv; Terry, Caroline
2019
Henselian valued fields and inp-minimality. Zbl 1453.03030
Chernikov, Artem; Simon, Pierre
2019
Definable minimal collapse functions at arbitrary projective levels. Zbl 1453.03053
2019
Games and Ramsey-like cardinals. Zbl 1444.03146
Nielsen, Dan Saattrup; Welch, Philip
2019
Weak saturation and weak amalgamation property. Zbl 1427.18004
Di Liberti, Ivan
2019
Strong density of definable types and closed ordered differential fields. Zbl 1450.03006
Brouette, Quentin; Kovacsics, Pablo Cubides; Point, Françoise
2019
An abstract elementary class nonaxiomatizable in $$L_{\infty ,\kappa}$$. Zbl 1429.18004
Henry, Simon
2019
On the commutativity of pull-back and push-forward functors on motivic constructible functions. Zbl 1430.14036
Cely, Jorge; Raibaut, Michel
2019
Local Keisler measures and NIP formulas. Zbl 1468.03039
Gannon, Kyle
2019
A tail cone version of the Halpern-Läuchli theorem at a large cardinal. Zbl 1468.03053
Zhang, Jing
2019
A separation result for countable unions of Borel rectangles. Zbl 1479.03019
Lecomte, Dominique
2019
Destructibility of the tree property at $$\aleph_{\omega + 1}$$. Zbl 1443.03028
Hayut, Yair; Magidor, Menachem
2019
A new dp-minimal expansion of the integers. Zbl 1468.03037
Alouf, Eran; D&rsquo;Elbée, Christian
2019
The Harrington-Shelah model with large continuum. Zbl 1453.03050
Gilton, Thomas; Krueger, John
2019
On a metric generalization of the $$tt$$-degrees and effective dimension theory. Zbl 1455.03055
Kihara, Takayuki
2019
Markov’s principle and subsystems of intuitionistic analysis. Zbl 07186311
Moschovakis, Joan Rand
2019
Pure inductive logic with functions. Zbl 1454.03033
Howarth, Elizabeth; Paris, Jeffrey B.
2019
A new minimal non-$$\sigma$$-scattered linear order. Zbl 07149980
Ramandi, Hossein Lamei
2019
Weakly remarkable cardinals, Erdős cardinals, and the generic Vopěnka principle. Zbl 1476.03074
Wilson, Trevor M.
2019
...and 1484 more Documents
all top 5

Cited by 9,536 Authors

 316 Shelah, Saharon 122 Downey, Rodney Graham 91 Pillay, Anand 89 Friedman, Sy-David 79 Stephan, Frank 70 Jain, Sanjay 64 Apter, Arthur W. 62 Shore, Richard Arnold 57 Nies, André Otfrid 50 Bazhenov, Nikolaĭ Alekseevich 49 Greenberg, Noam 49 Knight, Julia F. 46 Montalbán, Antonio 44 Hamkins, Joel David 44 Slaman, Theodore A. 43 Gitik, Moti 43 Maksimova, Larisa L’vovna 43 Rybakov, Vladimir Vladimirovich 42 Jockusch, Carl G. jun. 42 Lempp, Steffen 42 Melnikov, Alexander G. 41 Rathjen, Michael 40 Sorbi, Andrea 40 Visser, Albert 39 Baldwin, John T. 38 Kanovei, Vladimir G. 38 Miller, Joseph S. 38 Todorcevic, Stevo B. 38 van Benthem, Johan F. A. K. 37 Barmpalias, George 37 Hansson, Sven Ove 37 Kamide, Norihiro 37 Magidor, Menachem 37 Selivanov, Viktor L’vovich 36 Gabbay, Dov M. 35 Harizanov, Valentina S. 35 Kohlenbach, Ulrich Wilhelm 35 Miller, Russell G. 35 Ng, KengMeng 34 Avron, Arnon 33 Ghilardi, Silvio 33 Hrushovski, Ehud 33 Kalimullin, Iskander Shagitovich 33 Remmel, Jeffrey B. 32 Bezhanishvili, Nick 32 Cholak, Peter A. 32 Hrušák, Michael 32 Rinot, Assaf 31 Montagna, Franco 31 Schindler, Ralf-Dieter 31 Schmerl, James H. 31 Wagner, Frank Olaf 30 Bridges, Douglas Suth 30 Case, John 30 Cenzer, Douglas 30 Cummings, James 30 Krajíček, Jan 30 Kulpeshov, Beibut Shaiykovich 30 Laskowski, Michael Chris 30 Shlapentokh, Alexandra 29 Bezhanishvili, Guram 29 Hodkinson, Ian Martin 29 Hyttinen, Tapani 29 Mundici, Daniele 28 Beyersdorff, Olaf 28 Coquand, Thierry 28 Feferman, Solomon 28 Wansing, Heinrich Theodor 27 Enayat, Ali 27 Fishburn, Peter Clingerman 27 Friedman, Harvey M. 27 Goncharov, Sergeĭ Savost’yanovich 27 Keisler, Howard Jerome 27 Simpson, Stephen G. 27 Vasey, Sebastien 27 Weiermann, Andreas 27 Wu, Guohua 26 Andrews, Uri 26 Baaz, Matthias 26 Ben-Yaacov, Itaï 26 Cherlin, Gregory L. 26 Džamonja, Mirna 26 Hájek, Petr 26 Humberstone, Lloyd 26 Matet, Pierre 26 Nešetřil, Jaroslav 26 Sayed Ahmed, Tarek 26 Yu, Liang 25 Beklemishev, Lev D. 25 Goldblatt, Robert Ian 25 Kechris, Alexander S. 25 Macintyre, Angus John 25 Peterzil, Ya’acov 25 Schlicht, Philipp 25 Soare, Robert I. 25 Solomon, Reed 25 Väänänen, Jouko Antero 24 Arai, Toshiyasu 24 Bienvenu, Laurent 24 Brendle, Jörg ...and 9,436 more Authors
all top 5

Cited in 561 Journals

 1,654 Annals of Pure and Applied Logic 1,632 The Journal of Symbolic Logic 759 Archive for Mathematical Logic 750 Theoretical Computer Science 742 Studia Logica 466 Journal of Philosophical Logic 403 Transactions of the American Mathematical Society 381 Israel Journal of Mathematics 374 Proceedings of the American Mathematical Society 337 Notre Dame Journal of Formal Logic 302 Synthese 299 The Bulletin of Symbolic Logic 291 Mathematical Logic Quarterly (MLQ) 256 Algebra Universalis 238 Information and Computation 237 Algebra and Logic 237 The Review of Symbolic Logic 211 Topology and its Applications 181 Journal of Mathematical Logic 169 Journal of Algebra 158 Journal of Applied Non-Classical Logics 153 Artificial Intelligence 148 Advances in Mathematics 144 Journal of Computer and System Sciences 143 Archiv für Mathematische Logik und Grundlagenforschung 142 Fuzzy Sets and Systems 139 Journal of Pure and Applied Algebra 129 History and Philosophy of Logic 128 MSCS. Mathematical Structures in Computer Science 121 Siberian Mathematical Journal 117 Logical Methods in Computer Science 116 Journal of Automated Reasoning 111 Logica Universalis 108 Journal of Applied Logic 106 Journal of Logic, Language and Information 93 Fundamenta Mathematicae 79 Information Processing Letters 69 Discrete Mathematics 69 Mathematical Notes 69 International Journal of Approximate Reasoning 69 Annals of Mathematics and Artificial Intelligence 69 Erkenntnis 65 Communications in Algebra 65 Theory of Computing Systems 65 Soft Computing 63 Journal of Mathematical Psychology 63 Order 63 Logic and Logical Philosophy 58 Journal of Symbolic Computation 52 International Journal of Theoretical Physics 52 Journal of Mathematical Sciences (New York) 51 Information Sciences 46 International Journal of Algebra and Computation 44 Journal of Logical and Algebraic Methods in Programming 42 Journal of Combinatorial Theory. Series A 40 Journal of Soviet Mathematics 39 Mathematische Annalen 39 European Journal of Combinatorics 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 35 Sibirskie Èlektronnye Matematicheskie Izvestiya 32 Journal of Mathematical Analysis and Applications 32 Journal of the American Mathematical Society 32 Lobachevskii Journal of Mathematics 32 Computability 31 Journal of Functional Programming 30 Formal Methods in System Design 28 Rendiconti del Seminario Matematico della Università di Padova 27 Bulletin of the American Mathematical Society. New Series 26 Compositio Mathematica 26 Mathematische Zeitschrift 26 Selecta Mathematica. New Series 25 Journal of Combinatorial Theory. Series B 25 Journal of the European Mathematical Society (JEMS) 24 The Mathematical Intelligencer 24 Semigroup Forum 24 Applied Categorical Structures 24 The Journal of Logic and Algebraic Programming 23 Acta Mathematica Hungarica 23 Journal of the Institute of Mathematics of Jussieu 22 Bulletin of the Section of Logic 22 Computational Complexity 22 RAIRO. Theoretical Informatics and Applications 22 Proceedings of the Japan Academy 21 Acta Informatica 21 Journal of Complexity 21 Foundations of Science 21 Theory and Practice of Logic Programming 21 Forum of Mathematics, Sigma 20 Journal of Functional Analysis 20 Theory and Decision 20 Formal Aspects of Computing 19 Mathematical Proceedings of the Cambridge Philosophical Society 18 Applied Mathematics and Computation 18 Inventiones Mathematicae 18 Monatshefte für Mathematik 18 Nagoya Mathematical Journal ...and 461 more Journals
all top 5

Cited in 61 Fields

 13,982 Mathematical logic and foundations (03-XX) 3,727 Computer science (68-XX) 1,207 Order, lattices, ordered algebraic structures (06-XX) 791 General topology (54-XX) 766 Combinatorics (05-XX) 728 Group theory and generalizations (20-XX) 513 General algebraic systems (08-XX) 492 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 473 Field theory and polynomials (12-XX) 471 Category theory; homological algebra (18-XX) 415 History and biography (01-XX) 317 Number theory (11-XX) 248 Functional analysis (46-XX) 243 General and overarching topics; collections (00-XX) 231 Measure and integration (28-XX) 180 Algebraic geometry (14-XX) 180 Associative rings and algebras (16-XX) 176 Probability theory and stochastic processes (60-XX) 167 Commutative algebra (13-XX) 161 Dynamical systems and ergodic theory (37-XX) 144 Topological groups, Lie groups (22-XX) 131 Real functions (26-XX) 120 Quantum theory (81-XX) 99 Operations research, mathematical programming (90-XX) 85 Information and communication theory, circuits (94-XX) 64 Operator theory (47-XX) 62 Geometry (51-XX) 55 Statistics (62-XX) 53 Algebraic topology (55-XX) 48 Linear and multilinear algebra; matrix theory (15-XX) 46 Convex and discrete geometry (52-XX) 45 Several complex variables and analytic spaces (32-XX) 41 Sequences, series, summability (40-XX) 40 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) 20 Approximations and expansions (41-XX) 18 Global analysis, analysis on manifolds (58-XX) 18 Statistical mechanics, structure of matter (82-XX) 15 Differential geometry (53-XX) 13 Nonassociative rings and algebras (17-XX) 13 Relativity and gravitational theory (83-XX) 11 Special functions (33-XX) 10 Difference and functional equations (39-XX) 10 Harmonic analysis on Euclidean spaces (42-XX) 9 Partial differential equations (35-XX) 9 Mechanics of particles and systems (70-XX) 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)