×

Notre Dame Journal of Formal Logic

Short Title: Notre Dame J. Formal Logic
Publisher: University of Notre Dame, Notre Dame, IN; Duke University Press, Durham, NC
ISSN: 0029-4527
Online: http://projecteuclid.org/ndjfl
http://www.nd.edu/~ndjfl/
Comments: Journal; Indexed cover-to-cover; This journal is available open access.
Documents Indexed: 2,580 Publications (since 1960)
References Indexed: 642 Publications with 11,544 References.
all top 5

Latest Issues

64, No. 4 (2023)
64, No. 3 (2023)
64, No. 2 (2023)
64, No. 1 (2023)
63, No. 4 (2022)
63, No. 3 (2022)
63, No. 2 (2022)
63, No. 1 (2022)
62, No. 4 (2021)
62, No. 3 (2021)
62, No. 2 (2021)
62, No. 1 (2021)
61, No. 4 (2020)
61, No. 3 (2020)
61, No. 2 (2020)
61, No. 1 (2020)
60, No. 4 (2019)
60, No. 3 (2019)
60, No. 2 (2019)
60, No. 1 (2019)
59, No. 4 (2018)
59, No. 3 (2018)
59, No. 2 (2018)
59, No. 1 (2018)
58, No. 4 (2017)
58, No. 3 (2017)
58, No. 2 (2017)
58, No. 1 (2017)
57, No. 4 (2016)
57, No. 3 (2016)
57, No. 2 (2016)
57, No. 1 (2016)
56, No. 4 (2015)
56, No. 3 (2015)
56, No. 2 (2015)
56, No. 1 (2015)
55, No. 4 (2014)
55, No. 3 (2014)
55, No. 2 (2014)
55, No. 1 (2014)
54, No. 3-4 (2013)
54, No. 2 (2013)
54, No. 1 (2013)
53, No. 4 (2012)
53, No. 3 (2012)
53, No. 2 (2012)
53, No. 1 (2012)
52, No. 4 (2011)
52, No. 3 (2011)
52, No. 2 (2011)
52, No. 1 (2011)
51, No. 4 (2010)
51, No. 3 (2010)
51, No. 2 (2010)
51, No. 1 (2010)
50, No. 4 (2009)
50, No. 3 (2009)
50, No. 2 (2009)
50, No. 1 (2009)
49, No. 4 (2008)
49, No. 3 (2008)
49, No. 2 (2008)
49, No. 1 (2008)
48, No. 4 (2007)
48, No. 3 (2007)
48, No. 2 (2007)
48, No. 1 (2007)
47, No. 4 (2006)
47, No. 3 (2006)
47, No. 2 (2006)
47, No. 1 (2006)
46, No. 4 (2005)
46, No. 3 (2005)
46, No. 2 (2005)
46, No. 1 (2005)
45, No. 4 (2004)
45, No. 3 (2004)
45, No. 2 (2004)
45, No. 1 (2004)
44, No. 4 (2003)
44, No. 3 (2003)
44, No. 2 (2003)
44, No. 1 (2003)
43, No. 4 (2002)
43, No. 3 (2002)
43, No. 2 (2002)
43, No. 1 (2002)
42, No. 4 (2001)
42, No. 3 (2001)
42, No. 2 (2001)
42, No. 1 (2001)
41, No. 4 (2000)
41, No. 3 (2000)
41, No. 2 (2000)
41, No. 1 (2000)
40, No. 4 (1999)
40, No. 3 (1999)
40, No. 2 (1999)
40, No. 1 (1999)
39, No. 4 (1998)
...and 71 more Volumes
all top 5

Authors

59 Sobociński, Bolesław
31 Shelah, Saharon
27 Thomas, Ivo
22 Bunder, Martin W.
17 Leblanc, Hugues
16 Burgess, John P.
14 Meyer, Robert Kenneth
13 Clay, Robert E.
13 Schumm, George F.
13 Zeman, J. Jay
11 Englebretsen, George
11 Hyttinen, Tapani
11 Schmerl, James H.
10 Prior, Arthur Norman
10 Shukla, Anjan
9 Hickman, John Llewellyn
9 Humberstone, Lloyd
9 Kearns, John T.
9 Visser, Albert
8 Ashworth, E. Jennifer
8 Canty, John Thomas
8 Cowen, Robert H.
8 Lejewski, Czesław
8 Meredith, David
8 Mullin, Albert A.
8 Priest, Graham
8 Reichbach, Juliusz
8 Vuckovic, Vladeta
7 Abian, Alexander
7 Antonelli, Gian Aldo
7 Asenjo, Florencio Gonzalez
7 Cresswell, Maxwell John
7 Downey, Rodney Graham
7 Dunn, Jon Michael
7 Fitting, Melvin Chris
7 Frascella, William J.
7 Gemignani, Michael C.
7 Hamkins, Joel David
7 Humberstone, I. L.
7 Mortensen, Chris
7 Muzio, Jon C.
7 Pillay, Anand
7 Sylvan, Richard
7 Shapiro, Stewart
7 Sweet, Albert M.
6 Blum, Alex
6 Brady, Ross Thomas
6 Bull, Robert A.
6 Chapin, E. William jun.
6 Corcoran, John
6 Georgacarakos, G. N.
6 Hazen, Allen P.
6 Hugly, Philip
6 Kossak, Roman
6 Massey, Gerald J.
6 Michael, Emily
6 Morgan, Charles Grady
6 Rickey, V. Frederick
6 Schock, Rolf
6 Smoryński, Craig
6 Weaver, George E.
6 Williamson, Timothy
6 Zuckerman, Martin M.
5 Avron, Arnon
5 Baldwin, John T.
5 Belding, W. Russell
5 Belnap, Nuel D. jun.
5 Cocchiarella, Nino B.
5 Dekker, Jacob C. E.
5 Fine, Kit
5 Gerla, Giangiacomo
5 Grant, John R.
5 Hendry, Herbert E.
5 Howard, Paul E.
5 Hughes, Charles E.
5 Iemhoff, Rosalie
5 Kaye, Richard W.
5 Kielkopf, Charles F.
5 Larouche, Laurent
5 Laskowski, Michael Chris
5 Marker, David E.
5 McArthur, Robert P.
5 McCarty, David Charles
5 Meredith, Carew Arthur
5 Nies, André Otfrid
5 Pambuccian, Victor V.
5 Parks, Zane
5 Pollard, Stephen K.
5 Poss, Richard L.
5 Purdy, William C.
5 Röper, Peter
5 Sanchis, Luis Elpidio
5 Sayward, Charles W.
5 Seldin, Jonathan P.
5 Shore, Richard Arnold
5 Singletary, W. E.
5 Toffalori, Carlo
5 Ulrich, Dolph
5 Väänänen, Jouko Antero
5 Zambella, Domenico
...and 1,580 more Authors
all top 5

