×

zbMATH — the first resource for mathematics

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,762 Publications (since 1936)
References Indexed: 4,292 Publications with 53,401 References.
all top 5

Latest Issues

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)
62, No. 1 (1997)
61, No. 4 (1996)
61, No. 3 (1996)
61, No. 2 (1996)
...and 93 more Volumes
all top 5

Authors

145 Shelah, Saharon
44 Pillay, Anand
42 Knight, Julia F.
40 Friedman, Sy-David
37 Quine, Willard Van Orman
34 Poizat, Bruno Petrovich
33 Fitch, Frederic Brenton
29 Jockusch, Carl G. jun.
28 Downey, Rodney Graham
28 Schmerl, James H.
25 Wagner, Frank Olaf
24 Shore, Richard A.
23 Rosser, John Barkley
22 Baldwin, John T.
22 Keisler, Howard Jerome
21 Magidor, Menachem
20 Gurevich, Yuri
20 Lempp, Steffen
20 Montalbán, Antonio
19 Apter, Arthur W.
19 Blass, Andreas Raphael
19 Slaman, Theodore A.
19 Soare, Robert I.
18 Hjorth, Gregory
18 Remmel, Jeffrey B.
18 Schindler, Ralf-Dieter
18 Steel, John R.
17 Ben-Yaacov, Itaï
16 Lachlan, Alistair H.
16 Lerman, Manuel
16 Sorbi, Andrea
15 Delon, Françoise
15 Hamkins, Joel David
14 Gitik, Moti
14 Hrushovski, Ehud
14 McKinsey, J. C. C.
14 Myhill, John R.
14 Ng, KengMeng
14 Wang, Hao
13 Cherlin, Gregory L.
13 Ellentuck, Erik
13 Friedman, Harvey M.
13 Greenberg, Noam
13 Henle, James M.
13 Krajíček, Jan
13 Laskowski, Michael Chris
13 Németi, István
13 Newelski, Ludomir
13 Paris, Jeffrey Bruce
13 Simpson, Stephen G.
12 Andréka, Hajnal
12 Buechler, Steven
12 Bunder, Martin W.
12 Cholak, Peter A.
12 Cooper, Stuart Barry
12 Cummings, James
12 Gabbay, Dov M.
12 Goodman, Nelson
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 Miller, Russell G.
12 Neeman, Itay
12 Nies, André Otfrid
12 Takeuti, Gaisi
12 van den Dries, Lou
11 Baumgartner, James Earl
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 Church, Alonzo
10 Csima, Barbara F.
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
10 Larson, Paul B.
10 Normann, Dag
10 Point, Françoise
10 Prest, Mike
10 Scheepers, Marion
9 Barwise, Kenneth Jon
9 Baudisch, Andreas
9 Bernays, Paul
9 Brendle, Jörg
...and 2,389 more Authors
all top 5

Fields

