×

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,956 Publications (since 1936)
References Indexed: 4,486 Publications with 57,988 References.
all top 5

Latest Issues

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)
64, No. 1 (1999)
...and 104 more Volumes
all top 5

Authors

148 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
12 Welch, Philip D.
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
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,500 more Authors
all top 5

Fields

4,307 Mathematical logic and foundations (03-XX)
211 Field theory and polynomials (12-XX)
204 Computer science (68-XX)
191 Order, lattices, ordered algebraic structures (06-XX)
181 Group theory and generalizations (20-XX)
154 General topology (54-XX)
97 Combinatorics (05-XX)
73 Category theory; homological algebra (18-XX)
67 General algebraic systems (08-XX)
64 Number theory (11-XX)
60 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 Information and communication theory, circuits (94-XX)
4 Convex and discrete geometry (52-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

4,009 Publications have been cited 37,978 times in 19,648 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
615
1985
The relative efficiency of propositional proof systems. Zbl 0408.03044
Cook, Stephen A.; Reckhow, Robert A.
246
1979
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick
184
1959
A formulation of the simple theory of types. JFM 66.1192.06
Church, A.
171
1940
Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409
McKinsey, J. C. C.; Tarski, Alfred
170
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
164
1950
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
156
1983
A formulation of the simple theory of types. Zbl 0023.28901
Church, Alonzo
152
1940
Constructible falsity. Zbl 0033.24304
Nelson, David
151
1949
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502
Craig, William
149
1957
Intensional interpretations of functionals of finite type. I. Zbl 0174.01202
Tait, W. W.
146
1967
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C.
145
1938
On the calculus of relations. JFM 67.0973.02
Tarski, A.
143
1941
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.
139
1959
Quantales and (noncommutative) linear logic. Zbl 0701.03026
Yetter, David N.
128
1990
A Borel reducibility theory for classes of countable structures. Zbl 0692.03022
Friedman, Harvey; Stanley, Lee
126
1989
Flag algebras. Zbl 1146.03013
Razborov, Alexander A.
125
2007
Recursive unsolvability of a problem of Thue. Zbl 1263.03030
Post, Emil L.
125
1947
Probabilities on finite models. Zbl 0341.02044
Fagin, Ronald
119
1976
A theorem about infinite-valued sentential logic. Zbl 0043.00901
McNaughton, Robert
110
1951
Borel sets and Ramsey’s theorem. Zbl 0276.04003
Galvin, Fred; Prikry, Karel
108
1973
On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033
Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A.
107
2001
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C.
104
1945
The completeness of the first-order functional calculus. Zbl 0034.00602
Henkin, Leon
103
1949
A new proof that analytic sets are Ramsey. Zbl 0292.02054
Ellentuck, Erik
103
1974
Logics without the contraction rule. Zbl 0583.03018
Ono, Hiroakira; Komori, Yuichi
101
1985
Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086
Pudlák, Pavel
99
1997
On the calculus of relations. Zbl 0026.24401
Tarski, Alfred
95
1941
Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402
Craig, William
94
1957
Systems of predicative analysis. Zbl 0134.01101
Feferman, S.
94
1964
Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102
Specker, Ernst
93
1949
A note on the Entscheidungsproblem. JFM 62.1058.04
Church, A.
90
1936
Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601
Friedberg, Richard M.
90
1959
Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102
Putnam, H.
89
1965
Games and full completeness for multiplicative linear logic. Zbl 0822.03007
Abramsky, Samson; Jagadeesan, Radha
89
1994
On definable subsets of p-adic fields. Zbl 0362.02046
Macintyre, Angus J.
88
1976
On strongly minimal sets. Zbl 0217.30402
Baldwin, J. T.; Lachlan, A. H.
88
1971
Constructible falsity and inexact predicates. Zbl 0575.03016
Almukdad, Ahmad; Nelson, David
88
1984
The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864
McKinsey, J. C. C.
85
1943
Infinite time Turing machines. Zbl 0963.03064
Hamkins, Joel David; Lewis, Andy
83
2000
A natural extension of natural deduction. Zbl 0574.03045
Schroeder-Heister, Peter
83
1984
One hundred and two problems in mathematical logic. Zbl 0318.02002
Friedman, Harvey
82
1975
Reflecting on incompleteness. Zbl 0746.03046
Feferman, Solomon
82
1991
Gödel numberings of partial recursive functions. Zbl 0088.01602
Rogers, Hartley jun.
80
1959
Limiting recursion. Zbl 0203.01201
Gold, E. M.
80
1965
Solution of a problem of Leon Henkin. Zbl 0067.00202
Löb, M. H.
77
1955
Algebraic semantics for modal logics. I, II. Zbl 0147.24805
Lemmon, E. J.
77
1966
Existence and feasibility in arithmetic. Zbl 0243.02037
Parikh, Rohit
77
1971
Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017
Avron, Arnon
77
1991
Saturated ideals. Zbl 0395.03031
Kunen, Kenneth
76
1978
The determinacy of Blackwell games. Zbl 0926.03071
Martin, Donald A.
75
1998
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029
Krajíček, Jan
75
1997
Constructive set theory. Zbl 0314.02045
Myhill, John
74
1975
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015
Takeuti, Gaisi; Titani, Satoko
74
1984
Semantics for relevant logics. Zbl 0245.02028
Urquhart, Alasdair
73
1972
Ramsey’s theorem and recursion theory. Zbl 0262.02042
Jockusch, Carl G. jun.
73
1972
Unification in intuitionistic logic. Zbl 0930.03009
Ghilardi, Silvio
72
1999
On the restraining power of guards. Zbl 0958.03027
Grädel, Erich
70
1999
Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024
Dunn, J. Michael
70
1970
On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009
Pitts, Andrew M.
70
1992
Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004
Dyckhoff, Roy
69
1992
On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013
Iemhoff, Rosalie
68
2001
Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055
Hirschfeldt, Denis R.; Shore, Richard A.
66
2007
Every analytic set is Ramsey. Zbl 0216.01304
Silver, J.
66
1970
Degrees coded in jumps of orderings. Zbl 0633.03038
Knight, Julia F.
65
1986
Substructural fuzzy logics. Zbl 1139.03017
Metcalfe, George; Montagna, Franco
65
2007
Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402
Feferman, S.
65
1963
Elementary embedding and infinitary combinatorics. Zbl 0272.02087
Kunen, Kenneth
64
1971
On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701
Kreisel, Georg
64
1952
Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001
van Lambalgen, Michiel
63
1987
On sentences which are true of direct unions of algebras. Zbl 0043.24801
Horn, Alfred
63
1951
Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071
Brattka, Vasco; Gherardi, Guido
61
2011
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra
61
2005
Recursive well-orderings. Zbl 0067.00303
Spector, Clifford
61
1955
Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404
Richardson, D.
61
1968
A logical analysis of some value concepts. Zbl 0943.03599
Fitch, Frederic B.
60
1964
On the interpretation of non-finitist proofs. I. Zbl 0044.00302
Kreisel, Georg
60
1951
Concatenation as a basis for arithmetic. Zbl 0063.06362
Quine, Willard Van Orman
59
1946
Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029
Krajíček, Jan; Pudlák, Pavel
59
1989
Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
58
2001
Analytic determinacy and \(O^\#\). Zbl 0398.03039
Harrington, Leo
58
1978
Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042
Paris, J. B.; Wilkie, A. J.; Woods, A. R.
57
1988
Randomness, relativization and Turing degrees. Zbl 1090.03013
Nies, André; Stephan, Frank; Terwijn, Sebastiaan A.
57
2005
Reflecting stationary sets. Zbl 0506.03014
Magidor, Menachem
56
1982
Resolution in type theory. Zbl 0231.02038
Andrews, Peter B.
55
1971
Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053
Buss, Samuel R.
54
1987
Cuts, consistency statements and interpretations. Zbl 0569.03024
Pudlák, Pavel
54
1985
Models without indiscernibles. Zbl 0391.03027
Abramson, Fred G.; Harrington, Leo A.
54
1978
A constructive analysis of RM. Zbl 0639.03017
Avron, Arnon
53
1987
Toward useful type-free theories. I. Zbl 0574.03043
Feferman, Solomon
53
1984
Kernel contraction. Zbl 0810.03017
Hansson, Sven Ove
53
1994
Fibered categories and the foundations of naive category theory. Zbl 0564.18001
Bénabou, Jean
52
1985
Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904
Horn, A.
52
1969
Degrees of structures. Zbl 0512.03024
Richter, Linda Jean
51
1981
The undecidability of entailment and relevant implication. Zbl 0581.03011
Urquhart, Alasdair
51
1984
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044
Abrusci, V. Michele
51
1991
Probabilities over rich languages, testing and randomness. Zbl 0501.60006
Gaifman, Haim; Snir, Marc
49
1982
Recursive isomorphism types of recursive Boolean algebras. Zbl 0543.03031
Remmel, J. B.
49
1981
Locally o-minimal structures with tame topological properties. Zbl 1518.03006
Fujita, Masato
4
2023
Cellular categories and stable independence. Zbl 1514.18006
Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien
2
2023
Elimination of imaginaries in ordered abelian groups with bounded regular rank. Zbl 07781917
Vicaría, Mariana
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
Bohr compactifications of groups and rings. Zbl 07735947
Gismatullin, Jakub; Jagiella, Grzegorz; Krupiński, Krzysztof
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
Addendum to: “The automorphism group of the Fraïssé limit of finite Heyting algebras”. Zbl 07735955
Yamamoto, Kentarô
1
2023
Finitist axiomatic truth. Zbl 07657274
Kentaro, Sato; Walker, Jan
1
2023
Some stable non-elementary classes of modules. Zbl 07657276
Mazari-Armida, Marcos
1
2023
The weak Vopěnka principle for definable classes of structures. Zbl 07657278
Bagaria, Joan; Wilson, Trevor M.
1
2023
On restrictions of ultrafilters from generic extensions to ground models. Zbl 07657279
Gitik, Moti; Kaplan, Eyal
1
2023
On sequences of homomorphisms into measure algebras and the Efimov problem. Zbl 1528.28005
Borodulin-Nadzieja, Piotr; Sobota, Damian
1
2023
More on the preservation of large cardinals under class forcing. Zbl 07657283
Bagaria, Joan; Poveda, Alejandro
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
How strong is Ramsey’s theorem if infinity can be weak? Zbl 07691754
Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.; Yokoyama, Keita
1
2023
Almost theorems of hyperarithmetic analysis. Zbl 1525.03056
Shore, Richard A.
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
A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. Zbl 1510.03023
Nemoto, Takako; Kentaro, Sato
5
2022
A Q-wadge hierarchy in quasi-Polish spaces. Zbl 07541920
Selivanov, Victor
4
2022
Forcing constructions and countable Borel equivalence relations. Zbl 1526.03005
Gao, Su; Jackson, Steve; Krohne, Edward; Seward, Brandon
4
2022
Applications of pcf theory to the study of ideals on \(P_{\kappa}(\lambda)\). Zbl 1523.03020
Matet, Pierre
4
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
Ways of destruction. Zbl 07576893
Farkas, Barnabás; Zdomskyy, Lyubomyr
3
2022
On non-compact \(p\)-adic definable groups. Zbl 1512.03057
Johnson, Will; Yao, Ningyuan
3
2022
Closed and unbounded classes and the Härtig quantifier model. Zbl 1510.03020
Welch, Philip D.
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
Higher independence. Zbl 07620701
Fischer, Vera; Montoya, Diana Carolina
2
2022
Interpreting a field in its Heisenberg group. Zbl 07576904
Alvir, Rachael; Calvert, Wesley; Goodman, Grant; Harizanov, Valentina; Knight, Julia; Miller, Russell; Morozov, Andrey; Soskova, Alexandra; Weisshaar, Rose
2
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
Epsilon theorems in intermediate logics. Zbl 07541918
Baaz, Matthias; Zach, Richard
1
2022
Embeddings into outer models. Zbl 1523.03021
Eskew, Monroe; Friedman, Sy-David
1
2022
Descriptive complexity in Cantor series. Zbl 07576896
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 07576901
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
The tree of tuples of a structure. Zbl 1504.03024
Harrison-Trainor, Matthew; Montalbán, Antonio
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
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
Non-classical foundations of set theory. Zbl 07506781
Tarafder, Sourav
1
2022
Ramsey’s coheirs. Zbl 1486.05304
Colla, Eugenio; Zambella, Domenico
1
2022
Projective clone homomorphisms. Zbl 07370805
Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András
17
2021
Reflection ranks and ordinal analysis. Zbl 1511.03018
Pakhomov, Fedor; Walsh, James
7
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
The characterization of Weihrauch reducibility in systems containing \(\mathrm{E}\text{-}\mathrm{PA}^\omega+\mathrm{QF}\text{-}\mathrm{AC}^{0,0}\). Zbl 07370811
Uftring, Patrick
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
Prenex normal form theorems in semi-classical arithmetic. Zbl 1509.03160
Fujiwara, Makoto; Kurahashi, Taishi
3
2021
Associativity of the Morley product of invariant measures in NIP theories. Zbl 1509.03104
Conant, Gabriel; Gannon, Kyle
3
2021
Separating diagonal stationary reflection principles. Zbl 07370820
Fuchs, Gunter; Lambie-Hanson, Chris
3
2021
Forcing axioms, approachability, and stationary set reflection. Zbl 07415213
Cox, Sean D.
3
2021
Finding descending sequences through ill-founded linear orders. Zbl 07415227
Goh, Jun Le; Pauly, Arno; Valenti, Manlio
3
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
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
Strongly minimal Steiner systems. I: Existence. Zbl 07457787
Baldwin, John; Paolini, Gianluca
2
2021
Shortening Clopen games. Zbl 07457789
Aguilera, Juan P.
2
2021
Inquisitive bisimulation. Zbl 07370807
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 07370815
Hoffelner, Stefan
2
2021
Aronszajn tree preservation and bounded forcing axioms. Zbl 07370821
Fuchs, Gunter
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
Forking, imaginaries, and other features of ACFG. Zbl 07415220
D’Elbée, Christian
2
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
Maltsev conditions for general congruence meet-semidistributive algebras. Zbl 1487.08002
Olšák, Miroslav
1
2021
On the automorphism group of the universal homogeneous meet-tree. Zbl 07457788
Kaplan, Itay; Rzepecki, Tomasz; Siniora, Daoud
1
2021
The order of reflection. Zbl 07457790
Aguilera, Juan P.
1
2021
Initial self-embeddings of models of set theory. Zbl 07457791
Enayat, Ali; Mckenzie, Zachiri
1
2021
Scott complexity of countable structures. Zbl 1485.03168
Alvir, Rachael; Greenberg, Noam; Harrison-Trainor, Matthew; Turetsky, Dan
1
2021
The modal logic of \(\sigma\)-centered forcing and related forcing classes. Zbl 07370806
Ya’Ar, Ur
1
2021
On wide Aronszajn trees in the presence of MA. Zbl 07370810
Džamonja, Mirna; Shelah, Saharon
1
2021
The modal logics of Kripke-Feferman truth. Zbl 1491.03015
Nicolai, Carlo; Stern, Johannes
1
2021
Characterizing existence of a measurable cardinal via modal logic. Zbl 07370819
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
1
2021
The open and clopen Ramsey theorems in the Weihrauch lattice. Zbl 07370822
Marcone, Alberto; Valenti, Manlio
1
2021
Cores over Ramsey structures. Zbl 07370823
Mottet, Antoine; Pinsker, Michael
1
2021
The relation between two diminished choice principles. Zbl 1487.03059
Schumacher, Salome
1
2021
Muchnik degrees and cardinal characteristics. Zbl 1485.03160
Monin, Benoit; Nies, André
1
2021
...and 1568 more Documents
all top 5

Cited by 10,365 Authors

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

Cited in 597 Journals

1,741 Annals of Pure and Applied Logic
1,701 The Journal of Symbolic Logic
808 Archive for Mathematical Logic
771 Theoretical Computer Science
768 Studia Logica
497 Journal of Philosophical Logic
476 Mathematical Logic Quarterly (MLQ)
415 Transactions of the American Mathematical Society
401 Israel Journal of Mathematics
392 Proceedings of the American Mathematical Society
362 Notre Dame Journal of Formal Logic
358 Synthese
315 The Bulletin of Symbolic Logic
277 The Review of Symbolic Logic
265 Algebra Universalis
251 Algebra and Logic
249 Information and Computation
234 Topology and its Applications
205 Journal of Mathematical Logic
184 Journal of Algebra
178 Artificial Intelligence
166 Journal of Applied Non-Classical Logics
161 Advances in Mathematics
156 Fuzzy Sets and Systems
147 Journal of Computer and System Sciences
146 Journal of Pure and Applied Algebra
143 Archiv für Mathematische Logik und Grundlagenforschung
143 MSCS. Mathematical Structures in Computer Science
141 History and Philosophy of Logic
140 Logical Methods in Computer Science
126 Journal of Logic, Language and Information
125 Siberian Mathematical Journal
125 Journal of Automated Reasoning
122 Logica Universalis
116 Fundamenta Mathematicae
109 Journal of Applied Logic
83 International Journal of Approximate Reasoning
81 Information Processing Letters
74 Annals of Mathematics and Artificial Intelligence
72 Discrete Mathematics
72 Logic and Logical Philosophy
70 Mathematical Notes
69 Communications in Algebra
69 Order
68 Theory of Computing Systems
68 Erkenntnis
67 Journal of Mathematical Psychology
66 Soft Computing
60 Journal of Mathematical Sciences (New York)
58 Journal of Symbolic Computation
58 ACM Transactions on Computational Logic
53 International Journal of Theoretical Physics
52 International Journal of Algebra and Computation
51 Information Sciences
48 Computability
48 Journal of Logical and Algebraic Methods in Programming
44 Journal of Combinatorial Theory. Series A
42 Mathematische Annalen
42 Bulletin of the Section of Logic
40 Journal of Soviet Mathematics
40 European Journal of Combinatorics
37 Mathematical Social Sciences
37 Indagationes Mathematicae. New Series
36 Discrete Applied Mathematics
36 Sibirskie Èlektronnye Matematicheskie Izvestiya
36 Bulletin of the American Mathematical Society
35 Journal of Mathematical Analysis and Applications
35 Lobachevskii Journal of Mathematics
34 Journal of Functional Programming
32 Journal of the American Mathematical Society
32 Formal Methods in System Design
30 Journal of the European Mathematical Society (JEMS)
29 Rendiconti del Seminario Matematico della Università di Padova
29 Forum of Mathematics, Sigma
28 Applied Categorical Structures
28 Selecta Mathematica. New Series
27 Compositio Mathematica
27 Journal of Combinatorial Theory. Series B
27 Acta Mathematica Hungarica
27 Bulletin of the American Mathematical Society. New Series
27 Theory and Practice of Logic Programming
26 Mathematische Zeitschrift
25 The Mathematical Intelligencer
25 Semigroup Forum
25 Journal of Logic and Analysis
24 Journal of Functional Analysis
24 The Journal of Logic and Algebraic Programming
24 Journal of the Institute of Mathematics of Jussieu
22 Monatshefte für Mathematik
22 Computational Complexity
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
21 Formal Aspects of Computing
21 Foundations of Science
20 International Journal of Foundations of Computer Science
20 Russian Mathematics
...and 497 more Journals
all top 5

Cited in 61 Fields

15,612 Mathematical logic and foundations (03-XX)
4,222 Computer science (68-XX)
1,350 Order, lattices, ordered algebraic structures (06-XX)
896 General topology (54-XX)
884 Combinatorics (05-XX)
795 Group theory and generalizations (20-XX)
544 General algebraic systems (08-XX)
538 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
537 Category theory; homological algebra (18-XX)
526 Field theory and polynomials (12-XX)
463 History and biography (01-XX)
362 Number theory (11-XX)
291 Functional analysis (46-XX)
286 General and overarching topics; collections (00-XX)
256 Measure and integration (28-XX)
206 Algebraic geometry (14-XX)
200 Associative rings and algebras (16-XX)
194 Probability theory and stochastic processes (60-XX)
193 Commutative algebra (13-XX)
191 Dynamical systems and ergodic theory (37-XX)
159 Topological groups, Lie groups (22-XX)
148 Real functions (26-XX)
143 Quantum theory (81-XX)
111 Operations research, mathematical programming (90-XX)
95 Information and communication theory, circuits (94-XX)
76 Operator theory (47-XX)
68 Geometry (51-XX)
65 Algebraic topology (55-XX)
62 Statistics (62-XX)
57 Convex and discrete geometry (52-XX)
55 Sequences, series, summability (40-XX)
53 Linear and multilinear algebra; matrix theory (15-XX)
49 Several complex variables and analytic spaces (32-XX)
38 Numerical analysis (65-XX)
33 Biology and other natural sciences (92-XX)
32 Systems theory; control (93-XX)
30 Abstract harmonic analysis (43-XX)
30 Manifolds and cell complexes (57-XX)
29 Ordinary differential equations (34-XX)
27 Functions of a complex variable (30-XX)
21 Approximations and expansions (41-XX)
19 Global analysis, analysis on manifolds (58-XX)
18 Statistical mechanics, structure of matter (82-XX)
16 Differential geometry (53-XX)
16 Relativity and gravitational theory (83-XX)
14 Nonassociative rings and algebras (17-XX)
11 Special functions (33-XX)
11 Calculus of variations and optimal control; optimization (49-XX)
10 Partial differential equations (35-XX)
10 Difference and functional equations (39-XX)
10 Harmonic analysis on Euclidean spaces (42-XX)
9 Mechanics of particles and systems (70-XX)
8 \(K\)-theory (19-XX)
7 Mathematics education (97-XX)
5 Classical thermodynamics, heat transfer (80-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