Fields

2,261 Mathematical logic and foundations (03-XX)
85 History and biography (01-XX)
83 Computer science (68-XX)
75 Order, lattices, ordered algebraic structures (06-XX)
58 General and overarching topics; collections (00-XX)
38 Combinatorics (05-XX)
34 Group theory and generalizations (20-XX)
33 General topology (54-XX)
23 Category theory; homological algebra (18-XX)
20 General algebraic systems (08-XX)
19 Number theory (11-XX)
19 Field theory and polynomials (12-XX)
19 Geometry (51-XX)
18 Probability theory and stochastic processes (60-XX)
14 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
13 Real functions (26-XX)
9 Information and communication theory, circuits (94-XX)
7 Linear and multilinear algebra; matrix theory (15-XX)
6 Commutative algebra (13-XX)
5 Algebraic geometry (14-XX)
5 Associative rings and algebras (16-XX)
5 Topological groups, Lie groups (22-XX)
5 Functional analysis (46-XX)
5 Quantum theory (81-XX)
4 Measure and integration (28-XX)
3 Dynamical systems and ergodic theory (37-XX)
3 Differential geometry (53-XX)
3 Statistics (62-XX)
2 Several complex variables and analytic spaces (32-XX)
2 Operations research, mathematical programming (90-XX)
1 Nonassociative rings and algebras (17-XX)
1 Functions of a complex variable (30-XX)
1 Ordinary differential equations (34-XX)
1 Operator theory (47-XX)
1 Convex and discrete geometry (52-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Numerical analysis (65-XX)
1 Relativity and gravitational theory (83-XX)

Publications by Year

Citations contained in zbMATH Open

1,362 Publications have been cited 7,662 times in 5,380 Documents Cited by Year
On the theory of inconsistent formal systems. Zbl 0236.02022
da Costa, Newton C. A.
134
1974
Multiset theory. Zbl 0668.03027
Blizard, Wayne D.
101
1989
An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
81
1980
A calculus of antinomics. Zbl 0145.00508
Asenjo, Florencio G.
70
1966
A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Zbl 0695.03009
Meyer, J.-J. Ch.
68
1988
On the strength of Ramsey’s theorem. Zbl 0843.03034
Seetapun, David; Slaman, Theodore A.
64
1995
Some exact equiconsistency results in set theory. Zbl 0579.03039
Harrington, Leo; Shelah, Saharon
48
1985
Expressiveness and completeness of an interval tense logic. Zbl 0725.03006
Venema, Yde
46
1990
Degrees of categoricity and the hyperarithmetic hierarchy. Zbl 1311.03070
Csima, Barbara F.; Franklin, Johanna N. Y.; Shore, Richard A.
44
2013
Computable models of theories with few models. Zbl 0891.03013
Khoussainov, Bakhadyr; Nies, Andre; Shore, Richard A.
42
1997
A calculus of individuals based on ’connection’. Zbl 0438.03032
Clarke, Bowman L.
41
1981
A semantical analysis of the calculi \(C_n\). Zbl 0349.02022
Da Costa, Newton C. A.; Alves, Elias H.
38
1977
Impossible worlds: A modest approach. Zbl 0916.03013
Nolan, Daniel
37
1997
Irrevocable belief revision in dynamic doxastic logic. Zbl 0972.03015
Segerberg, Krister
36
1998
In so many possible worlds. Zbl 0205.30306
Fine, Kit
35
1972
The logic of non-contingency. Zbl 0833.03004
Humberstone, I. L.
34
1995
Classifications for inconsistent theories. Zbl 0305.02040
Grant, John
32
1978
Quick completeness proofs for some logics of conditionals. Zbl 0416.03020
Burgess, John P.
32
1981
Minimal non-contingency logic. Zbl 0833.03005
Kuhn, Steven T.
32
1995
Intermediate logics and Visser’s rules. Zbl 1102.03032
Iemhoff, Rosalie
31
2005
A paradox regained. Zbl 0112.00409
Kaplan, David; Montague, R.
31
1960
Near coherence of filters. I: Cofinal equivalence of models of arithmetic. Zbl 0622.03040
Blass, Andreas
30
1986
Normal forms in modal logic. Zbl 0245.02025
Fine, Kit
30
1975
Dp-minimality: basic facts and examples. Zbl 1258.03036
Dolich, Alfred; Goodrick, John; Lippel, David
30
2011
Forcing with sequences of models of two types. Zbl 1352.03054
Neeman, Itay
29
2014
Individuals and points. Zbl 0597.03005
Clarke, Bowman L.
29
1985
On an implication connective of RM. Zbl 0613.03003
Avron, Arnon
29
1986
Expressive logics for coalgebras via terminal sequence induction. Zbl 1088.03031
Pattinson, Dirk
29
2004
Dual-intuitionistic logic. Zbl 0869.03008
Urbas, Igor
29
1996
Notes on singular cardinal combinatorics. Zbl 1121.03053
Cummings, James
29
2005
Probability logic. Zbl 0547.03018
Hailperin, Theodore
28
1984
Tableau methods of proof for modal logics. Zbl 0184.28102
Fitting, Melvin
28
1972
A closer look at some subintuitionistic logics. Zbl 1034.03007
Celani, Sergio; Jansana, Ramon
28
2001
A system of complete and consistent truth. Zbl 0828.03030
Halbach, Volker
27
1994
Limits for paraconsistent calculi. Zbl 1007.03028
Carnielli, Walter A.; Marcos, João
26
1999
Basic predicate calculus. Zbl 0967.03005
Ruitenburg, Wim
26
1998
Second-order quantifiers and the complexity of theories. Zbl 0596.03033
Baldwin, J. T.; Shelah, S.
26
1985
Some puzzles of ground. Zbl 1256.03034
Fine, Kit
26
2010
How incomputable is the separable Hahn-Banach theorem? Zbl 1223.03052
Gherardi, Guido; Marcone, Alberto
26
2009
Near coherence of filters. III: A simplified consistency proof. Zbl 0702.03030
Blass, Andreas; Shelah, Saharon
26
1989
Completeness and definability in the logic of noncontingency. Zbl 0989.03019
Zolin, Evgeni E.
25
1999
On interpretations of arithmetic and set theory. Zbl 1137.03019
Kaye, Richard; Wong, Tin Lok
25
2007
Logical constants as punctuation marks. Zbl 0692.03003
Došen, Kosta
24
1989
Some embedding theorems for modal logic. Zbl 0193.29301
Makinson, D.
24
1971
On generic structures. Zbl 0768.03010
Kueker, D. W.; Laskowski, M. C.
24
1992
Subintuitionistic logics. Zbl 0811.03005
Restall, Greg
24
1994
Logic of antinomies. Zbl 0246.02023
Asenjo, F. G.; Tamburino, J.
23
1975
Notes on the axiomatics of the propositional calculus. Zbl 0146.00801
Meredith, C. A.; Prior, A. N.
23
1963
Is Hume’s principle analytic? Zbl 0968.03009
Wright, Crispin
22
1999
Analytic implication. Zbl 0621.03006
Fine, Kit
22
1986
Implication connectives in orthomodular lattices. Zbl 0262.02030
Herman, L.; Marsden, E.; Piziak, R.
22
1975
The \(K\)-degrees, low for \(K\) degrees, and weakly low for \(K\) sets. Zbl 1213.03053
Miller, Joseph S.
22
2009
Modal definability in enriched languages. Zbl 0706.03016
Goranko, Valentin
22
1990
Growing commas. A study of sequentiality and concatenation. Zbl 1190.03052
Visser, Albert
22
2009
A note on logics of ignorance and borders. Zbl 1180.03017
Steinsvold, Christopher
22
2008
On the consistency of the first-order portion of Frege’s logical system. Zbl 0637.03005
Parsons, Terence
21
1987
Logic, logics, and logicism. Zbl 0972.03005
Feferman, Solomon
21
1999
Incompactness in regular cardinals. Zbl 0617.03025
Shelah, Saharon
21
1985
Equational classes of relative Stone algebras. Zbl 0212.01601
Hecht, T.; Katriňak, T.
21
1972
Completeness of relevant quantification theories. Zbl 0272.02028
Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues
21
1974
On a quasi-set theory. Zbl 0774.03032
Krause, Décio
21
1992
Vapnik-Chervonenkis density in some theories without the independence property. II. Zbl 1436.03185
Aschenbrenner, Matthias; Dolich, Alf; Haskell, Deirdre; Macpherson, Dugald; Starchenko, Sergei
21
2013
Material implications in orthomodular (and Boolean) lattices. Zbl 0438.03060
Hardegree, Gary M.
21
1981
The halting problem is decidable on a set of asymptotic probability one. Zbl 1137.03024
Hamkins, Joel David; Miasnikov, Alexei
21
2006
Investigations into the sentential calculus with identity. Zbl 0188.01203
Bloom, Stephen L.; Suszko, Roman
20
1972
Ontology in the Tractatus of L. Wittgenstein. Zbl 0198.32001
Suszko, Roman
20
1968
Categoricity spectra for rigid structures. Zbl 1359.03030
Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander
20
2016
Some results on intermediate constructive logics. Zbl 0692.03014
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele
19
1989
Degrees that are not degrees of categoricity. Zbl 1436.03229
Anderson, Bernard; Csima, Barbara
19
2016
The decision problem for linear temporal logic. Zbl 0573.03004
Burgess, John P.; Gurevich, Yuri
19
1985
On the logic of ”few”, ”many”, and ”most”. Zbl 0299.02012
Peterson, Philip L.
19
1979
A certain conception of the calculus of rough sets. Zbl 0762.04001
Bonikowski, Zbigniew
19
1992
A new semantics for positive modal logic. Zbl 0889.03014
Celani, S.; Jansana, R.
19
1997
Nominal tense logic. Zbl 0789.03018
Blackburn, Patrick
19
1993
The price of universality. Zbl 0865.03032
Hemaspaandra, Edith
19
1996
Inaccessible worlds. Zbl 0487.03007
Humberstone, I. L.
19
1983
The logic of conditional negation. Zbl 1161.03012
Cantwell, John
19
2008
The predicate modal logic of provability. Zbl 0549.03013
Montagna, Franco
18
1984
On a family of paradoxes. Zbl 0112.00408
Prior, A. N.
18
1961
Upward stability transfer for tame abstract elementary classes. Zbl 1113.03028
Baldwin, John; Kueker, David; VanDieren, Monica
18
2006
Structural completeness in fuzzy logics. Zbl 1190.03027
Cintula, Petr; Metcalfe, George
18
2009
Which modal logic is the right one? Zbl 0972.03018
Burgess, John P.
17
1999
An exposition of Shelah’s ’main gap’: counting uncountable models of \(\omega\)-stable and superstable theories. Zbl 0589.03015
Harrington, L.; Makkai, M.
17
1985
Unsolvable problems for equational theories. Zbl 0197.28201
Perkins, Peter
17
1967
From classical to intuitionistic probability. Zbl 1069.60002
Weatherson, Brian
17
2003
Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003
Fitting, Melvin
16
1986
Connection structures. Zbl 0749.06004
Biacino, Loredana; Gerla, Giangiacomo
16
1991
Connection structures: Grzegorczyk’s and Whitehead’s definitions of point. Zbl 0877.51006
Biacino, Loredana; Gerla, Giangiacomo
16
1996
The modal logic of agreement and noncontingency. Zbl 1046.03008
Humberstone, Lloyd
15
2002
A note on naive set theory in LP. Zbl 0768.03033
Restall, Greg
15
1992
Extending intuitionistic linear logic with knotted structural rules. Zbl 0812.03008
Hori, R.; Ono, H.; Schellinx, Harold
15
1994
Axioms for tense logic. I: ’Since’ and ’until’. Zbl 0452.03021
Burgess, John P.
15
1982
The simple consistency of a set theory based on the logic CSQ. Zbl 0488.03026
Brady, Ross T.
15
1983
Tarski on logical consequences. Zbl 0855.03004
Gómez-Torrente, Mario
15
1996
Modality and possibility in some intuitionistic modal logics. Zbl 0638.03017
Font, Josep M.
14
1986
Peano’s smart children: A provability logical study of systems with built-in consistency. Zbl 0686.03033
Visser, Albert
14
1989
Cofinalities of countable ultraproducts: The existence theorem. Zbl 0694.03029
Canjar, R. Michael
14
1989
A decidable temporal logic of parallelism. Zbl 0904.03010
Reynolds, Mark
14
1997
Who’s afraid of impossible worlds? Zbl 0916.03014
Mares, Edwin D.
14
1997
Neo-Fregeanism: an embarrassment of riches. Zbl 1071.03006
Weir, Alan
14
2003
Games on base matrices. Zbl 07720266
Fischer, Vera; Koelbing, Marlene; Wohofsky, Wolfgang
2
2023
A local version of the Slaman-Wehner theorem and families closed under finite differences. Zbl 07720262
Faizrahmanov, Marat
1
2023
Tame topology over definable uniform structures. Zbl 1495.03055
Dolich, Alfred; Goodrick, John
3
2022
Typicality à la Russell in set theory. Zbl 07556130
Tzouvaras, Athanassios
2
2022
Effect of the choice of connectives on the relation between classical logic and intuitionistic logic. Zbl 07556133
Kawano, Tomoaki; Matsuda, Naosuke; Takagi, Kento
2
2022
Poly-connexivity: connexive conjunction and disjunction. Zbl 07598583
Francez, Nissim
2
2022
Did Aristotle endorse Aristotle’s thesis? A case study in Aristotle’s metalogic. Zbl 07634482
Weiss, Yale
1
2022
Full satisfaction classes, definability, and automorphisms. Zbl 07556128
Wcisło, Bartosz
1
2022
Representations and the foundations of mathematics. Zbl 07522852
Sanders, Sam
1
2022
Effectively constructible fixed points in Sacchetti’s modal logics of provability. Zbl 1509.03071
Kurahashi, Taishi; Okawa, Yuya
1
2022
Some results on non-club isomorphic Aronszajn trees. Zbl 07522857
Chavez, Jose; Krueger, John
1
2022
Structural completeness in many-valued logics with rational constants. Zbl 1525.03085
Gispert, Joan; Haniková, Zuzana; Moraschini, Tommaso; Stronkowski, Michał
1
2022
Characterizing counterfactuals and dependencies over (generalized) causal teams. Zbl 07598582
Barbero, Fausto; Yang, Fan
1
2022
On stable quotients. Zbl 1515.03154
Krupiński, Krzysztof; Portillo, Adrián
1
2022
An incompleteness theorem for modal relevant logics. Zbl 1529.03164
Standefer, Shawn
6
2021
Sequent calculi for intuitionistic Gödel-Löb logic. Zbl 1490.03013
van der Giessen, Iris; Iemhoff, Rosalie
5
2021
Meaningless divisions. Zbl 1529.03096
Szmuc, Damian; Ferguson, Thomas Macaulay
5
2021
Effectiveness for the dual Ramsey theorem. Zbl 1508.03078
Dzhafarov, Damir; Flood, Stephen; Solomon, Reed; Westrick, Linda
5
2021
Structural weakening and paradoxes. Zbl 1529.03159
Da Ré, Bruno
4
2021
The complexity of module radicals. Zbl 1529.03222
Conidis, Chris J.
2
2021
Nondefinability of rings of integers in most algebraic fields. Zbl 1486.12009
Dittmann, Philip; Fehm, Arno
2
2021
Supercompactness can be equiconsistent with measurability. Zbl 1529.03256
Trang, Nam
2
2021
The shaping of Dedekind’s rigorous mathematics: what do Dedekind’s drafts tell us about his ideal of rigor? Zbl 1475.01019
Haffner, Emmylou
1
2021
\(\mathrm{IKT}^\omega\) and Łukasiewicz-models. Zbl 1529.03170
Fjellstad, Andreas; Olsen, Jan-Fredrik
1
2021
What problem did Ladd-Franklin (think she) solve(d)? Zbl 1486.01048
Uckelman, Sara L.
1
2021
Cut elimination for systems of transparent truth with restricted initial sequents. Zbl 1529.03270
Nicolai, Carlo
1
2021
Splittings and disjunctions in reverse mathematics. Zbl 1462.03009
Sanders, Sam
7
2020
Questions and dependency in intuitionistic logic. Zbl 1453.03025
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan
7
2020
The complexity of radicals and socles of modules. Zbl 1484.03019
Wu, Huishan
7
2020
Reverse mathematics of topology: dimension, paracompactness, and splittings. Zbl 1486.03023
Sanders, Sam
6
2020
Uniformly bounded arrays and mutually algebraic structures. Zbl 1484.03054
Laskowski, Michael C.; Terry, Caroline A.
6
2020
On the proof of elimination of imaginaries in algebraically closed valued fields. Zbl 1485.03124
Johnson, Will
4
2020
Projective games on the reals. Zbl 1486.03085
Aguilera, Juan P.; Müller, Sandra
3
2020
Formal notes on the substitutional analysis of logical consequence. Zbl 1506.03026
Halbach, Volker
3
2020
Distality for the asymptotic couple of the field of logarithmic transseries. Zbl 1484.03068
Gehret, Allen; Kaplan, Elliot
3
2020
Short proofs for slow consistency. Zbl 1455.03078
Freund, Anton; Pakhomov, Fedor
2
2020
Effective domination and the bounded jump. Zbl 1461.03035
Ng, Keng Meng; Yu, Hongyuan
2
2020
Definable functions and stratifications in power-bounded \(T\)-convex fields. Zbl 1458.14063
García Ramírez, Erick
2
2020
Weak density and nondensity among transfinite levels of the Ershov hierarchy. Zbl 1486.03071
Liu, Yong; Peng, Cheng
1
2020
Four-valued logics of truth, nonfalsity, exact truth, and material equivalence. Zbl 1489.03007
Přenosil, Adam
1
2020
Existentially closed closure algebras. Zbl 1486.03067
Scowcroft, Philip
1
2020
Pseudofiniteness in Hrushovski constructions. Zbl 1484.03057
Valizadeh, Ali N.; Pourmahdian, Massoud
1
2020
A Lindström theorem for intuitionistic propositional logic. Zbl 1484.03073
Badia, Guillermo; Olkhovikov, Grigory
1
2020
A remark on probabilistic measures of coherence. Zbl 1437.81010
Oms, Sergi
1
2020
The logic of Turing progressions. Zbl 1452.03132
Hermo Reyes, Eduardo; Joosten, Joost J.
1
2020
A note on strongly almost disjoint families. Zbl 1484.03087
Shen, Guozhen
1
2020
A note on FDE “all the way up”. Zbl 1481.03008
Beall, Jc; Camrud, Caleb
1
2020
Isometry groups of Borel randomizations. Zbl 1484.03090
Berenstein, Alexander; Zamora, Rafael
1
2020
Ideals and their generic ultrafilters. Zbl 1485.03189
Chodounský, David; Zapletal, Jindřich
1
2020
Prospects for a theory of decycling. Zbl 1472.03008
Litland, Jon Erling
1
2020
On \(n\)-dependence. Zbl 1529.03198
Chernikov, Artem; Palacin, Daniel; Takeuchi, Kota
8
2019
Tame topology over dp-minimal structures. Zbl 1529.03213
Simon, Pierre; Walsberg, Erik
8
2019
Noncontractive classical logic. Zbl 1472.03020
Rosenblatt, Lucas
7
2019
Strong noncontingency: on the modal logics of an operator expressively weaker than necessity. Zbl 1441.03019
Fan, Jie
6
2019
More notions of forcing add a Souslin tree. Zbl 1529.03228
Brodsky, Ari Meir; Rinot, Assaf
6
2019
On the degree structure of equivalence relations under computable reducibility. Zbl 1472.03039
Ng, Keng Meng; Yu, Hongyuan
6
2019
Layered posets and Kunen’s universal collapse. Zbl 1529.03229
Cox, Sean
6
2019
Tame expansions of \({\omega}\)-stable theories and definable groups. Zbl 1529.03199
Göral, Haydar
5
2019
Residue field domination in real closed valued fields. Zbl 1479.03017
Ealy, Clifton; Haskell, Deirdre; Maříková, Jana
5
2019
Adding a nonreflecting weakly compact set. Zbl 1529.03248
Cody, Brent
5
2019
A family of neighborhood contingency logics. Zbl 1444.03052
Fan, Jie
5
2019
Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories. Zbl 1529.03200
Kruckman, Alex
4
2019
A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers. Zbl 1529.03152
Holliday, Wesley H.
3
2019
A simple criterion. (Un critère simple.) Zbl 1472.03034
Blossier, Thomas; Martin-Pizarro, Amador
3
2019
\({\Pi}_1^0\)-encodability and omniscient reductions. Zbl 1529.03219
Monin, Benoit; Patey, Ludovic
3
2019
Abstraction principles and the classification of second-order equivalence relations. Zbl 1529.03032
Ebels-Duggan, Sean C.
3
2019
Closed maximality principles and generalized Baire spaces. Zbl 1529.03261
Lücke, Philipp
2
2019
A modal logic of supervenience. Zbl 1529.03146
Fan, Jie
2
2019
The Eu approach to formalizing Euclid: a response to “On the inconsistency of Mumma’s Eu”. Zbl 1441.03014
Mumma, John
1
2019
On Goodman realizability. Zbl 1529.03273
Frittaion, Emanuele
1
2019
Conditionals and conditional probabilities without triviality. Zbl 1455.60007
Pruss, Alexander R.
1
2019
Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions. Zbl 1472.03049
Asperó, David; Hyttinen, Tapani; Kulikov, Vadim; Moreno, Miguel
1
2019
Coxeter groups and abstract elementary classes: the right-angled case. Zbl 1472.03032
Hyttinen, Tapani; Paolini, Gianluca
1
2019
On superstable expansions of free abelian groups. Zbl 1455.03042
Palacín, Daniel; Sklinos, Rizos
9
2018
Second-order logic of paradox. Zbl 1455.03032
Hazen, Allen P.; Pelletier, Francis Jeffry
7
2018
Stable formulas in intuitionistic logic. Zbl 1456.03052
Bezhanishvili, Nick; de Jongh, Dick
6
2018
On the uniform computational content of the Baire category theorem. Zbl 1455.03080
Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P.
5
2018
Blurring: an approach to conflation. Zbl 1455.03037
Ripley, David
5
2018
Refining the taming of the reverse mathematics zoo. Zbl 1455.03015
Sanders, Sam
4
2018
Ostrowski numeration systems, addition, and finite automata. Zbl 1431.11017
Hieronymi, Philipp; Terry, Alonza jun.
4
2018
Cardinality and acceptable abstraction. Zbl 1436.03029
Cook, Roy T.; Linnebo, Øystein
4
2018
Negation-free and contradiction-free proof of the Steiner-Lehmus theorem. Zbl 1455.03076
Pambuccian, Victor
4
2018
On the spectrum of characters of ultrafilters. Zbl 1455.03059
Garti, Shimon; Magidor, Menachem; Shelah, Saharon
4
2018
A long pseudo-comparison of premice in \(L[x]\). Zbl 1455.03066
Schlutzenberg, Farmer
3
2018
Classifications of computable structures. Zbl 1455.03044
Lange, Karen; Miller, Russell; Steiner, Rebecca M.
3
2018
Ehrenfeucht’s lemma in set theory. Zbl 1455.03065
Fuchs, Gunter; Gitman, Victoria; Hamkins, Joel David
3
2018
Enumeration 1-genericity in the local enumeration degrees. Zbl 1455.03054
Badillo, Liliana; Harris, Charles M.; Soskova, Mariya I.
2
2018
Two more characterizations of \(K\)-triviality. Zbl 1453.03041
Greenberg, Noam; Miller, Joseph S.; Monin, Benoit; Turetsky, Daniel
2
2018
Invariance and definability, with and without equality. Zbl 1455.03003
Bonnay, Denis; Engström, Fredrik
2
2018
Set mappings on 4-tuples. Zbl 1455.03060
Mohsenipour, Shahram; Shelah, Saharon
2
2018
A propositional theory of truth. Zbl 1455.03010
Stephanou, Yannis
1
2018
The complexity of primes in computable unique factorization domains. Zbl 1400.03061
Dzhafarov, Damir D.; Mileti, Joseph R.
1
2018
A problem in Pythagorean arithmetic. Zbl 1404.03033
Pambuccian, Victor
1
2018
Nonreduction of relations in the Gromov space to Polish actions. Zbl 1455.03061
López, Jesús A. Álvarez; Candel, Alberto
1
2018
The logical strength of compositional principles. Zbl 1384.03037
Heck, Richard G. jun.
1
2018
Coding and definability in computable structures. Zbl 1455.03056
Montalbán, Antonio
1
2018
The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\). Zbl 1455.03034
Goudsmit, Jeroen P.
1
2018
Independence of the dual axiom in modal \(\mathbf{K}\) with primitive. Zbl 1396.03038
Thomason, Richmond
1
2018
A partition theorem of \(\omega^{\omega^{\alpha}}\). Zbl 1455.03058
Piña, Claribet
1
2018
Semigroups in stable structures. Zbl 1455.03046
Halevi, Yatir
1
2018
...and 1066 more Documents
all top 5

