×

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-issues
http://projecteuclid.org/jsl
http://www.jstor.org/action/showPublication?journalCode=jsymboliclogic
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 4,974 Publications (since 1936)
References Indexed: 4,504 Publications with 58,431 References.
all top 5

Latest Issues

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

Authors

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

Fields

4,326 Mathematical logic and foundations (03-XX)
211 Field theory and polynomials (12-XX)
204 Computer science (68-XX)
193 Order, lattices, ordered algebraic structures (06-XX)
182 Group theory and generalizations (20-XX)
155 General topology (54-XX)
98 Combinatorics (05-XX)
73 Category theory; homological algebra (18-XX)
67 General algebraic systems (08-XX)
64 Number theory (11-XX)
61 Measure and integration (28-XX)
50 Associative rings and algebras (16-XX)
42 Functional analysis (46-XX)
37 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
33 Commutative algebra (13-XX)
25 History and biography (01-XX)
25 Real functions (26-XX)
22 Topological groups, Lie groups (22-XX)
22 Dynamical systems and ergodic theory (37-XX)
21 Algebraic geometry (14-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 Abstract harmonic analysis (43-XX)
9 Geometry (51-XX)
9 Quantum theory (81-XX)
7 Operator theory (47-XX)
6 Several complex variables and analytic spaces (32-XX)
6 Algebraic topology (55-XX)
5 Convex and discrete geometry (52-XX)
5 Information and communication theory, circuits (94-XX)
3 Nonassociative rings and algebras (17-XX)
3 Functions of a complex variable (30-XX)
3 Ordinary differential equations (34-XX)
3 Manifolds and cell complexes (57-XX)
2 Global analysis, analysis on manifolds (58-XX)
2 Statistics (62-XX)
2 Relativity and gravitational theory (83-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 Operations research, mathematical programming (90-XX)

Publications by Year

Citations contained in zbMATH Open

3,991 Publications have been cited 38,035 times in 19,611 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
624
1985
The relative efficiency of propositional proof systems. Zbl 0408.03044
Cook, Stephen A.; Reckhow, Robert A.
256
1979
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick
188
1959
Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409
McKinsey, J. C. C.; Tarski, Alfred
172
1948
Definability and decision problems in arithmetic. Zbl 0034.00801
Robinson, Julia
169
1949
Completeness in the theory of types. Zbl 0039.00801
Henkin, Leon
165
1950
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
158
1983
Constructible falsity. Zbl 0033.24304
Nelson, David
155
1949
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502
Craig, William
153
1957
A formulation of the simple theory of types. Zbl 0023.28901
Church, Alonzo
152
1940
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C.
149
1938
Intensional interpretations of functionals of finite type. I. Zbl 0174.01202
Tait, W. W.
149
1967
A propositional calculus with denumerable matrix. Zbl 0089.24307
Dummett, Michael
143
1959
A completeness theorem in modal logic. Zbl 0091.00902
Kripke, Saul A.
140
1959
Quantales and (noncommutative) linear logic. Zbl 0701.03026
Yetter, David N.
130
1990
Flag algebras. Zbl 1146.03013
Razborov, Alexander A.
130
2007
Recursive unsolvability of a problem of Thue. Zbl 1263.03030
Post, Emil L.
128
1947
A Borel reducibility theory for classes of countable structures. Zbl 0692.03022
Friedman, Harvey; Stanley, Lee
126
1989
Probabilities on finite models. Zbl 0341.02044
Fagin, Ronald
125
1976
On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033
Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A.
113
2001
A theorem about infinite-valued sentential logic. Zbl 0043.00901
McNaughton, Robert
112
1951
Borel sets and Ramsey’s theorem. Zbl 0276.04003
Galvin, Fred; Prikry, Karel
109
1973
A new proof that analytic sets are Ramsey. Zbl 0292.02054
Ellentuck, Erik
106
1974
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C.
106
1945
Logics without the contraction rule. Zbl 0583.03018
Ono, Hiroakira; Komori, Yuichi
104
1985
The completeness of the first-order functional calculus. Zbl 0034.00602
Henkin, Leon
104
1949
Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086
Pudlák, Pavel
103
1997
Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601
Friedberg, Richard M.
96
1959
Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402
Craig, William
96
1957
On the calculus of relations. Zbl 0026.24401
Tarski, Alfred
95
1941
Systems of predicative analysis. Zbl 0134.01101
Feferman, S.
95
1964
Constructible falsity and inexact predicates. Zbl 0575.03016
Almukdad, Ahmad; Nelson, David
93
1984
Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102
Specker, Ernst
93
1949
Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102
Putnam, H.
90
1965
Games and full completeness for multiplicative linear logic. Zbl 0822.03007
Abramsky, Samson; Jagadeesan, Radha
89
1994
On strongly minimal sets. Zbl 0217.30402
Baldwin, J. T.; Lachlan, A. H.
88
1971
On definable subsets of p-adic fields. Zbl 0362.02046
Macintyre, Angus J.
88
1976
The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864
McKinsey, J. C. C.
87
1943
Reflecting on incompleteness. Zbl 0746.03046
Feferman, Solomon
86
1991
A natural extension of natural deduction. Zbl 0574.03045
Schroeder-Heister, Peter
83
1984
Infinite time Turing machines. Zbl 0963.03064
Hamkins, Joel David; Lewis, Andy
83
2000
Gödel numberings of partial recursive functions. Zbl 0088.01602
Rogers, Hartley jun.
83
1959
One hundred and two problems in mathematical logic. Zbl 0318.02002
Friedman, Harvey
83
1975
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029
Krajíček, Jan
82
1997
Limiting recursion. Zbl 0203.01201
Gold, E. M.
80
1965
Saturated ideals. Zbl 0395.03031
Kunen, Kenneth
79
1978
Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017
Avron, Arnon
78
1991
Existence and feasibility in arithmetic. Zbl 0243.02037
Parikh, Rohit
78
1971
Algebraic semantics for modal logics. I, II. Zbl 0147.24805
Lemmon, E. J.
78
1966
Solution of a problem of Leon Henkin. Zbl 0067.00202
Löb, M. H.
77
1955
Ramsey’s theorem and recursion theory. Zbl 0262.02042
Jockusch, Carl G. jun.
76
1972
The determinacy of Blackwell games. Zbl 0926.03071
Martin, Donald A.
75
1998
Constructive set theory. Zbl 0314.02045
Myhill, John
75
1975
Semantics for relevant logics. Zbl 0245.02028
Urquhart, Alasdair
74
1972
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015
Takeuti, Gaisi; Titani, Satoko
74
1984
On the restraining power of guards. Zbl 0958.03027
Grädel, Erich
73
1999
Unification in intuitionistic logic. Zbl 0930.03009
Ghilardi, Silvio
72
1999
On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009
Pitts, Andrew M.
71
1992
Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004
Dyckhoff, Roy
71
1992
Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024
Dunn, J. Michael
70
1970
On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013
Iemhoff, Rosalie
69
2001
Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055
Hirschfeldt, Denis R.; Shore, Richard A.
68
2007
Every analytic set is Ramsey. Zbl 0216.01304
Silver, J.
67
1970
Substructural fuzzy logics. Zbl 1139.03017
Metcalfe, George; Montagna, Franco
67
2007
Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001
van Lambalgen, Michiel
65
1987
Elementary embedding and infinitary combinatorics. Zbl 0272.02087
Kunen, Kenneth
65
1971
Degrees coded in jumps of orderings. Zbl 0633.03038
Knight, Julia F.
65
1986
On sentences which are true of direct unions of algebras. Zbl 0043.24801
Horn, Alfred
65
1951
On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701
Kreisel, Georg
65
1952
Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402
Feferman, S.
65
1963
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra
63
2005
Recursive well-orderings. Zbl 0067.00303
Spector, Clifford
62
1955
A logical analysis of some value concepts. Zbl 0943.03599
Fitch, Frederic B.
61
1964
Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071
Brattka, Vasco; Gherardi, Guido
61
2011
On the interpretation of non-finitist proofs. I. Zbl 0044.00302
Kreisel, Georg
61
1951
Randomness, relativization and Turing degrees. Zbl 1090.03013
Nies, André; Stephan, Frank; Terwijn, Sebastiaan A.
61
2005
Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404
Richardson, D.
61
1968
Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029
Krajíček, Jan; Pudlák, Pavel
60
1989
Concatenation as a basis for arithmetic. Zbl 0063.06362
Quine, Willard Van Orman
59
1946
Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
59
2001
Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042
Paris, J. B.; Wilkie, A. J.; Woods, A. R.
58
1988
Analytic determinacy and \(O^\#\). Zbl 0398.03039
Harrington, Leo
58
1978
Reflecting stationary sets. Zbl 0506.03014
Magidor, Menachem
58
1982
Resolution in type theory. Zbl 0231.02038
Andrews, Peter B.
55
1971
Models without indiscernibles. Zbl 0391.03027
Abramson, Fred G.; Harrington, Leo A.
55
1978
Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053
Buss, Samuel R.
54
1987
A constructive analysis of RM. Zbl 0639.03017
Avron, Arnon
54
1987
Toward useful type-free theories. I. Zbl 0574.03043
Feferman, Solomon
54
1984
Fibered categories and the foundations of naive category theory. Zbl 0564.18001
Bénabou, Jean
54
1985
Cuts, consistency statements and interpretations. Zbl 0569.03024
Pudlák, Pavel
54
1985
Kernel contraction. Zbl 0810.03017
Hansson, Sven Ove
53
1994
The undecidability of entailment and relevant implication. Zbl 0581.03011
Urquhart, Alasdair
52
1984
Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904
Horn, A.
52
1969
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044
Abrusci, V. Michele
51
1991
Degrees of structures. Zbl 0512.03024
Richter, Linda Jean
51
1981
Recursive isomorphism types of recursive Boolean algebras. Zbl 0543.03031
Remmel, J. B.
49
1981
The modal logic of inequality. Zbl 0788.03019
de Rijke, Maarten
49
1992
Probabilities over rich languages, testing and randomness. Zbl 0501.60006
Gaifman, Haim; Snir, Marc
49
1982
On formulas of one variable in intuitionistic propositional calculus. Zbl 0108.00302
Nishimura, Iwao
49
1960
Decidability and undecidability of extensions of second (first) order theory of (generalized) successor. Zbl 0144.24501
Elgot, Calvin C.; Rabin, Michael O.
49
1966
Locally o-minimal structures with tame topological properties. Zbl 1518.03006
Fujita, Masato
4
2023
On restrictions of ultrafilters from generic extensions to ground models. Zbl 07657279
Gitik, Moti; Kaplan, Eyal
2
2023
Cellular categories and stable independence. Zbl 1514.18006
Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien
2
2023
Some stable non-elementary classes of modules. Zbl 07657276
Mazari-Armida, Marcos
2
2023
How strong is Ramsey’s theorem if infinity can be weak? Zbl 07691754
Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.; Yokoyama, Keita
2
2023
Bohr compactifications of groups and rings. Zbl 07735947
Gismatullin, Jakub; Jagiella, Grzegorz; Krupiński, Krzysztof
2
2023
Elimination of imaginaries in ordered abelian groups with bounded regular rank. Zbl 07781917
Vicaría, Mariana
2
2023
On sequences of homomorphisms into measure algebras and the Efimov problem. Zbl 1528.28005
Borodulin-Nadzieja, Piotr; Sobota, Damian
1
2023
The poset of all logics. II: Leibniz classes and hierarchy. Zbl 07657284
Jansana, R.; Moraschini, T.
1
2023
Most(?) theories have Borel complete reducts. Zbl 07657287
Laskowski, Michael C.; Ulrich, Douglas S.
1
2023
Metrics for formal structures, with an application to Kripke models and their dynamics. Zbl 07691748
Klein, Dominik; Rendsvig, Rasmus K.
1
2023
Model theory and proof theory of the global reflection principle. Zbl 07691759
Łełyk, Mateusz Zbigniew
1
2023
Trees and stationary reflection at double successors of regular cardinals. Zbl 07691760
Gilton, Thomas; Levine, Maxwell; Stejskalová, Šárka
1
2023
Ideal operators and higher indescribability. Zbl 07691762
Cody, Brent; Holy, Peter
1
2023
Finitist axiomatic truth. Zbl 07657274
Kentaro, Sato; Walker, Jan
1
2023
The weak Vopěnka principle for definable classes of structures. Zbl 07657278
Bagaria, Joan; Wilson, Trevor M.
1
2023
More on the preservation of large cardinals under class forcing. Zbl 07657283
Bagaria, Joan; Poveda, Alejandro
1
2023
Almost theorems of hyperarithmetic analysis. Zbl 1525.03056
Shore, Richard A.
1
2023
Transitivity, lowness, and ranks in NSOP\(_1\) theories. Zbl 07735941
Chernikov, Artem; Kim, Byunghan; Ramsey, Nicholas
1
2023
The embedding property for sorted profinite groups. Zbl 1531.81109
Lee, Junguk
1
2023
Definability of Henselian valuations by conditions on the value group. Zbl 07735945
Krapp, Lothar Sebastian; Kuhlmann, Salma; Link, Moritz
1
2023
Expanding the reals by continuous functions adds no computational power. Zbl 07735946
Andrews, Uri; Knight, Julia F.; Kuyper, Rutger; Miller, Joseph S.; Soskova, Mariya I.
1
2023
The discontinuity problem. Zbl 07735950
Brattka, Vasco
1
2023
Model theory of derivations of the Frobenius map revisited. Zbl 07735951
Gogolok, Jakub
1
2023
Knaster and friends. III: Subadditive colorings. Zbl 07735952
Lambie-Hanson, Chris; Rinot, Assaf
1
2023
The diagonal strong reflection principle and its fragments. Zbl 07735953
Cox, Sean D.; Fuchs, Gunter
1
2023
Addendum to: “The automorphism group of the Fraïssé limit of finite Heyting algebras”. Zbl 07735955
Yamamoto, Kentarô
1
2023
A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. Zbl 1510.03023
Nemoto, Takako; Kentaro, Sato
7
2022
Applications of pcf theory to the study of ideals on \(P_{\kappa}(\lambda)\). Zbl 1523.03020
Matet, Pierre
5
2022
A Q-wadge hierarchy in quasi-Polish spaces. Zbl 07541920
Selivanov, Victor
5
2022
On non-compact \(p\)-adic definable groups. Zbl 1512.03057
Johnson, Will; Yao, Ningyuan
4
2022
Forcing constructions and countable Borel equivalence relations. Zbl 1526.03005
Gao, Su; Jackson, Steve; Krohne, Edward; Seward, Brandon
4
2022
Ways of destruction. Zbl 07576893
Farkas, Barnabás; Zdomskyy, Lyubomyr
3
2022
Mutual interpretability of weak essentially undecidable theories. Zbl 07620694
Damnjanovic, Zlatan
3
2022
On the uncountability of \(\mathbb{R}\). Zbl 1523.03004
Normann, Dag; Sanders, Sam
3
2022
Higher independence. Zbl 07620701
Fischer, Vera; Montoya, Diana Carolina
3
2022
Interpreting a field in its Heisenberg group. Zbl 1531.03075
Alvir, Rachael; Calvert, Wesley; Goodman, Grant; Harizanov, Valentina; Knight, Julia; Miller, Russell; Morozov, Andrey; Soskova, Alexandra; Weisshaar, Rose
2
2022
The tree of tuples of a structure. Zbl 1504.03024
Harrison-Trainor, Matthew; Montalbán, Antonio
2
2022
Non-classical foundations of set theory. Zbl 07506781
Tarafder, Sourav
2
2022
Closed and unbounded classes and the Härtig quantifier model. Zbl 1510.03020
Welch, Philip D.
2
2022
Identity crisis between supercompactness and Vǒpenka’s principle. Zbl 07541916
Hayut, Yair; Magidor, Menachem; Poveda, Alejandro
2
2022
Tree forcing and definable maximal Independent sets in hypergraphs. Zbl 07620696
Schilhan, Jonathan
2
2022
On equational completeness Theorems. Zbl 07620699
Moraschini, Tommaso
2
2022
Most simple extensions of \(\mathbf{FL_e}\) are undecidable. Zbl 1531.03057
Galatos, Nikolaos; St. John, Gavin
1
2022
Relationships between computability-theoretic properties of problems. Zbl 1507.03067
Downey, Rod; Greenberg, Noam; Harrison-Trainor, Matthew; Patey, Ludovic; Turetsky, Dan
1
2022
Ramsey-like theorems and moduli of computation. Zbl 1505.03028
Patey, Ludovic
1
2022
Combinatorics of ultrafilters on Cohen and random algebras. Zbl 1510.03015
Brendle, Jörg; Parente, Francesco
1
2022
Reconstruction of NON-\( \aleph_0\) -categorical theories. Zbl 07506774
Ben Yaacov, Itaï
1
2022
Density-like and generalized density ideals. Zbl 07506777
Kwela, Adam; Leonetti, Paolo
1
2022
HTP-complete rings of rational numbers. Zbl 1501.12003
Miller, Russell
1
2022
Notes on the DPRM property for listable structures. Zbl 1500.11093
Pasten, Hector
1
2022
Ramsey’s coheirs. Zbl 1486.05304
Colla, Eugenio; Zambella, Domenico
1
2022
Descriptive complexity in Cantor series. Zbl 1531.03082
Airey, Dylan; Jackson, Steve; Mance, Bill
1
2022
Yet another ideal version of the bounding number. Zbl 1504.03025
Filipów, Rafał; Kwela, Adam
1
2022
Counting siblings in universal theories. Zbl 1531.03073
Braunfeld, Samuel; Laskowski, Michael C.
1
2022
Initial segments of the degrees of ceers. Zbl 1507.03096
Andrews, Uri; Sorbi, Andrea
1
2022
First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth. Zbl 1518.03016
Egrot, Rob; Hirsch, Robin
1
2022
Epsilon theorems in intermediate logics. Zbl 07541918
Baaz, Matthias; Zach, Richard
1
2022
The \(\Sigma_1\)-definable universal finite sequence. Zbl 07541922
Hamkins, Joel David; Williams, Kameryn J.
1
2022
Information in propositional proofs and algorithmic proof search. Zbl 07541925
Krajíček, Jan
1
2022
The consistency strength of the perfect set property for universally Baire sets of reals. Zbl 1504.03028
Schindler, Ralf; Wilson, Trevor M.
1
2022
A structural dichotomy in the enumeration degrees. Zbl 1506.03097
Ganchev, Hristo A.; Kalimullin, Iskander Sh.; Miller, Joseph S.; Soskova, Mariya I.
1
2022
Embeddings into outer models. Zbl 1523.03021
Eskew, Monroe; Friedman, Sy-David
1
2022
Projective clone homomorphisms. Zbl 1529.03192
Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András
19
2021
Reflection ranks and ordinal analysis. Zbl 1511.03018
Pakhomov, Fedor; Walsh, James
8
2021
The reverse mathematics of theorems of Jordan and Lebesgue. Zbl 07457794
Nies, André; Triplett, Marcus A.; Yokoyama, Keita
5
2021
The poset of all logics. I: Interpretations and lattice structure. Zbl 1509.03177
Jansana, R.; Moraschini, T.
4
2021
Prenex normal form theorems in semi-classical arithmetic. Zbl 1509.03160
Fujiwara, Makoto; Kurahashi, Taishi
4
2021
The characterization of Weihrauch reducibility in systems containing \(\mathrm{E}\text{-}\mathrm{PA}^\omega+\mathrm{QF}\text{-}\mathrm{AC}^{0,0}\). Zbl 1529.03224
Uftring, Patrick
4
2021
Separating diagonal stationary reflection principles. Zbl 1529.03231
Fuchs, Gunter; Lambie-Hanson, Chris
4
2021
Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. Zbl 1509.03116
Kellerman, Ruaan; Goranko, Valentin
3
2021
Associativity of the Morley product of invariant measures in NIP theories. Zbl 1509.03104
Conant, Gabriel; Gannon, Kyle
3
2021
Forcing axioms, approachability, and stationary set reflection. Zbl 07415213
Cox, Sean D.
3
2021
Forking, imaginaries, and other features of ACFG. Zbl 07415220
D’Elbée, Christian
3
2021
Finding descending sequences through ill-founded linear orders. Zbl 07415227
Goh, Jun Le; Pauly, Arno; Valenti, Manlio
3
2021
Shortening Clopen games. Zbl 07457789
Aguilera, Juan P.
3
2021
Generic coding with help and amalgamation failure. Zbl 07457783
Friedman, Sy-David; Hathaway, Dan
2
2021
A comparison of various analytic choice principles. Zbl 07457786
D’Auriac, Paul-Elliot Anglès; Kihara, Takayuki
2
2021
HOD in inner models with Woodin cardinals. Zbl 1505.03099
Müller, Sandra; Sargsyan, Grigor
2
2021
Vaught’s conjecture for almost chainable theories. Zbl 1509.03101
Kurilić, Miloš S.
2
2021
Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation. Zbl 1477.18011
Maruyama, Yoshihiro
2
2021
Inquisitive bisimulation. Zbl 1529.03144
Ciardelli, Ivano; Otto, Martin
2
2021
Classes of barren extensions. Zbl 1487.03056
Dobrinen, Natasha; Hathaway, Dan
2
2021
NS saturated and \({\Delta }_1\)-definable. Zbl 1529.03249
Hoffelner, Stefan
2
2021
A predicative variant of Hyland’s effective topos. Zbl 07415210
Maietti, Maria Emilia; Maschio, Samuele
2
2021
Stably measurable cardinals. Zbl 07415211
Welch, Philip D.
2
2021
Aronszajn tree preservation and bounded forcing axioms. Zbl 1529.03258
Fuchs, Gunter
2
2021
Strongly minimal Steiner systems. I: Existence. Zbl 07457787
Baldwin, John; Paolini, Gianluca
2
2021
Maltsev conditions for general congruence meet-semidistributive algebras. Zbl 1487.08002
Olšák, Miroslav
1
2021
More ZFC inequalities between cardinal invariants. Zbl 1509.03147
Fischer, Vera; Soukup, Dániel T.
1
2021
Fraïssé limits for relational metric structures. Zbl 1509.03102
Bryant, David; Nies, André; Tupper, Paul
1
2021
Münchhausen provability. Zbl 1509.03162
Joosten, Joost J.
1
2021
Surreal ordered exponential fields. Zbl 1495.03057
Ehrlich, Philip; Kaplan, Elliot
1
2021
Ordinal analysis of partial combinatory algebras. Zbl 1509.03128
Shafer, Paul; Terwijn, Sebastiaan A.
1
2021
Countably perfectly meager sets. Zbl 1509.03146
Pol, Roman; Zakrzewski, Piotr
1
2021
Weak canonical bases in \(\operatorname{NSOP}_1\) theories. Zbl 07442027
Kim, Byunghan
1
2021
The modal logic of \(\sigma\)-centered forcing and related forcing classes. Zbl 1529.03255
Ya’Ar, Ur
1
2021
On wide Aronszajn trees in the presence of MA. Zbl 1529.03230
Džamonja, Mirna; Shelah, Saharon
1
2021
The modal logics of Kripke-Feferman truth. Zbl 1491.03015
Nicolai, Carlo; Stern, Johannes
1
2021
The relation between two diminished choice principles. Zbl 1487.03059
Schumacher, Salome
1
2021
...and 1565 more Documents
all top 5

Cited by 10,309 Authors

345 Shelah, Saharon
128 Downey, Rodney Graham
99 Pillay, Anand
93 Friedman, Sy-David
84 Stephan, Frank
70 Apter, Arthur W.
70 Jain, Sanjay
69 Bazhenov, Nikolaĭ Alekseevich
64 Nies, André Otfrid
63 Shore, Richard Arnold
53 Knight, Julia F.
51 Greenberg, Noam
49 Montalbán, Antonio
49 Rathjen, Michael
49 Selivanov, Viktor L’vovich
48 Melnikov, Alexander G.
48 Rybakov, Vladimir Vladimirovich
47 Buss, Samuel R.
47 Gitik, Moti
47 Hamkins, Joel David
45 Maksimova, Larisa L’vovna
44 Lempp, Steffen
44 Miller, Russell G.
44 Slaman, Theodore A.
44 Sorbi, Andrea
43 Baldwin, John T.
43 Hansson, Sven Ove
43 Jockusch, Carl G. jun.
43 Miller, Joseph S.
42 Visser, Albert
41 Kamide, Norihiro
41 Kanovei, Vladimir G.
41 Ng, KengMeng
41 Rinot, Assaf
40 Barmpalias, George
40 Todorcevic, Stevo B.
40 van Benthem, Johan F. A. K.
39 Bezhanishvili, Nick
38 Avron, Arnon
38 Ghilardi, Silvio
38 Kalimullin, Iskander Shagitovich
37 Beyersdorff, Olaf
37 Gabbay, Dov M.
37 Harizanov, Valentina S.
37 Kohlenbach, Ulrich Wilhelm
37 Magidor, Menachem
36 Bezhanishvili, Guram
35 Hrušák, Michael
35 Hrushovski, Ehud
34 Case, John
34 Cenzer, Douglas
34 Cholak, Peter A.
34 Laskowski, Michael Chris
34 Mundici, Daniele
34 Remmel, Jeffrey Brian
33 Cummings, James
33 Krajíček, Jan
33 Schindler, Ralf-Dieter
33 Schmerl, James H.
33 Tachtsis, Eleftherios
33 Vasey, Sebastien
33 Wansing, Heinrich Theodor
32 Coquand, Thierry
32 Montagna, Franco
32 Schlicht, Philipp
32 Wagner, Frank Olaf
32 Weiermann, Andreas
31 Andrews, Uri
31 Hyttinen, Tapani
31 Kulpeshov, Beibut Shaiykovich
31 Sayed Ahmed, Tarek
31 Shlapentokh, Alexandra
31 Soskova, Mariya Ivanova
30 Bridges, Douglas Suth
30 Hodkinson, Ian Martin
30 Matet, Pierre
30 Nešetřil, Jaroslav
29 Baaz, Matthias
29 Cluckers, Raf
29 Goncharov, Sergeĭ Savost’yanovich
29 Väänänen, Jouko Antero
29 Wu, Guohua
29 Zdoms’kyĭ, Lyubomyr Sergiĭovych
28 Bienvenu, Laurent
28 Džamonja, Mirna
28 Enayat, Ali
28 Keisler, Howard Jerome
28 Lewis-Pye, Andrew E. M.
28 Metcalfe, George
28 Rosický, Jiří
28 Sanders, Sam
28 Yu, Liang
27 Brendle, Jörg
27 Cherlin, Gregory L.
27 Feferman, Solomon
27 Fischer, Vera
27 Fishburn, Peter Clingerman
27 Friedman, Harvey M.
27 Garti, Shimon
27 Goldblatt, Robert Ian
...and 10,209 more Authors
all top 5

Cited in 600 Journals

1,763 Annals of Pure and Applied Logic
1,714 The Journal of Symbolic Logic
816 Archive for Mathematical Logic
775 Studia Logica
729 Theoretical Computer Science
497 Journal of Philosophical Logic
474 Mathematical Logic Quarterly (MLQ)
414 Transactions of the American Mathematical Society
403 Israel Journal of Mathematics
395 Proceedings of the American Mathematical Society
364 Notre Dame Journal of Formal Logic
350 Synthese
319 The Bulletin of Symbolic Logic
280 The Review of Symbolic Logic
259 Algebra Universalis
254 Algebra and Logic
241 Information and Computation
238 Topology and its Applications
210 Journal of Mathematical Logic
188 Journal of Algebra
172 Journal of Applied Non-Classical Logics
169 Artificial Intelligence
164 Advances in Mathematics
151 Journal of Pure and Applied Algebra
149 Journal of Computer and System Sciences
148 Fuzzy Sets and Systems
142 Archiv für Mathematische Logik und Grundlagenforschung
141 Logical Methods in Computer Science
139 MSCS. Mathematical Structures in Computer Science
138 History and Philosophy of Logic
127 Siberian Mathematical Journal
124 Journal of Logic, Language and Information
120 Logica Universalis
118 Fundamenta Mathematicae
115 Journal of Automated Reasoning
101 Journal of Applied Logic
84 International Journal of Approximate Reasoning
76 Information Processing Letters
73 Discrete Mathematics
72 Annals of Mathematics and Artificial Intelligence
71 Mathematical Notes
70 Order
69 Communications in Algebra
69 Theory of Computing Systems
68 Logic and Logical Philosophy
67 Journal of Mathematical Psychology
66 Soft Computing
65 Erkenntnis
61 ACM Transactions on Computational Logic
60 Journal of Mathematical Sciences (New York)
57 Journal of Symbolic Computation
53 International Journal of Theoretical Physics
51 Information Sciences
51 International Journal of Algebra and Computation
51 Computability
44 Journal of Combinatorial Theory. Series A
42 Mathematische Annalen
41 European Journal of Combinatorics
40 Journal of Soviet Mathematics
40 Bulletin of the Section of Logic
37 Discrete Applied Mathematics
37 Mathematical Social Sciences
37 Indagationes Mathematicae. New Series
37 Sibirskie Èlektronnye Matematicheskie Izvestiya
36 Journal of Mathematical Analysis and Applications
36 Lobachevskii Journal of Mathematics
36 Bulletin of the American Mathematical Society
35 Journal of Logical and Algebraic Methods in Programming
33 Journal of Functional Programming
32 Journal of the American Mathematical Society
31 Formal Methods in System Design
31 Journal of the European Mathematical Society (JEMS)
31 Forum of Mathematics, Sigma
29 Rendiconti del Seminario Matematico della Università di Padova
29 Selecta Mathematica. New Series
28 Applied Categorical Structures
27 Compositio Mathematica
27 Journal of Combinatorial Theory. Series B
27 Semigroup Forum
27 Acta Mathematica Hungarica
27 Bulletin of the American Mathematical Society. New Series
26 Mathematische Zeitschrift
26 Theory and Practice of Logic Programming
26 Journal of Logic and Analysis
24 The Mathematical Intelligencer
24 Journal of Functional Analysis
24 Journal of the Institute of Mathematics of Jussieu
22 Monatshefte für Mathematik
22 Computational Complexity
22 Doklady Mathematics
22 RAIRO. Theoretical Informatics and Applications
22 Proceedings of the Japan Academy
21 Acta Informatica
21 Mathematical Proceedings of the Cambridge Philosophical Society
21 Theory and Decision
21 Journal of Complexity
20 Journal of the London Mathematical Society. Second Series
20 International Journal of Foundations of Computer Science
20 Foundations of Science
19 Nagoya Mathematical Journal
...and 500 more Journals
all top 5

Cited in 61 Fields

15,659 Mathematical logic and foundations (03-XX)
4,082 Computer science (68-XX)
1,359 Order, lattices, ordered algebraic structures (06-XX)
906 General topology (54-XX)
898 Combinatorics (05-XX)
804 Group theory and generalizations (20-XX)
541 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
536 General algebraic systems (08-XX)
536 Field theory and polynomials (12-XX)
535 Category theory; homological algebra (18-XX)
453 History and biography (01-XX)
363 Number theory (11-XX)
298 Functional analysis (46-XX)
285 General and overarching topics; collections (00-XX)
258 Measure and integration (28-XX)
208 Algebraic geometry (14-XX)
203 Associative rings and algebras (16-XX)
199 Probability theory and stochastic processes (60-XX)
198 Commutative algebra (13-XX)
193 Dynamical systems and ergodic theory (37-XX)
164 Topological groups, Lie groups (22-XX)
146 Real functions (26-XX)
140 Quantum theory (81-XX)
113 Operations research, mathematical programming (90-XX)
88 Information and communication theory, circuits (94-XX)
78 Operator theory (47-XX)
69 Geometry (51-XX)
68 Algebraic topology (55-XX)
63 Statistics (62-XX)
57 Sequences, series, summability (40-XX)
57 Convex and discrete geometry (52-XX)
53 Linear and multilinear algebra; matrix theory (15-XX)
50 Several complex variables and analytic spaces (32-XX)
39 Numerical analysis (65-XX)
32 Biology and other natural sciences (92-XX)
32 Systems theory; control (93-XX)
31 Abstract harmonic analysis (43-XX)
30 Ordinary differential equations (34-XX)
30 Manifolds and cell complexes (57-XX)
28 Functions of a complex variable (30-XX)
22 Approximations and expansions (41-XX)
20 Global analysis, analysis on manifolds (58-XX)
18 Statistical mechanics, structure of matter (82-XX)
16 Nonassociative rings and algebras (17-XX)
16 Differential geometry (53-XX)
16 Relativity and gravitational theory (83-XX)
11 Calculus of variations and optimal control; optimization (49-XX)
10 Special functions (33-XX)
10 Difference and functional equations (39-XX)
10 Harmonic analysis on Euclidean spaces (42-XX)
9 Partial differential equations (35-XX)
9 Mechanics of particles and systems (70-XX)
8 \(K\)-theory (19-XX)
7 Classical thermodynamics, heat transfer (80-XX)
6 Mathematics education (97-XX)
4 Fluid mechanics (76-XX)
3 Potential theory (31-XX)
3 Integral transforms, operational calculus (44-XX)
1 Mechanics of deformable solids (74-XX)
1 Optics, electromagnetic theory (78-XX)
1 Astronomy and astrophysics (85-XX)

Citations by Year