×

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: Indexed cover-to-cover
Documents Indexed: 4,835 Publications (since 1936)
References Indexed: 4,365 Publications with 55,035 References.
all top 5

Latest Issues

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

Authors

146 Shelah, Saharon
44 Pillay, Anand
42 Knight, Julia F.
41 Friedman, Sy-David
37 Quine, Willard Van Orman
35 Poizat, Bruno Petrovich
33 Fitch, Frederic Brenton
30 Downey, Rodney Graham
29 Jockusch, Carl G. jun.
28 Schmerl, James H.
25 Wagner, Frank Olaf
24 Shore, Richard Arnold
23 Baldwin, John T.
23 Rosser, John Barkley
22 Keisler, Howard Jerome
22 Magidor, Menachem
21 Montalbán, Antonio
20 Apter, Arthur W.
20 Gurevich, Yuri
20 Lempp, Steffen
20 Slaman, Theodore A.
19 Blass, Andreas Raphael
19 Soare, Robert I.
18 Ben-Yaacov, Itaï
18 Hjorth, Gregory
18 Remmel, Jeffrey B.
18 Schindler, Ralf-Dieter
18 Steel, John R.
16 Hamkins, Joel David
16 Lachlan, Alistair H.
16 Lerman, Manuel
16 Sorbi, Andrea
15 Delon, Françoise
15 Greenberg, Noam
15 Nies, André Otfrid
14 Gitik, Moti
14 Hrushovski, Ehud
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 Henle, James M.
13 Krajíček, Jan
13 Laskowski, Michael Chris
13 Miller, Russell G.
13 Neeman, Itay
13 Newelski, Ludomir
13 Paris, Jeffrey Bruce
13 Simpson, Stephen G.
12 Buechler, Steven
12 Bunder, Martin W.
12 Cholak, Peter A.
12 Cooper, Stuart Barry
12 Gabbay, Dov M.
12 Goodman, Nelson
12 Harrison-Trainor, Matthew
12 Henson, C. Ward
12 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 Csima, Barbara F.
11 Curry, Haskell Brooks
11 Goldfarb, Warren D.
11 Hirsch, Robin
11 Hirschfeldt, Denis Roman
11 Kleinberg, Eugene M.
11 Marker, David E.
11 Mitchell, William John
11 Väänänen, Jouko Antero
11 Yu, Liang
10 Adamowicz, Zofia
10 Brendle, Jörg
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 Kim, Byunghan
10 Kreisel, Georg
10 Kunen, Kenneth
10 Larson, Paul B.
10 Normann, Dag
10 Point, Françoise
10 Prest, Mike
10 Scheepers, Marion
10 Welch, Philip D.
...and 2,429 more Authors
all top 5

Fields