Cited by 3,850 Authors

99 Shelah, Saharon
33 Bazhenov, Nikolaĭ Alekseevich
32 Avron, Arnon
30 Visser, Albert
29 Downey, Rodney Graham
24 Montanari, Angelo
23 Baldwin, John T.
23 Humberstone, Lloyd
22 Patey, Ludovic
19 Dunn, Jon Michael
19 Kurahashi, Taishi
19 Melnikov, Alexander G.
19 Sanders, Sam
19 Wansing, Heinrich Theodor
18 Brattka, Vasco
17 Hamkins, Joel David
17 Laskowski, Michael Chris
16 Arieli, Ofer
16 Bunder, Martin W.
16 Fan, Jie
16 Friedman, Sy-David
16 Iemhoff, Rosalie
16 Ma, Minghui
16 Wolter, Frank
15 Bimbó, Katalin
15 Carnielli, Walter Alexandre
15 Petrukhin, Yaroslav Igorevich
15 Pillay, Anand
15 Raftery, James G.
15 Schröder, Lutz
15 Sciavicco, Guido
15 van Ditmarsch, Hans Pieter
14 Andrews, Uri
14 Balbiani, Philippe
14 Barmpalias, George
14 Bezhanishvili, Guram
14 Bezhanishvili, Nick
14 Dzhafarov, Damir D.
14 Omori, Hitoshi
14 Pauly, Arno M.
14 Peron, Adriano
14 Shapiro, Stewart
14 Stephan, Frank
14 van Benthem, Johan F. A. K.
14 Vasey, Sebastien
14 Zakharyaschev, Michael Viktorovich
13 Goldblatt, Robert Ian
13 Grant, John R.
13 Greenberg, Noam
13 Kalimullin, Iskander Shagitovich
13 Kaplan, Itay
13 Kesner, Delia
13 Krueger, John
13 Standefer, Shawn
13 Tachtsis, Eleftherios
13 Voutsadakis, George
12 Brady, Ross Thomas
12 Düntsch, Ivo
12 Fitting, Melvin Chris
12 Font, Josep Maria
12 Jansana, Ramon
12 Mares, Edwin D.
12 Ng, KengMeng
12 Novák, Vilém
12 Rinot, Assaf
12 Schmerl, James H.
12 Sorbi, Andrea
12 Subrahmanian, V. S.
12 Zamansky, Anna
11 Celani, Sergio Arturo
11 Chernikov, Artem
11 Conant, Gabriel
11 Da Costa, Newton Carneiro Affonso
11 Dezani-Ciancaglini, Mariangiola
11 Ferguson, Thomas Macaulay
11 Harizanov, Valentina S.
11 Harrison-Trainor, Matthew
11 Marcos, João
11 Mildenberger, Heike
11 Montalbán, Antonio
11 Moraschini, Tommaso
11 Rossi, Lorenzo Paolo
11 Rott, Hans
11 Rump, Wolfgang
11 Rybalov, Aleksandr Nikolaevich
11 Sala, Pietro
11 Shafer, Paul
11 Vakarelov, Dimiter
11 van Bakel, Steffen
11 Zdoms’kyĭ, Lyubomyr Sergiĭovych
10 Bagaria, Joan
10 Bozzelli, Laura
10 Chakraborty, Mihir Kumar
10 Ciucci, Davide
10 Cox, Sean D.
10 Došen, Kosta
10 Goncharov, Sergeĭ Savost’yanovich
10 Hodkinson, Ian Martin
10 Kamide, Norihiro
10 Méndez, José M.
...and 3,750 more Authors
all top 5