4,092 Mathematical logic and foundations (03-XX)
203 Field theory and polynomials (12-XX)
196 Computer science (68-XX)
175 Order, lattices, ordered algebraic structures (06-XX)
172 Group theory and generalizations (20-XX)
142 General topology (54-XX)
88 Combinatorics (05-XX)
66 Category theory; homological algebra (18-XX)
61 General algebraic systems (08-XX)
55 Number theory (11-XX)
55 Measure and integration (28-XX)
47 Associative rings and algebras (16-XX)
42 Functional analysis (46-XX)
33 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
31 Commutative algebra (13-XX)
25 History and biography (01-XX)
25 Real functions (26-XX)
20 Topological groups, Lie groups (22-XX)
19 Algebraic geometry (14-XX)
18 General and overarching topics; collections (00-XX)
18 Dynamical systems and ergodic theory (37-XX)
18 Probability theory and stochastic processes (60-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
8 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 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 Algebraic topology (55-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,741 Publications have been cited 30,879 times in 16,362 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
478
1985
The relative efficiency of propositional proof systems. Zbl 0408.03044
Cook, Stephen A.; Reckhow, Robert A.
194
1979
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick
176
1959
Definability and decision problems in arithmetic. Zbl 0034.00801
Robinson, Julia
150
1949
Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409
McKinsey, J. C. C.; Tarski, Alfred
146
1948
A formulation of the simple theory of types. Zbl 0023.28901
Church, Alonzo
142
1940
Completeness in the theory of types. Zbl 0039.00801
Henkin, Leon
142
1950
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
132
1983
A formulation of the simple theory of types. JFM 66.1192.06
Church, A.
127
1940
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502
Craig, William
125
1957
On the calculus of relations. JFM 67.0973.02
Tarski, A.
124
1941
Intensional interpretations of functionals of finite type. I. Zbl 0174.01202
Tait, W. W.
122
1967
A propositional calculus with denumerable matrix. Zbl 0089.24307
Dummett, Michael
121
1959
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C.
116
1938
A completeness theorem in modal logic. Zbl 0091.00902
Kripke, Saul A.
110
1959
Constructible falsity. Zbl 0033.24304
Nelson, David
109
1949
Quantales and (noncommutative) linear logic. Zbl 0701.03026
Yetter, David N.
108
1990
A Borel reducibility theory for classes of countable structures. Zbl 0692.03022
Friedman, Harvey; Stanley, Lee
103
1989
Recursive unsolvability of a problem of Thue. Zbl 1263.03030
Post, Emil L.
103
1947
Probabilities on finite models. Zbl 0341.02044
Fagin, Ronald
99
1976
A theorem about infinite-valued sentential logic. Zbl 0043.00901
McNaughton, Robert
97
1951
Borel sets and Ramsey’s theorem. Zbl 0276.04003
Galvin, Fred; Prikry, Karel
95
1973
A new proof that analytic sets are Ramsey. Zbl 0292.02054
Ellentuck, Erik
92
1974
The completeness of the first-order functional calculus. Zbl 0034.00602
Henkin, Leon
92
1949
On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033
Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A.
91
2001
Flag algebras. Zbl 1146.03013
Razborov, Alexander A.
87
2007
Logics without the contraction rule. Zbl 0583.03018
Ono, Hiroakira; Komori, Yuichi
84
1985
A note on the Entscheidungsproblem. JFM 62.1058.04
Church, A.
82
1936
Games and full completeness for multiplicative linear logic. Zbl 0822.03007
Abramsky, Samson; Jagadeesan, Radha
80
1994
Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601
Friedberg, Richard M.
80
1959
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C.
79
1945
On strongly minimal sets. Zbl 0217.30402
Baldwin, J. T.; Lachlan, A. H.
79
1971
Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402
Craig, William
77
1957
Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102
Putnam, H.
76
1965
Systems of predicative analysis. Zbl 0134.01101
Feferman, S.
74
1964
Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102
Specker, Ernst
74
1949
The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864
McKinsey, J. C. C.
74
1943
On the calculus of relations. Zbl 0026.24401
Tarski, Alfred
73
1941
Gödel numberings of partial recursive functions. Zbl 0088.01602
Rogers, Hartley jun.
73
1959
Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086
Pudlák, Pavel
70
1997
On definable subsets of p-adic fields. Zbl 0362.02046
Macintyre, Angus J.
70
1976
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015
Takeuti, Gaisi; Titani, Satoko
69
1984
Limiting recursion. Zbl 0203.01201
Gold, E. M.
69
1965
Infinite time Turing machines. Zbl 0963.03064
Hamkins, Joel David; Lewis, Andy
67
2000
Existence and feasibility in arithmetic. Zbl 0243.02037
Parikh, Rohit
67
1971
One hundred and two problems in mathematical logic. Zbl 0318.02002
Friedman, Harvey
65
1975
Solution of a problem of Leon Henkin. Zbl 0067.00202
Löb, M. H.
65
1955
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029
Krajíček, Jan
64
1997
Constructible falsity and inexact predicates. Zbl 0575.03016
Almukdad, Ahmad; Nelson, David
64
1984
Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017
Avron, Arnon
62
1991
Algebraic semantics for modal logics. I, II. Zbl 0147.24805
Lemmon, E. J.
61
1966
Ramsey’s theorem and recursion theory. Zbl 0262.02042
Jockusch, Carl G. jun.
61
1972
A natural extension of natural deduction. Zbl 0574.03045
Schroeder-Heister, Peter
59
1984
Constructive set theory. Zbl 0314.02045
Myhill, John
59
1975
Saturated ideals. Zbl 0395.03031
Kunen, Kenneth
59
1978
Every analytic set is Ramsey. Zbl 0216.01304
Silver, J.
59
1970
The determinacy of Blackwell games. Zbl 0926.03071
Martin, Donald A.
58
1998
Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055
Hirschfeldt, Denis R.; Shore, Richard A.
58
2007
Unification in intuitionistic logic. Zbl 0930.03009
Ghilardi, Silvio
56
1999
Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042
Paris, J. B.; Wilkie, A. J.; Woods, A. R.
55
1988
Recursive well-orderings. Zbl 0067.00303
Spector, Clifford
55
1955
Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402
Feferman, S.
55
1963
Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024
Dunn, J. Michael
55
1970
Degrees coded in jumps of orderings. Zbl 0633.03038
Knight, Julia F.
54
1986
Reflecting on incompleteness. Zbl 0746.03046
Feferman, Solomon
54
1991
Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004
Dyckhoff, Roy
54
1992
On the restraining power of guards. Zbl 0958.03027
Grädel, Erich
51
1999
Substructural fuzzy logics. Zbl 1139.03017
Metcalfe, George; Montagna, Franco
51
2007
On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009
Pitts, Andrew M.
50
1992
On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701
Kreisel, Georg
50
1952
A logical analysis of some value concepts. Zbl 0943.03599
Fitch, Frederic B.
49
1964
Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001
van Lambalgen, Michiel
49
1987
Analytic determinacy and \(O^\#\). Zbl 0398.03039
Harrington, Leo
49
1978
On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013
Iemhoff, Rosalie
48
2001
On sentences which are true of direct unions of algebras. Zbl 0043.24801
Horn, Alfred
48
1951
On the interpretation of non-finitist proofs. I. Zbl 0044.00302
Kreisel, Georg
48
1951
Concatenation as a basis for arithmetic. Zbl 0063.06362
Quine, Willard Van Orman
48
1946
Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029
Krajíček, Jan; Pudlák, Pavel
47
1989
Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071
Brattka, Vasco; Gherardi, Guido
47
2011
Elementary embedding and infinitary combinatorics. Zbl 0272.02087
Kunen, Kenneth
47
1971
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra
46
2005
Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053
Buss, Samuel R.
46
1987
Toward useful type-free theories. I. Zbl 0574.03043
Feferman, Solomon
46
1984
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044
Abrusci, V. Michele
46
1991
Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904
Horn, A.
46
1969
Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
45
2001
Cuts, consistency statements and interpretations. Zbl 0569.03024
Pudlák, Pavel
45
1985
Models without indiscernibles. Zbl 0391.03027
Abramson, Fred G.; Harrington, Leo A.
45
1978
Reflecting stationary sets. Zbl 0506.03014
Magidor, Menachem
45
1982
Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404
Richardson, D.
45
1968
Randomness, relativization and Turing degrees. Zbl 1090.03013
Nies, André; Stephan, Frank; Terwijn, Sebastiaan A.
44
2005
Semantics for relevant logics. Zbl 0245.02028
Urquhart, Alasdair
44
1972
Computational randomness and lowness. Zbl 0990.03033
Terwijn, Sebastiaan A.; Zambella, Domenico
43
2001
A constructive analysis of RM. Zbl 0639.03017
Avron, Arnon
43
1987
Recursive isomorphism types of recursive Boolean algebras. Zbl 0543.03031
Remmel, J. B.
43
1981
A minimal pair of recursively enumerable degrees. Zbl 0143.25402
Yates, C. E. M.
43
1966
The modal logic of inequality. Zbl 0788.03019
de Rijke, Maarten
43
1992
An introduction to forking. Zbl 0424.03013
Lascar, Daniel; Poizat, Bruno
42
1979
Degrees of structures. Zbl 0512.03024
Richter, Linda Jean
42
1981
A very weak square principle. Zbl 0880.03022
Foreman, Matthew; Magidor, Menachem
41
1997
Projective clone homomorphisms. Zbl 07370805
Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András
2
2021
Characterizing existence of a measurable cardinal via modal logic. Zbl 07370819
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; Mill, Jan Van
1
2021
Punctual categoricity and universality. Zbl 07333589
Downey, Rod; Greenberg, Noam; Melnikov, Alexander; Meng Ng, Keng; Turetsky, Daniel
3
2020
The consistency strength of long projective determinacy. Zbl 07190478
Aguilera, Juan P.; Müller, Sandra
3
2020
A note on derivability conditions. Zbl 07326440
Kurahashi, Taishi
2
2020
Truth and feasible reducibility. Zbl 1444.03164
Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz
2
2020
Indestructibility of the tree property. Zbl 07190483
Honzik, Radek; Stejskalová, Šárka
2
2020
Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice. Zbl 07326432
Kihara, Takayuki; Marcone, Alberto; Pauly, Arno
1
2020
On the complexity of classifying Lebesgue spaces. Zbl 07326441
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
Computability, orders, and solvable groups. Zbl 07333593
Darbinyan, Arman
1
2020
Computability of Polish spaces up to homeomorphism. Zbl 07333598
Harrison-Trainor, Matthew; Melnikov, Alexander; Meng Ng, Keng
1
2020
The Kim-Pillay theorem for abstract elementary categories. Zbl 07333600
Kamsma, Mark
1
2020
Two new series of principles in the interpretability logic of all reasonable arithmetical theories. Zbl 07190461
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
On the existence of large antichains for definable quasi-orders. Zbl 07190468
Miller, Benjamin D.; Vidnyánszky, Zoltán
1
2020
Choice-free Stone duality. Zbl 1444.03172
Bezhanishvili, Nick; Holliday, Wesley H.
1
2020
Coherent extension of partial automorphisms, free amalgamation and automorphism groups. Zbl 07190472
Siniora, Daoud; Solecki, Sławomir
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
5
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
Computability theory, nonstandard analysis, and their connections. Zbl 1454.03018
Normann, Dag; Sanders, Sam
3
2019
Existence of modeling limits for sequences of sparse structures. Zbl 1444.03126
Nešetřil, Jaroslav; de Mendez, Patrice Ossona
3
2019
Unsound inferences make proofs shorter. Zbl 1439.03095
Aguilera, Juan P.; Baaz, Matthias
2
2019
A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction. Zbl 1467.03031
Kentaro, Sato
2
2019
Games and Ramsey-like cardinals. Zbl 1444.03146
Nielsen, Dan Saattrup; Welch, Philip
2
2019
Blowing up the power of a singular cardinal of uncountable cofinality. Zbl 1455.03063
Gitik, Moti
2
2019
ITP, ISP, and SCH. Zbl 07186304
Hachtman, Sherwood; Sinapova, Dima
2
2019
Independence in generic incidence structures. Zbl 07186306
Conant, Gabriel; Kruckman, Alex
2
2019
On the inevitability of the consistency operator. Zbl 1456.03091
Montalbán, Antonio; Walsh, James
1
2019
Definable minimal collapse functions at arbitrary projective levels. Zbl 1453.03053
Kanovei, Vladimir; Lyubetsky, Vassily
1
2019
Components and minimal normal subgroups of finite and pseudofinite groups. Zbl 07036437
Wilson, John S.
1
2019
On singular stationarity. II: Tight stationarity and extenders-based methods. Zbl 1436.03243
Ben-Neria, Omer
1
2019
Discrete metric spaces: structure, enumeration, and 0-1 laws. Zbl 07149968
Mubayi, Dhruv; Terry, Caroline
1
2019
Henselian valued fields and inp-minimality. Zbl 1453.03030
Chernikov, Artem; Simon, Pierre
1
2019
Strong density of definable types and closed ordered differential fields. Zbl 1450.03006
Brouette, Quentin; Kovacsics, Pablo Cubides; Point, Françoise
1
2019
Characterizing downwards closed, strongly first-order, relativizable dependencies. Zbl 07106188
Galliani, Pietro
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 07106193
Debs, Gabriel; Saint Raymond, Jean
1
2019
An abstract elementary class nonaxiomatizable in \(L_{\infty ,\kappa}\). Zbl 1429.18004
Henry, Simon
1
2019
On the commutativity of pull-back and push-forward functors on motivic constructible functions. Zbl 1430.14036
Cely, Jorge; Raibaut, Michel
1
2019
Local Keisler measures and NIP formulas. Zbl 07106196
Gannon, Kyle
1
2019
A tail cone version of the Halpern-Läuchli theorem at a large cardinal. Zbl 07186294
Zhang, Jing
1
2019
A separation result for countable unions of Borel rectangles. Zbl 07186296
Lecomte, Dominique
1
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
1
2019
Minimum models of second-order set theories. Zbl 1453.03033
Williams, Kameryn J.
1
2019
The Harrington-Shelah model with large continuum. Zbl 1453.03050
Gilton, Thomas; Krueger, John
1
2019
Axiomatization of provable \(n\)-provability. Zbl 1444.03165
Kolmakov, Evgeny; Beklemishev, Lev
1
2019
A computable functor from graphs to fields. Zbl 1447.03005
Miller, Russell; Poonen, Bjorn; Schoutens, Hans; Shlapentokh, Alexandra
26
2018
Relatively exchangeable structures. Zbl 06915707
Crane, Harry; Towsner, Henry
6
2018
Degrees of categoricity and spectral dimension. Zbl 1447.03008
Bazhenov, Nikolay A.; Kalimullin, Iskander Sh.; Yamaleev, Mars M.
6
2018
Universal classes near \({\aleph _1}\). Zbl 06997558
Mazari-Armida, Marcos; Vasey, Sebastien
5
2018
Computable Polish group actions. Zbl 06915708
Melnikov, Alexander; Montalbán, Antonio
5
2018
A direct proof of Schwichtenberg’s bar recursion closure theorem. Zbl 1406.03059
Oliva, Paulo; Steila, Silvia
5
2018
Hierarchies of forcing axioms, the continuum hypothesis and square principles. Zbl 1447.03017
Fuchs, Gunter
5
2018
A logical and algebraic characterization of adjunctions between generalized quasi-varieties. Zbl 1410.18002
Moraschini, Tommaso
4
2018
Subcomplete forcing, trees, and generic absoluteness. Zbl 06966196
Fuchs, Gunter; Minden, Kaethe
4
2018
Borel functors and infinitary interpretations. Zbl 06997547
Harrison-Trainor, Matthew; Miller, Russell; Montalbán, Antonio
4
2018
Universal minimal flows of generalized Ważewski dendrites. Zbl 1402.05211
Kwiatkowska, Aleksandra
4
2018
Generalizations of the recursion theorem. Zbl 06997562
Terwijn, Sebastiaan A.
4
2018
Some applications of supercompact extender based forcings to HOD. Zbl 06915709
Gitik, Moti; Merimovich, Carmi
4
2018
Varsovian models. I. Zbl 06915711
Sargsyan, Grigor; Schindler, Ralf
4
2018
Uniform procedures in uncountable structures. Zbl 06915712
Greenberg, Noam; Melnikov, Alexander G.; Knight, Julia F.; Turetsky, Daniel
4
2018
The tree property at \(\aleph_{\omega^{2}+1}\) and \(\aleph_{\omega^{2}+2}\). Zbl 06915719
Sinapova, Dima; Unger, Spencer
4
2018
Dominions and primitive positive functions. Zbl 1428.18002
Campercholi, Miguel
4
2018
Strict coherence on many-valued events. Zbl 1447.03001
Flaminio, Tommaso; Hosni, Hykel; Montagna, Franco
4
2018
Coherent systems of finite support iterations. Zbl 1447.03013
Fischer, Vera; Friedman, Sy D.; Mejía, Diego A.; Montoya, Diana C.
4
2018
Decidability of the theory of modules over Prüfer domains with infinite residue fields. Zbl 06997545
Gregory, Lorna; L’Innocente, Sonia; Puninski, Gena; Toffalori, Carlo
3
2018
The unity and identity of decidable objects and double-negation sheaves. Zbl 1409.18002
Menni, Matías
3
2018
Abstract \(\omega\)-limit sets. Zbl 1406.54020
Brian, Will
3
2018
Happy and mad families in \(L(\mathbb{R})\). Zbl 06915714
Neeman, Itay; Norwood, Zach
3
2018
Compact cardinals and eight values in Cichoń’s diagram. Zbl 1430.03057
Kellner, Jakob; Tănasie, Anda Ramona; Tonti, Fabio Elio
3
2018
There are no intermediate structures between the group of integers and Presburger arithmetic. Zbl 1447.03006
Conant, Gabriel
3
2018
Hierarchies of (virtual) resurrection axioms. Zbl 1447.03018
Fuchs, Gunter
3
2018
Bounded polynomials and holomorphic mappings between convex subrings of \(^\ast\mathbb C\). Zbl 1401.30055
Khalfallah, Adel; Kosarew, Siegmund
3
2018
An algebraic approach to MSO-definability on countable linear orderings. Zbl 06966190
Carton, Olivier; Colcombet, Thomas; Puppis, Gabriele
2
2018
The complexity of topological group isomorphism. Zbl 06966191
Kechris, Alexander S.; Nies, André; Tent, Katrin
2
2018
Infinite combinatorics plain and simple. Zbl 1439.03083
Soukup, Dániel T.; Soukup, Lajos
2
2018
Squares, ascent paths, and chain conditions. Zbl 06997551
Lambie-Hanson, Chris; Lücke, Philipp
2
2018
Namba forcing, weak approximation, and guessing. Zbl 06997552
Cox, Sean; Krueger, John
2
2018
The variety of coset relation algebras. Zbl 06997555
Givant, Steven; Andréka, Hajnal
2
2018
Keisler’s order is not linear, assuming a supercompact. Zbl 06915717
Ulrich, Douglas
2
2018
Equivalence relations invariant under group actions. Zbl 06915720
Rzepecki, Tomasz
2
2018
Randomness via infinite computation and effective descriptive set theory. Zbl 06915724
Carl, Merlin; Schlicht, Philipp
2
2018
Weak squares and very good scales. Zbl 1447.03015
Levine, Maxwell
2
2018
Left-orderable computable groups. Zbl 1447.03009
Harrison-Trainor, Matthew
2
2018
The eightfold way. Zbl 1435.03081
Cummings, James; Friedman, Sy-David; Magidor, Menachem; Rinot, Assaf; Sinapova, Dima
2
2018
Minimal axiomatic frameworks for definable hyperreals with transfer. Zbl 1447.03014
Herzberg, Frederik S.; Kanovei, Vladimir; Katz, Mikhail; Lyubetsky, Vassily
2
2018
The temporal logic of two dimensional Minkowski spacetime is decidable. Zbl 06966178
Hirsch, Robin; Reynolds, Mark
1
2018
Truths, inductive definitions, and Kripke-Platek systems over set theory. Zbl 06966179
Fujimoto, Kentaro
1
2018
On the structure of groups endowed with a compatible \(C\)-relation. Zbl 1425.06004
Lehéricy, Gabriel
1
2018
Interrelation between weak fragments of double negation shift and related principles. Zbl 1445.03006
Fujiwara, Makoto; Kohlenbach, Ulrich
1
2018
Towers in filters, cardinal invariants, and Luzin type families. Zbl 06966185
Brendle, Jörg; Farkas, Barnabás; Verner, Jonathan
1
2018
On \(C^{(n)}\)-extendible cardinals. Zbl 1425.03022
Tsaprounis, Konstantinos
1
2018
Undecidability of the first order theories of free noncommutative Lie algebras. Zbl 06966192
Kharlampovich, Olga; Myasnikov, Alexei
1
2018
Brouwer’s fan theorem and convexity. Zbl 06997543
Berger, Josef; Svindland, Gregor
1
2018
The Ellis group conjecture and variants of definable amenability. Zbl 06997544
Jagiella, Grzegorz
1
2018
Constructing types in differentially closed fields that are analysable in the constants. Zbl 06997546
Jin, Ruizhang
1
2018
...and 1488 more Documents
all top 5

Cited by 8,885 Authors

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

Cited in 521 Journals

1,603 Annals of Pure and Applied Logic
1,538 The Journal of Symbolic Logic
741 Theoretical Computer Science
724 Archive for Mathematical Logic
706 Studia Logica
431 Journal of Philosophical Logic
390 Transactions of the American Mathematical Society
372 Israel Journal of Mathematics
363 Proceedings of the American Mathematical Society
322 Notre Dame Journal of Formal Logic
291 Mathematical Logic Quarterly (MLQ)
284 The Bulletin of Symbolic Logic
280 Synthese
246 Algebra Universalis
226 Algebra and Logic
226 Information and Computation
211 The Review of Symbolic Logic
205 Topology and its Applications
165 Journal of Algebra
156 Journal of Applied Non-Classical Logics
154 Journal of Mathematical Logic
147 Artificial Intelligence
143 Archiv für Mathematische Logik und Grundlagenforschung
142 Fuzzy Sets and Systems
142 Journal of Computer and System Sciences
137 Advances in Mathematics
135 Journal of Pure and Applied Algebra
129 History and Philosophy of Logic
123 MSCS. Mathematical Structures in Computer Science
114 Siberian Mathematical Journal
108 Journal of Automated Reasoning
108 Journal of Applied Logic
102 Logica Universalis
100 Journal of Logic, Language and Information
81 Logical Methods in Computer Science
79 Information Processing Letters
67 Discrete Mathematics
66 Mathematical Notes
65 Theory of Computing Systems
63 Fundamenta Mathematicae
63 Order
63 International Journal of Approximate Reasoning
63 Soft Computing
62 Communications in Algebra
62 Annals of Mathematics and Artificial Intelligence
61 Journal of Mathematical Psychology
59 Erkenntnis
58 Journal of Symbolic Computation
51 International Journal of Theoretical Physics
50 Journal of Mathematical Sciences (New York)
49 Information Sciences
44 International Journal of Algebra and Computation
42 Journal of Logical and Algebraic Methods in Programming
41 Journal of Combinatorial Theory. Series A
40 Journal of Soviet Mathematics
40 Logic and Logical Philosophy
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
31 Journal of the American Mathematical Society
30 Journal of Mathematical Analysis and Applications
29 Journal of Functional Programming
29 Lobachevskii Journal of Mathematics
29 Sibirskie Èlektronnye Matematicheskie Izvestiya
28 Rendiconti del Seminario Matematico della Università di Padova
27 Formal Methods in System Design
26 Compositio Mathematica
26 Bulletin of the American Mathematical Society. New Series
24 Mathematische Zeitschrift
24 Semigroup Forum
24 The Journal of Logic and Algebraic Programming
23 The Mathematical Intelligencer
23 Journal of Combinatorial Theory. Series B
23 Journal of the Institute of Mathematics of Jussieu
22 Bulletin of the Section of Logic
22 Computational Complexity
22 Applied Categorical Structures
22 Selecta Mathematica. New Series
22 RAIRO. Theoretical Informatics and Applications
22 Proceedings of the Japan Academy
21 Journal of Complexity
21 Computability
20 Acta Informatica
20 Theory and Decision
20 Formal Aspects of Computing
20 Journal of the European Mathematical Society (JEMS)
19 Mathematical Proceedings of the Cambridge Philosophical Society
19 Journal of Functional Analysis
19 Acta Mathematica Hungarica
18 Applied Mathematics and Computation
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
18 Theory and Practice of Logic Programming
17 Inventiones Mathematicae
...and 421 more Journals
all top 5

Cited in 61 Fields

12,995 Mathematical logic and foundations (03-XX)
3,394 Computer science (68-XX)
1,116 Order, lattices, ordered algebraic structures (06-XX)
736 General topology (54-XX)
685 Combinatorics (05-XX)
669 Group theory and generalizations (20-XX)
470 General algebraic systems (08-XX)
463 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
441 Field theory and polynomials (12-XX)
431 Category theory; homological algebra (18-XX)
382 History and biography (01-XX)
280 Number theory (11-XX)
230 General and overarching topics; collections (00-XX)
223 Functional analysis (46-XX)
218 Measure and integration (28-XX)
167 Associative rings and algebras (16-XX)
161 Commutative algebra (13-XX)
161 Probability theory and stochastic processes (60-XX)
160 Algebraic geometry (14-XX)
147 Dynamical systems and ergodic theory (37-XX)
125 Topological groups, Lie groups (22-XX)
124 Real functions (26-XX)
110 Quantum theory (81-XX)
86 Operations research, mathematical programming (90-XX)
77 Information and communication theory, circuits (94-XX)
60 Geometry (51-XX)
59 Operator theory (47-XX)
51 Statistics (62-XX)
48 Algebraic topology (55-XX)
45 Several complex variables and analytic spaces (32-XX)
43 Convex and discrete geometry (52-XX)
42 Linear and multilinear algebra; matrix theory (15-XX)
38 Numerical analysis (65-XX)
36 Sequences, series, summability (40-XX)
30 Biology and other natural sciences (92-XX)
28 Systems theory; control (93-XX)
25 Functions of a complex variable (30-XX)
25 Abstract harmonic analysis (43-XX)
25 Manifolds and cell complexes (57-XX)
24 Ordinary differential equations (34-XX)
20 Approximations and expansions (41-XX)
17 Statistical mechanics, structure of matter (82-XX)
15 Differential geometry (53-XX)
15 Global analysis, analysis on manifolds (58-XX)
13 Nonassociative rings and algebras (17-XX)
11 Relativity and gravitational theory (83-XX)
10 Special functions (33-XX)
9 Difference and functional equations (39-XX)
9 Harmonic analysis on Euclidean spaces (42-XX)
9 Mechanics of particles and systems (70-XX)
8 Partial differential equations (35-XX)
7 Calculus of variations and optimal control; optimization (49-XX)
7 Mathematics education (97-XX)
5 \(K\)-theory (19-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