4,172 Mathematical logic and foundations (03-XX)
206 Field theory and polynomials (12-XX)
198 Computer science (68-XX)
182 Order, lattices, ordered algebraic structures (06-XX)
175 Group theory and generalizations (20-XX)
144 General topology (54-XX)
90 Combinatorics (05-XX)
68 Category theory; homological algebra (18-XX)
63 General algebraic systems (08-XX)
59 Number theory (11-XX)
57 Measure and integration (28-XX)
46 Associative rings and algebras (16-XX)
42 Functional analysis (46-XX)
35 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
31 Commutative algebra (13-XX)
25 History and biography (01-XX)
23 Real functions (26-XX)
21 Topological groups, Lie groups (22-XX)
20 Algebraic geometry (14-XX)
19 Probability theory and stochastic processes (60-XX)
18 General and overarching topics; collections (00-XX)
18 Dynamical systems and ergodic theory (37-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
9 Geometry (51-XX)
7 Abstract harmonic analysis (43-XX)
7 Operator theory (47-XX)
7 Quantum theory (81-XX)
6 Several complex variables and analytic spaces (32-XX)
5 Algebraic topology (55-XX)
5 Information and communication theory, circuits (94-XX)
4 Convex and discrete geometry (52-XX)
3 Functions of a complex variable (30-XX)
3 Ordinary differential equations (34-XX)
3 Manifolds and cell complexes (57-XX)
2 Nonassociative rings and algebras (17-XX)
2 Statistics (62-XX)
1 Sequences, series, summability (40-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Mechanics of particles and systems (70-XX)
1 Relativity and gravitational theory (83-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

Citations contained in zbMATH Open

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

Cited by 9,297 Authors

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

Cited in 547 Journals

1,637 Annals of Pure and Applied Logic
1,602 The Journal of Symbolic Logic
747 Theoretical Computer Science
741 Archive for Mathematical Logic
728 Studia Logica
454 Journal of Philosophical Logic
400 Transactions of the American Mathematical Society
377 Israel Journal of Mathematics
369 Proceedings of the American Mathematical Society
333 Notre Dame Journal of Formal Logic
301 Synthese
296 The Bulletin of Symbolic Logic
291 Mathematical Logic Quarterly (MLQ)
252 Algebra Universalis
232 Algebra and Logic
229 Information and Computation
225 The Review of Symbolic Logic
211 Topology and its Applications
169 Journal of Mathematical Logic
167 Journal of Algebra
158 Journal of Applied Non-Classical Logics
152 Artificial Intelligence
147 Advances in Mathematics
144 Journal of Computer and System Sciences
143 Archiv für Mathematische Logik und Grundlagenforschung
142 Fuzzy Sets and Systems
137 Journal of Pure and Applied Algebra
129 History and Philosophy of Logic
128 MSCS. Mathematical Structures in Computer Science
119 Siberian Mathematical Journal
115 Journal of Automated Reasoning
108 Journal of Applied Logic
105 Logica Universalis
104 Journal of Logic, Language and Information
98 Logical Methods in Computer Science
86 Fundamenta Mathematicae
79 Information Processing Letters
69 Discrete Mathematics
69 Mathematical Notes
69 Erkenntnis
68 International Journal of Approximate Reasoning
68 Annals of Mathematics and Artificial Intelligence
65 Communications in Algebra
65 Theory of Computing Systems
63 Journal of Mathematical Psychology
63 Order
63 Soft Computing
63 Logic and Logical Philosophy
58 Journal of Symbolic Computation
52 International Journal of Theoretical Physics
51 Information Sciences
50 Journal of Mathematical Sciences (New York)
44 International Journal of Algebra and Computation
42 Journal of Combinatorial Theory. Series A
42 Journal of Logical and Algebraic Methods in Programming
40 Journal of Soviet Mathematics
39 Mathematische Annalen
38 European Journal of Combinatorics
37 Mathematical Social Sciences
37 ACM Transactions on Computational Logic
36 Indagationes Mathematicae. New Series
36 Bulletin of the American Mathematical Society
35 Discrete Applied Mathematics
33 Sibirskie Èlektronnye Matematicheskie Izvestiya
32 Journal of the American Mathematical Society
32 Computability
31 Journal of Mathematical Analysis and Applications
31 Journal of Functional Programming
30 Lobachevskii Journal of Mathematics
28 Rendiconti del Seminario Matematico della Università di Padova
28 Formal Methods in System Design
26 Compositio Mathematica
26 Bulletin of the American Mathematical Society. New Series
26 Selecta Mathematica. New Series
25 Journal of Combinatorial Theory. Series B
24 Mathematische Zeitschrift
24 Semigroup Forum
24 Journal of the European Mathematical Society (JEMS)
24 The Journal of Logic and Algebraic Programming
23 The Mathematical Intelligencer
23 Applied Categorical Structures
23 Journal of the Institute of Mathematics of Jussieu
22 Bulletin of the Section of Logic
22 Acta Mathematica Hungarica
22 Computational Complexity
22 RAIRO. Theoretical Informatics and Applications
22 Proceedings of the Japan Academy
21 Journal of Complexity
20 Acta Informatica
20 Journal of Functional Analysis
20 Theory and Decision
20 Formal Aspects of Computing
20 Theory and Practice of Logic Programming
19 Mathematical Proceedings of the Cambridge Philosophical Society
18 Applied Mathematics and Computation
18 Inventiones Mathematicae
18 Nagoya Mathematical Journal
18 Publications of the Research Institute for Mathematical Sciences, Kyoto University
18 International Journal of Foundations of Computer Science
18 Foundations of Science
...and 447 more Journals
all top 5

Cited in 61 Fields

13,648 Mathematical logic and foundations (03-XX)
3,588 Computer science (68-XX)
1,178 Order, lattices, ordered algebraic structures (06-XX)
777 General topology (54-XX)
747 Combinatorics (05-XX)
707 Group theory and generalizations (20-XX)
497 General algebraic systems (08-XX)
484 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
465 Field theory and polynomials (12-XX)
452 Category theory; homological algebra (18-XX)
411 History and biography (01-XX)
302 Number theory (11-XX)
242 Functional analysis (46-XX)
239 General and overarching topics; collections (00-XX)
228 Measure and integration (28-XX)
176 Associative rings and algebras (16-XX)
176 Probability theory and stochastic processes (60-XX)
171 Algebraic geometry (14-XX)
166 Commutative algebra (13-XX)
159 Dynamical systems and ergodic theory (37-XX)
137 Topological groups, Lie groups (22-XX)
131 Real functions (26-XX)
118 Quantum theory (81-XX)
98 Operations research, mathematical programming (90-XX)
81 Information and communication theory, circuits (94-XX)
64 Operator theory (47-XX)
61 Geometry (51-XX)
52 Statistics (62-XX)
50 Algebraic topology (55-XX)
47 Linear and multilinear algebra; matrix theory (15-XX)
45 Convex and discrete geometry (52-XX)
44 Several complex variables and analytic spaces (32-XX)
39 Sequences, series, summability (40-XX)
39 Numerical analysis (65-XX)
31 Biology and other natural sciences (92-XX)
29 Systems theory; control (93-XX)
27 Abstract harmonic analysis (43-XX)
27 Manifolds and cell complexes (57-XX)
24 Functions of a complex variable (30-XX)
24 Ordinary differential equations (34-XX)
19 Approximations and expansions (41-XX)
18 Statistical mechanics, structure of matter (82-XX)
16 Global analysis, analysis on manifolds (58-XX)
15 Differential geometry (53-XX)
13 Nonassociative rings and algebras (17-XX)
12 Relativity and gravitational theory (83-XX)
11 Special functions (33-XX)
10 Difference and functional equations (39-XX)
10 Harmonic analysis on Euclidean spaces (42-XX)
9 Mechanics of particles and systems (70-XX)
8 Partial differential equations (35-XX)
8 Calculus of variations and optimal control; optimization (49-XX)
6 \(K\)-theory (19-XX)
6 Mathematics education (97-XX)
5 Classical thermodynamics, heat transfer (80-XX)
4 Fluid mechanics (76-XX)
3 Integral transforms, operational calculus (44-XX)
2 Potential theory (31-XX)
1 Mechanics of deformable solids (74-XX)
1 Optics, electromagnetic theory (78-XX)
1 Astronomy and astrophysics (85-XX)

Citations by Year