Cited in 372 Journals

438 The Journal of Symbolic Logic
356 Studia Logica
355 Annals of Pure and Applied Logic
309 Journal of Philosophical Logic
264 Notre Dame Journal of Formal Logic
216 Synthese
188 The Review of Symbolic Logic
181 Archive for Mathematical Logic
117 Theoretical Computer Science
114 Mathematical Logic Quarterly (MLQ)
109 Journal of Applied Non-Classical Logics
92 The Bulletin of Symbolic Logic
83 History and Philosophy of Logic
72 Logica Universalis
68 Transactions of the American Mathematical Society
63 Journal of Logic, Language and Information
58 Israel Journal of Mathematics
58 Logic and Logical Philosophy
54 Algebra Universalis
53 Information and Computation
52 Journal of Mathematical Logic
50 Journal of Applied Logic
48 Artificial Intelligence
43 Proceedings of the American Mathematical Society
43 International Journal of Approximate Reasoning
38 Fuzzy Sets and Systems
37 Algebra and Logic
37 Erkenntnis
35 Annals of Mathematics and Artificial Intelligence
34 Bulletin of the Section of Logic
30 Soft Computing
29 Advances in Mathematics
27 MSCS. Mathematical Structures in Computer Science
26 Logical Methods in Computer Science
25 Topology and its Applications
24 Journal of Algebra
20 Information Sciences
20 Journal of Pure and Applied Algebra
20 Journal of Automated Reasoning
17 Archiv für Mathematische Logik und Grundlagenforschung
16 Computability
15 Fundamenta Mathematicae
14 Order
14 ACM Transactions on Computational Logic
13 Indagationes Mathematicae. New Series
13 Nôus
12 International Journal of Theoretical Physics
12 Siberian Mathematical Journal
12 Theory of Computing Systems
12 Topoi
12 Foundations of Science
11 Mathematical Notes
11 Journal of Computer and System Sciences
11 Journal of Soviet Mathematics
11 Logicheskie Issledovaniya
10 Applied Categorical Structures
10 Lobachevskii Journal of Mathematics
9 Communications in Algebra
9 Discrete Mathematics
9 International Journal of General Systems
9 Semigroup Forum
9 Proceedings of the Japan Academy
8 Rendiconti del Seminario Matematico della Università di Padova
8 Historia Mathematica
8 Foundations of Physics
7 The Mathematical Intelligencer
7 Memoirs of the American Mathematical Society
7 Acta Mathematica Hungarica
7 Journal of the European Mathematical Society (JEMS)
6 Discrete Applied Mathematics
6 Formal Aspects of Computing
6 International Journal of Algebra and Computation
6 Journal of Mathematical Sciences (New York)
6 The Journal of Logic and Algebraic Programming
6 Forum of Mathematics, Sigma
6 Journal of Logical and Algebraic Methods in Programming
5 Information Processing Letters
5 Mathematical Proceedings of the Cambridge Philosophical Society
5 Bulletin of the London Mathematical Society
5 Theory and Decision
5 European Journal of Combinatorics
5 International Journal of Intelligent Systems
5 L’Enseignement Mathématique. 2e Série
5 Journal of the Egyptian Mathematical Society
5 Selecta Mathematica. New Series
5 Annals of Mathematics. Second Series
5 Journal of the Institute of Mathematics of Jussieu
5 Oberwolfach Reports
5 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
4 Acta Informatica
4 Archive for History of Exact Sciences
4 Computers & Mathematics with Applications
4 Applied Mathematics and Computation
4 Compositio Mathematica
4 Illinois Journal of Mathematics
4 Mathematica Slovaca
4 Monatshefte für Mathematik
4 Proceedings of the Edinburgh Mathematical Society. Series II
4 Journal of Symbolic Computation
4 Journal of the American Mathematical Society
...and 272 more Journals
all top 5

