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,992 Publications (since 1936)
References Indexed:	4,522 Publications with 58,951 References.

all top 5

Latest Issues

89, No. 2 (2024)
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)
...and 106 more Volumes

all top 5

Authors

150	Shelah, Saharon
47	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	Gitik, Moti
16	Lachlan, Alistair H.
16	Lerman, Manuel
16	Miller, Russell G.
16	Nies, André Otfrid
15	Delon, Françoise
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	Andrews, Uri
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	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,524 more Authors

all top 5

Fields

4,351	Mathematical logic and foundations (03-XX)
212	Field theory and polynomials (12-XX)
204	Computer science (68-XX)
191	Order, lattices, ordered algebraic structures (06-XX)
184	Group theory and generalizations (20-XX)
156	General topology (54-XX)
98	Combinatorics (05-XX)
75	Category theory; homological algebra (18-XX)
66	General algebraic systems (08-XX)
65	Number theory (11-XX)
61	Measure and integration (28-XX)
50	Associative rings and algebras (16-XX)
43	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)
23	Topological groups, Lie groups (22-XX)
22	Dynamical systems and ergodic theory (37-XX)
20	Algebraic geometry (14-XX)
20	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)
7	Operator theory (47-XX)
7	Quantum theory (81-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)
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)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

4,058 Publications have been cited 39,950 times in 20,619 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	640	1985
The relative efficiency of propositional proof systems. Zbl 0408.03044 Cook, Stephen A.; Reckhow, Robert A.	284	1979
Foundational aspects of theories of measurement. Zbl 0084.24603 Scott, Dana; Suppes, Patrick	192	1959
A formulation of the simple theory of types. JFM 66.1192.06 Church, A.	186	1940
Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409 McKinsey, J. C. C.; Tarski, Alfred	174	1948
Completeness in the theory of types. Zbl 0039.00801 Henkin, Leon	170	1950
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502 Craig, William	164	1957
A filter lambda model and the completeness of type assignment. Zbl 0545.03004 Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola	163	1983
Constructible falsity. Zbl 0033.24304 Nelson, David	162	1949
Intensional interpretations of functionals of finite type. I. Zbl 0174.01202 Tait, W. W.	161	1967
A formulation of the simple theory of types. Zbl 0023.28901 Church, Alonzo	155	1940
On notation for ordinal numbers. Zbl 0020.33803 Kleene, S. C.	154	1938
On the calculus of relations. JFM 67.0973.02 Tarski, A.	150	1941
A completeness theorem in modal logic. Zbl 0091.00902 Kripke, Saul A.	146	1959
A propositional calculus with denumerable matrix. Zbl 0089.24307 Dummett, Michael	145	1959
Flag algebras. Zbl 1146.03013 Razborov, Alexander A.	144	2007
Quantales and (noncommutative) linear logic. Zbl 0701.03026 Yetter, David N.	133	1990
Probabilities on finite models. Zbl 0341.02044 Fagin, Ronald	132	1976
Recursive unsolvability of a problem of Thue. Zbl 1263.03030 Post, Emil L.	131	1947
A Borel reducibility theory for classes of countable structures. Zbl 0692.03022 Friedman, Harvey; Stanley, Lee	129	1989
Definability and decision problems in arithmetic. Zbl 0034.00801 Robinson, Julia	122	1949
Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086 Pudlák, Pavel	115	1997
A theorem about infinite-valued sentential logic. Zbl 0043.00901 McNaughton, Robert	114	1951
On the interpretation of intuitionistic number theory. Zbl 0063.03260 Kleene, S. C.	114	1945
On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033 Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A.	114	2001
Borel sets and Ramsey’s theorem. Zbl 0276.04003 Galvin, Fred; Prikry, Karel	110	1973
Logics without the contraction rule. Zbl 0583.03018 Ono, Hiroakira; Komori, Yuichi	108	1985
The completeness of the first-order functional calculus. Zbl 0034.00602 Henkin, Leon	106	1949
A new proof that analytic sets are Ramsey. Zbl 0292.02054 Ellentuck, Erik	106	1974
Games and full completeness for multiplicative linear logic. Zbl 0822.03007 Abramsky, Samson; Jagadeesan, Radha	101	1994
On the calculus of relations. Zbl 0026.24401 Tarski, Alfred	101	1941
Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402 Craig, William	101	1957
Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601 Friedberg, Richard M.	101	1959
Systems of predicative analysis. Zbl 0134.01101 Feferman, S.	98	1964
Constructible falsity and inexact predicates. Zbl 0575.03016 Almukdad, Ahmad; Nelson, David	98	1984
Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102 Specker, Ernst	97	1949
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029 Krajíček, Jan	93	1997
On definable subsets of p-adic fields. Zbl 0362.02046 Macintyre, Angus J.	91	1976
Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102 Putnam, H.	91	1965
On strongly minimal sets. Zbl 0217.30402 Baldwin, J. T.; Lachlan, A. H.	90	1971
The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864 McKinsey, J. C. C.	89	1943
A natural extension of natural deduction. Zbl 0574.03045 Schroeder-Heister, Peter	89	1984
Infinite time Turing machines. Zbl 0963.03064 Hamkins, Joel David; Lewis, Andy	89	2000
Reflecting on incompleteness. Zbl 0746.03046 Feferman, Solomon	89	1991
Gödel numberings of partial recursive functions. Zbl 0088.01602 Rogers, Hartley jun.	88	1959
One hundred and two problems in mathematical logic. Zbl 0318.02002 Friedman, Harvey	83	1975
Solution of a problem of Leon Henkin. Zbl 0067.00202 Löb, M. H.	82	1955
Existence and feasibility in arithmetic. Zbl 0243.02037 Parikh, Rohit	82	1971
Saturated ideals. Zbl 0395.03031 Kunen, Kenneth	81	1978
Limiting recursion. Zbl 0203.01201 Gold, E. M.	81	1965
Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017 Avron, Arnon	81	1991
On the restraining power of guards. Zbl 0958.03027 Grädel, Erich	80	1999
Unification in intuitionistic logic. Zbl 0930.03009 Ghilardi, Silvio	79	1999
Constructive set theory. Zbl 0314.02045 Myhill, John	78	1975
On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009 Pitts, Andrew M.	78	1992
The determinacy of Blackwell games. Zbl 0926.03071 Martin, Donald A.	78	1998
Algebraic semantics for modal logics. I, II. Zbl 0147.24805 Lemmon, E. J.	78	1966
Semantics for relevant logics. Zbl 0245.02028 Urquhart, Alasdair	77	1972
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015 Takeuti, Gaisi; Titani, Satoko	76	1984
Ramsey’s theorem and recursion theory. Zbl 0262.02042 Jockusch, Carl G. jun.	76	1972
Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004 Dyckhoff, Roy	75	1992
Substructural fuzzy logics. Zbl 1139.03017 Metcalfe, George; Montagna, Franco	70	2007
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	70	2001
Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055 Hirschfeldt, Denis R.; Shore, Richard A.	68	2007
On sentences which are true of direct unions of algebras. Zbl 0043.24801 Horn, Alfred	67	1951
Every analytic set is Ramsey. Zbl 0216.01304 Silver, J.	67	1970
Elementary embedding and infinitary combinatorics. Zbl 0272.02087 Kunen, Kenneth	67	1971
Degrees coded in jumps of orderings. Zbl 0633.03038 Knight, Julia F.	66	1986
Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001 van Lambalgen, Michiel	66	1987
On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701 Kreisel, Georg	66	1952
Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402 Feferman, S.	66	1963
Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404 Richardson, D.	65	1968
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021 Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra	64	2005
A logical analysis of some value concepts. Zbl 0943.03599 Fitch, Frederic B.	64	1964
Concatenation as a basis for arithmetic. Zbl 0063.06362 Quine, Willard Van Orman	63	1946
Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071 Brattka, Vasco; Gherardi, Guido	62	2011
Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029 Krajíček, Jan; Pudlák, Pavel	62	1989
Recursive well-orderings. Zbl 0067.00303 Spector, Clifford	62	1955
Randomness, relativization and Turing degrees. Zbl 1090.03013 Nies, André; Stephan, Frank; Terwijn, Sebastiaan A.	62	2005
On the interpretation of non-finitist proofs. I. Zbl 0044.00302 Kreisel, Georg	61	1951
Reflecting stationary sets. Zbl 0506.03014 Magidor, Menachem	61	1982
Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042 Paris, J. B.; Wilkie, A. J.; Woods, A. R.	60	1988
Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018 Areces, Carlos; Blackburn, Patrick; Marx, Maarten	60	2001
Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053 Buss, Samuel R.	59	1987
Analytic determinacy and \(O^\#\). Zbl 0398.03039 Harrington, Leo	58	1978
Models without indiscernibles. Zbl 0391.03027 Abramson, Fred G.; Harrington, Leo A.	56	1978
Resolution in type theory. Zbl 0231.02038 Andrews, Peter B.	56	1971
A constructive analysis of RM. Zbl 0639.03017 Avron, Arnon	55	1987
Fibered categories and the foundations of naive category theory. Zbl 0564.18001 Bénabou, Jean	55	1985
Kernel contraction. Zbl 0810.03017 Hansson, Sven Ove	54	1994
Cuts, consistency statements and interpretations. Zbl 0569.03024 Pudlák, Pavel	54	1985
Toward useful type-free theories. I. Zbl 0574.03043 Feferman, Solomon	54	1984
On notation for ordinal numbers. JFM 64.0932.03 Kleene, S. C.	54	1938
Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904 Horn, A.	54	1969
Decidability and undecidability of extensions of second (first) order theory of (generalized) successor. Zbl 0144.24501 Elgot, Calvin C.; Rabin, Michael O.	54	1966
The undecidability of entailment and relevant implication. Zbl 0581.03011 Urquhart, Alasdair	52	1984
Degrees of structures. Zbl 0512.03024 Richter, Linda Jean	52	1981
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	51	1982
The simplest low linear order with no computable copies. Zbl 07827881 Frolov, Andrey; Zubkov, Maxim	1	2024
(Extra)ordinary equivalences with the ascending/descending sequence principle. Zbl 07827890 Fiori-Carones, Marta; Marcone, Alberto; Shafer, Paul; Soldà, Giovanni	1	2024
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	3	2023
Knaster and friends. III: Subadditive colorings. Zbl 1535.03247 Lambie-Hanson, Chris; Rinot, Assaf	3	2023
Model theory and proof theory of the global reflection principle. Zbl 1537.03044 Łełyk, Mateusz Zbigniew	3	2023
The weak Vopěnka principle for definable classes of structures. Zbl 07657278 Bagaria, Joan; Wilson, Trevor M.	2	2023
Some stable non-elementary classes of modules. Zbl 07657276 Mazari-Armida, Marcos	2	2023
On groups with definable \(f\)-generics definable in \(p\)-adically closed fields. Zbl 07781904 Pillay, Anand; Yao, Ningyuan	2	2023
The strength of an axiom of finite choice for branches in trees. Zbl 07781906 Goh, Jun Le	2	2023
Transitivity, lowness, and ranks in NSOP\(_1\) theories. Zbl 07735941 Chernikov, Artem; Kim, Byunghan; Ramsey, Nicholas	2	2023
Bohr compactifications of groups and rings. Zbl 07735947 Gismatullin, Jakub; Jagiella, Grzegorz; Krupiński, Krzysztof	2	2023
The discontinuity problem. Zbl 07735950 Brattka, Vasco	2	2023
The diagonal strong reflection principle and its fragments. Zbl 07735953 Cox, Sean D.; Fuchs, Gunter	2	2023
Elimination of imaginaries in ordered abelian groups with bounded regular rank. Zbl 07781917 Vicaría, Mariana	2	2023
Complete logics for elementary team properties. Zbl 07691753 Kontinen, Juha; Yang, Fan	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
Trees and stationary reflection at double successors of regular cardinals. Zbl 07691760 Gilton, Thomas; Levine, Maxwell; Stejskalová, Šárka	2	2023
Cellular categories and stable independence. Zbl 1514.18006 Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien	2	2023
Ideal operators and higher indescribability. Zbl 07691762 Cody, Brent; Holy, Peter	2	2023
On sequences of homomorphisms into measure algebras and the Efimov problem. Zbl 1528.28005 Borodulin-Nadzieja, Piotr; Sobota, Damian	1	2023
Models of Martin-Löf type theory from algebraic weak factorisation systems. Zbl 1527.18004 Gambino, Nicola; Larrea, Marco Federico	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 1542.03082 Jansana, R.; Moraschini, T.	1	2023
Most(?) theories have Borel complete reducts. Zbl 1542.03051 Laskowski, Michael C.; Ulrich, Douglas S.	1	2023
Finitist axiomatic truth. Zbl 07657274 Kentaro, Sato; Walker, Jan	1	2023
Higher dimensional cardinal characteristics for sets of functions. II. Zbl 07781908 Brendle, Jörg; Switzer, Corey Bacal	1	2023
Conservation theorems on semi-classical arithmetic. Zbl 07781910 Fujiwara, Makoto; Kurahashi, Taishi	1	2023
On cohesive powers of linear orders. Zbl 07735942 Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrey; Shafer, Paul; Soskova, Alexandra A.; Vatev, Stefan V.	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
Model theory of derivations of the Frobenius map revisited. Zbl 1537.03042 Gogolok, Jakub	1	2023
Addendum to: “The automorphism group of the Fraïssé limit of finite Heyting algebras”. Zbl 07735955 Yamamoto, Kentarô	1	2023
Continuous logic and Borel equivalence relations. Zbl 1540.03091 Hallbäck, Andreas; Malicki, Maciej; Tsankov, Todor	1	2023
Metrics for formal structures, with an application to Kripke models and their dynamics. Zbl 07691748 Klein, Dominik; Rendsvig, Rasmus K.	1	2023
Computable reducibility of equivalence relations and an effective jump operator. Zbl 07691751 Clemens, John D.; Coskey, Samuel; Krakoff, Gianni	1	2023
Almost theorems of hyperarithmetic analysis. Zbl 1525.03056 Shore, Richard A.	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	7	2022
On non-compact \(p\)-adic definable groups. Zbl 1512.03057 Johnson, Will; Yao, Ningyuan	6	2022
On the uncountability of \(\mathbb{R}\). Zbl 1523.03004 Normann, Dag; Sanders, Sam	6	2022
A Q-wadge hierarchy in quasi-Polish spaces. Zbl 07541920 Selivanov, Victor	5	2022
Forcing constructions and countable Borel equivalence relations. Zbl 1526.03005 Gao, Su; Jackson, Steve; Krohne, Edward; Seward, Brandon	5	2022
Mutual interpretability of weak essentially undecidable theories. Zbl 07620694 Damnjanovic, Zlatan	4	2022
Higher independence. Zbl 07620701 Fischer, Vera; Montoya, Diana Carolina	3	2022
Ways of destruction. Zbl 1536.03021 Farkas, Barnabás; Zdomskyy, Lyubomyr	3	2022
The tree of tuples of a structure. Zbl 1504.03024 Harrison-Trainor, Matthew; Montalbán, Antonio	2	2022
Density-like and generalized density ideals. Zbl 07506777 Kwela, Adam; Leonetti, Paolo	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
The \(\Sigma_1\)-definable universal finite sequence. Zbl 1542.03054 Hamkins, Joel David; Williams, Kameryn J.	2	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
Tree forcing and definable maximal Independent sets in hypergraphs. Zbl 07620696 Schilhan, Jonathan	2	2022
Games characterizing limsup functions and Baire class \(1\) functions. Zbl 1505.54025 Elekes, Márton; Flesch, János; Kiss, Viktor; Nagy, Donát; Poór, Márk; Predtetchinski, Arkadi	2	2022
On equational completeness theorems. Zbl 1542.03083 Moraschini, Tommaso	2	2022
Taking Reinhardt’s power away. Zbl 07620703 Matthews, Richard	2	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
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
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
Information in propositional proofs and algorithmic proof search. Zbl 07541925 Krajíček, Jan	1	2022
Erratum to: “Surreal ordered exponential fields”. Zbl 1498.03088 Ehrlich, Philip; Kaplan, Elliot	1	2022
Counting siblings in universal theories. Zbl 1531.03073 Braunfeld, Samuel; Laskowski, Michael C.	1	2022
Most simple extensions of \(\mathbf{FL_e}\) are undecidable. Zbl 1531.03057 Galatos, Nikolaos; St. John, Gavin	1	2022
Embeddings into outer models. Zbl 1523.03021 Eskew, Monroe; Friedman, Sy-David	1	2022
Undecidability and non-axiomatizability of modal many-valued logics. Zbl 07620700 Vidal, Amanda	1	2022
Complete intuitionistic temporal logics for topological dynamics. Zbl 1499.03016 Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David	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
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
Projective clone homomorphisms. Zbl 1529.03192 Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András	23	2021
Reflection ranks and ordinal analysis. Zbl 1511.03018 Pakhomov, Fedor; Walsh, James	8	2021
Separating diagonal stationary reflection principles. Zbl 1529.03231 Fuchs, Gunter; Lambie-Hanson, Chris	5	2021
Prenex normal form theorems in semi-classical arithmetic. Zbl 1509.03160 Fujiwara, Makoto; Kurahashi, Taishi	5	2021
The reverse mathematics of theorems of Jordan and Lebesgue. Zbl 07457794 Nies, André; Triplett, Marcus A.; Yokoyama, Keita	5	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
Finding descending sequences through ill-founded linear orders. Zbl 1537.03053 Goh, Jun Le; Pauly, Arno; Valenti, Manlio	4	2021
The poset of all logics. I: Interpretations and lattice structure. Zbl 1509.03177 Jansana, R.; Moraschini, T.	4	2021
NS saturated and \({\Delta }_1\)-definable. Zbl 1529.03249 Hoffelner, Stefan	3	2021
Aronszajn tree preservation and bounded forcing axioms. Zbl 1529.03258 Fuchs, Gunter	3	2021
A predicative variant of Hyland’s effective topos. Zbl 1537.03090 Maietti, Maria Emilia; Maschio, Samuele	3	2021
Forcing axioms, approachability, and stationary set reflection. Zbl 1537.03064 Cox, Sean D.	3	2021
Forking, imaginaries, and other features of ACFG. Zbl 1537.03033 D’Elbée, Christian	3	2021
Associativity of the Morley product of invariant measures in NIP theories. Zbl 1509.03104 Conant, Gabriel; Gannon, Kyle	3	2021
Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. Zbl 1509.03116 Kellerman, Ruaan; Goranko, Valentin	3	2021
Maltsev conditions for general congruence meet-semidistributive algebras. Zbl 1487.08002 Olšák, Miroslav	3	2021
Shortening Clopen games. Zbl 07457789 Aguilera, Juan P.	3	2021
Classes of barren extensions. Zbl 1487.03056 Dobrinen, Natasha; Hathaway, Dan	2	2021
Cores over Ramsey structures. Zbl 1529.03194 Mottet, Antoine; Pinsker, Michael	2	2021
Inquisitive bisimulation. Zbl 1529.03144 Ciardelli, Ivano; Otto, Martin	2	2021
Stably measurable cardinals. Zbl 1537.03069 Welch, Philip D.	2	2021
...and 1570 more Documents

all cited Publications top 5 cited Publications

all top 5

Cited by 10,812 Authors

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

all top 5

Cited in 620 Journals

1,796	Annals of Pure and Applied Logic
1,755	The Journal of Symbolic Logic
837	Archive for Mathematical Logic
784	Studia Logica
781	Theoretical Computer Science
509	Journal of Philosophical Logic
486	Mathematical Logic Quarterly (MLQ)
419	Transactions of the American Mathematical Society
411	Israel Journal of Mathematics
401	Proceedings of the American Mathematical Society
371	Notre Dame Journal of Formal Logic
358	Synthese
320	The Bulletin of Symbolic Logic
292	The Review of Symbolic Logic
267	Algebra Universalis
255	Information and Computation
254	Algebra and Logic
242	Topology and its Applications
210	Journal of Mathematical Logic
192	Journal of Algebra
179	Artificial Intelligence
173	Journal of Applied Non-Classical Logics
166	Advances in Mathematics
158	Fuzzy Sets and Systems
155	Logical Methods in Computer Science
152	Journal of Computer and System Sciences
151	Journal of Pure and Applied Algebra
144	Mathematical Structures in Computer Science
143	Archiv für Mathematische Logik und Grundlagenforschung
141	History and Philosophy of Logic
134	Fundamenta Mathematicae
129	Journal of Automated Reasoning
127	Siberian Mathematical Journal
127	Journal of Logic, Language and Information
123	Logica Universalis
110	Journal of Applied Logic
89	International Journal of Approximate Reasoning
82	Information Processing Letters
78	Logic and Logical Philosophy
75	Discrete Mathematics
74	Annals of Mathematics and Artificial Intelligence
72	Order
71	Communications in Algebra
71	Mathematical Notes
70	Theory of Computing Systems
69	Journal of Mathematical Psychology
68	Erkenntnis
66	Soft Computing
64	ACM Transactions on Computational Logic
60	Journal of Symbolic Computation
60	Journal of Mathematical Sciences (New York)
57	Information Sciences
54	Computability
53	International Journal of Theoretical Physics
53	International Journal of Algebra and Computation
50	Journal of Logical and Algebraic Methods in Programming
46	Sibirskie Èlektronnye Matematicheskie Izvestiya
44	Journal of Combinatorial Theory. Series A
43	Bulletin of the Section of Logic
42	Mathematische Annalen
42	European Journal of Combinatorics
40	Journal of Soviet Mathematics
38	Discrete Applied Mathematics
38	Indagationes Mathematicae. New Series
38	Lobachevskii Journal of Mathematics
37	Journal of Mathematical Analysis and Applications
37	Mathematical Social Sciences
36	Bulletin of the American Mathematical Society
35	Journal of the European Mathematical Society (JEMS)
34	Journal of the American Mathematical Society
34	Journal of Functional Programming
32	Formal Methods in System Design
31	Selecta Mathematica. New Series
31	Forum of Mathematics, Sigma
29	Rendiconti del Seminario Matematico della Università di Padova
28	Acta Mathematica Hungarica
28	Applied Categorical Structures
28	Journal of Logic and Analysis
27	Compositio Mathematica
27	Journal of Combinatorial Theory. Series B
27	Semigroup Forum
27	Bulletin of the American Mathematical Society. New Series
27	Theory and Practice of Logic Programming
27	Model Theory
26	Mathematische Zeitschrift
25	The Mathematical Intelligencer
25	Journal of Functional Analysis
25	Doklady Mathematics
24	Journal of the London Mathematical Society. Second Series
24	The Journal of Logic and Algebraic Programming
24	Journal of the Institute of Mathematics of Jussieu
22	Bulletin of the London Mathematical Society
22	Monatshefte für Mathematik
22	Theory and Decision
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	Journal of Complexity
...and 520 more Journals

all top 5

Cited in 62 Fields

16,402	Mathematical logic and foundations (03-XX)
4,471	Computer science (68-XX)
1,402	Order, lattices, ordered algebraic structures (06-XX)
964	Combinatorics (05-XX)
934	General topology (54-XX)
835	Group theory and generalizations (20-XX)
574	Category theory; homological algebra (18-XX)
571	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
567	General algebraic systems (08-XX)
547	Field theory and polynomials (12-XX)
472	History and biography (01-XX)
373	Number theory (11-XX)
305	Functional analysis (46-XX)
298	General and overarching topics; collections (00-XX)
271	Measure and integration (28-XX)
219	Algebraic geometry (14-XX)
208	Probability theory and stochastic processes (60-XX)
205	Associative rings and algebras (16-XX)
201	Dynamical systems and ergodic theory (37-XX)
190	Commutative algebra (13-XX)
171	Topological groups, Lie groups (22-XX)
159	Quantum theory (81-XX)
152	Real functions (26-XX)
122	Operations research, mathematical programming (90-XX)
98	Information and communication theory, circuits (94-XX)
79	Operator theory (47-XX)
75	Geometry (51-XX)
71	Algebraic topology (55-XX)
71	Statistics (62-XX)
60	Convex and discrete geometry (52-XX)
59	Sequences, series, summability (40-XX)
54	Several complex variables and analytic spaces (32-XX)
48	Linear and multilinear algebra; matrix theory (15-XX)
35	Biology and other natural sciences (92-XX)
34	Manifolds and cell complexes (57-XX)
34	Systems theory; control (93-XX)
33	Functions of a complex variable (30-XX)
31	Abstract harmonic analysis (43-XX)
27	Ordinary differential equations (34-XX)
23	Numerical analysis (65-XX)
20	Global analysis, analysis on manifolds (58-XX)
19	Statistical mechanics, structure of matter (82-XX)
17	Approximations and expansions (41-XX)
17	Relativity and gravitational theory (83-XX)
16	Nonassociative rings and algebras (17-XX)
15	Differential geometry (53-XX)
11	Calculus of variations and optimal control; optimization (49-XX)
10	Difference and functional equations (39-XX)
10	Harmonic analysis on Euclidean spaces (42-XX)
9	Special functions (33-XX)
8	\(K\)-theory (19-XX)
8	Partial differential equations (35-XX)
8	Mechanics of particles and systems (70-XX)
7	Classical thermodynamics, heat transfer (80-XX)
7	Mathematics education (97-XX)
4	Fluid mechanics (76-XX)
3	Potential theory (31-XX)
3	Integral transforms, operational calculus (44-XX)
1	Integral equations (45-XX)
1	Mechanics of deformable solids (74-XX)
1	Optics, electromagnetic theory (78-XX)
1	Astronomy and astrophysics (85-XX)

The Journal of Symbolic Logic

Latest Issues

Authors

Fields

Publications by Year

Citations contained in zbMATH Open

Cited by 10,812 Authors

Cited in 620 Journals

Cited in 62 Fields

Citations by Year