Cited in 58 Fields

4,672 Mathematical logic and foundations (03-XX)
863 Computer science (68-XX)
336 Order, lattices, ordered algebraic structures (06-XX)
235 History and biography (01-XX)
173 General topology (54-XX)
155 Group theory and generalizations (20-XX)
154 General and overarching topics; collections (00-XX)
144 Combinatorics (05-XX)
121 General algebraic systems (08-XX)
100 Category theory; homological algebra (18-XX)
77 Number theory (11-XX)
75 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
68 Field theory and polynomials (12-XX)
67 Quantum theory (81-XX)
52 Geometry (51-XX)
39 Probability theory and stochastic processes (60-XX)
33 Measure and integration (28-XX)
31 Real functions (26-XX)
29 Functional analysis (46-XX)
28 Algebraic geometry (14-XX)
28 Associative rings and algebras (16-XX)
28 Dynamical systems and ergodic theory (37-XX)
23 Commutative algebra (13-XX)
21 Information and communication theory, circuits (94-XX)
19 Statistics (62-XX)
12 Operations research, mathematical programming (90-XX)
12 Systems theory; control (93-XX)
11 Convex and discrete geometry (52-XX)
11 Differential geometry (53-XX)
10 Topological groups, Lie groups (22-XX)
10 Several complex variables and analytic spaces (32-XX)
10 Operator theory (47-XX)
10 Numerical analysis (65-XX)
10 Biology and other natural sciences (92-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
9 Nonassociative rings and algebras (17-XX)
8 Functions of a complex variable (30-XX)
8 Algebraic topology (55-XX)
8 Manifolds and cell complexes (57-XX)
7 Ordinary differential equations (34-XX)
7 Abstract harmonic analysis (43-XX)
6 Sequences, series, summability (40-XX)
5 Difference and functional equations (39-XX)
5 Global analysis, analysis on manifolds (58-XX)
5 Relativity and gravitational theory (83-XX)
4 Approximations and expansions (41-XX)
4 Statistical mechanics, structure of matter (82-XX)
3 Special functions (33-XX)
2 Partial differential equations (35-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Mechanics of particles and systems (70-XX)
2 Geophysics (86-XX)
2 Mathematics education (97-XX)
1 \(K\)-theory (19-XX)
1 Potential theory (31-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Mechanics of deformable solids (74-XX)
1 Fluid mechanics (76-XX)

Citations by Year