×

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: Indexed cover-to-cover; This journal is available open access.
Documents Indexed: 2,536 Publications (since 1960)
References Indexed: 600 Publications with 10,446 References.
all top 5

Latest Issues

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)
39, No. 3 (1998)
39, No. 2 (1998)
39, No. 1 (1998)
38, No. 4 (1997)
38, No. 3 (1997)
38, No. 2 (1997)
...and 65 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
10 Prior, Arthur Norman
10 Schmerl, James H.
10 Shukla, Anjan
9 Hickman, John Llewellyn
9 Kearns, John T.
9 Visser, Albert
8 Ashworth, E. J.
8 Canty, John Thomas
8 Cowen, Robert H.
8 Humberstone, Lloyd
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 Muzio, Jon C.
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 Mortensen, Chris
6 Pillay, Anand
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 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
4 Bellissima, Fabio
...and 1,542 more Authors
all top 5

Fields

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

Publications by Year

Citations contained in zbMATH Open

1,288 Publications have been cited 6,195 times in 4,608 Documents Cited by Year
On the theory of inconsistent formal systems. Zbl 0236.02022
da Costa, Newton C. A.
113
1974
Multiset theory. Zbl 0668.03027
Blizard, Wayne D.
88
1989
An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
70
1980
A calculus of antinomics. Zbl 0145.00508
Asenjo, Florencio G.
61
1966
A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Zbl 0695.03009
Meyer, J.-J. Ch.
60
1988
On the strength of Ramsey’s theorem. Zbl 0843.03034
Seetapun, David; Slaman, Theodore A.
58
1995
Some exact equiconsistency results in set theory. Zbl 0579.03039
Harrington, Leo; Shelah, Saharon
43
1985
Degrees of categoricity and the hyperarithmetic hierarchy. Zbl 1311.03070
Csima, Barbara F.; Franklin, Johanna N. Y.; Shore, Richard A.
40
2013
Computable models of theories with few models. Zbl 0891.03013
Khoussainov, Bakhadyr; Nies, Andre; Shore, Richard A.
39
1997
Expressiveness and completeness of an interval tense logic. Zbl 0725.03006
Venema, Yde
39
1990
A calculus of individuals based on ’connection’. Zbl 0438.03032
Clarke, Bowman L.
38
1981
A semantical analysis of the calculi \(C_n\). Zbl 0349.02022
Da Costa, Newton C. A.; Alves, Elias H.
30
1977
A paradox regained. Zbl 0112.00409
Kaplan, David; Montague, R.
29
1960
The logic of non-contingency. Zbl 0833.03004
Humberstone, I. L.
28
1995
In so many possible worlds. Zbl 0205.30306
Fine, Kit
28
1972
Normal forms in modal logic. Zbl 0245.02025
Fine, Kit
28
1975
Individuals and points. Zbl 0597.03005
Clarke, Bowman L.
28
1985
Intermediate logics and Visser’s rules. Zbl 1102.03032
Iemhoff, Rosalie
27
2005
Impossible worlds: A modest approach. Zbl 0916.03013
Nolan, Daniel
27
1997
Irrevocable belief revision in dynamic doxastic logic. Zbl 0972.03015
Segerberg, Krister
26
1998
On an implication connective of RM. Zbl 0613.03003
Avron, Arnon
26
1986
Near coherence of filters. I: Cofinal equivalence of models of arithmetic. Zbl 0622.03040
Blass, Andreas
26
1986
Dp-minimality: basic facts and examples. Zbl 1258.03036
Dolich, Alfred; Goodrick, John; Lippel, David
26
2011
Notes on singular cardinal combinatorics. Zbl 1121.03053
Cummings, James
26
2005
A system of complete and consistent truth. Zbl 0828.03030
Halbach, Volker
25
1994
Minimal non-contingency logic. Zbl 0833.03005
Kuhn, Steven T.
25
1995
Quick completeness proofs for some logics of conditionals. Zbl 0416.03020
Burgess, John P.
25
1981
Classifications for inconsistent theories. Zbl 0305.02040
Grant, John
25
1978
Expressive logics for coalgebras via terminal sequence induction. Zbl 1088.03031
Pattinson, Dirk
25
2004
Probability logic. Zbl 0547.03018
Hailperin, Theodore
25
1984
Second-order quantifiers and the complexity of theories. Zbl 0596.03033
Baldwin, J. T.; Shelah, S.
24
1985
Notes on the axiomatics of the propositional calculus. Zbl 0146.00801
Meredith, C. A.; Prior, A. N.
23
1963
How incomputable is the separable Hahn-Banach theorem? Zbl 1223.03052
Gherardi, Guido; Marcone, Alberto
23
2009
Near coherence of filters. III: A simplified consistency proof. Zbl 0702.03030
Blass, Andreas; Shelah, Saharon
23
1989
Logic of antinomies. Zbl 0246.02023
Asenjo, F. G.; Tamburino, J.
22
1975
Forcing with sequences of models of two types. Zbl 1352.03054
Neeman, Itay
22
2014
Basic predicate calculus. Zbl 0967.03005
Ruitenburg, Wim
21
1998
Dual-intuitionistic logic. Zbl 0869.03008
Urbas, Igor
21
1996
A closer look at some subintuitionistic logics. Zbl 1034.03007
Celani, Sergio; Jansana, Ramon
21
2001
Incompactness in regular cardinals. Zbl 0617.03025
Shelah, Saharon
21
1985
On interpretations of arithmetic and set theory. Zbl 1137.03019
Kaye, Richard; Wong, Tin Lok
21
2007
Tableau methods of proof for modal logics. Zbl 0184.28102
Fitting, Melvin
20
1972
On the consistency of the first-order portion of Frege’s logical system. Zbl 0637.03005
Parsons, Terence
20
1987
On generic structures. Zbl 0768.03010
Kueker, D. W.; Laskowski, M. C.
20
1992
The \(K\)-degrees, low for \(K\) degrees, and weakly low for \(K\) sets. Zbl 1213.03053
Miller, Joseph S.
20
2009
The halting problem is decidable on a set of asymptotic probability one. Zbl 1137.03024
Hamkins, Joel David; Miasnikov, Alexei
20
2006
Completeness and definability in the logic of noncontingency. Zbl 0989.03019
Zolin, Evgeni E.
20
1999
Limits for paraconsistent calculi. Zbl 1007.03028
Carnielli, Walter A.; Marcos, João
20
1999
A new semantics for positive modal logic. Zbl 0889.03014
Celani, S.; Jansana, R.
19
1997
Completeness of relevant quantification theories. Zbl 0272.02028
Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues
19
1974
Some embedding theorems for modal logic. Zbl 0193.29301
Makinson, D.
19
1971
Analytic implication. Zbl 0621.03006
Fine, Kit
19
1986
On a quasi-set theory. Zbl 0774.03032
Krause, Décio
19
1992
Logical constants as punctuation marks. Zbl 0692.03003
Došen, Kosta
19
1989
Subintuitionistic logics. Zbl 0811.03005
Restall, Greg
18
1994
Equational classes of relative Stone algebras. Zbl 0212.01601
Hecht, T.; Katriňak, T.
18
1972
Ontology in the Tractatus of L. Wittgenstein. Zbl 0198.32001
Suszko, R.
18
1968
Modal definability in enriched languages. Zbl 0706.03016
Goranko, Valentin
18
1990
Vapnik-Chervonenkis density in some theories without the independence property. II. Zbl 1436.03185
Aschenbrenner, Matthias; Dolich, Alf; Haskell, Deirdre; Macpherson, Dugald; Starchenko, Sergei
18
2013
Is Hume’s principle analytic? Zbl 0968.03009
Wright, Crispin
17
1999
Logic, logics, and logicism. Zbl 0972.03005
Feferman, Solomon
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
Some puzzles of ground. Zbl 1256.03034
Fine, Kit
17
2010
Inaccessible worlds. Zbl 0487.03007
Humberstone, I. L.
17
1983
Material implications in orthomodular (and Boolean) lattices. Zbl 0438.03060
Hardegree, Gary M.
16
1981
Unsolvable problems for equational theories. Zbl 0197.28201
Perkins, Peter
16
1967
A certain conception of the calculus of rough sets. Zbl 0762.04001
Bonikowski, Zbigniew
16
1992
Degrees that are not degrees of categoricity. Zbl 1436.03229
Anderson, Bernard; Csima, Barbara
16
2016
Categoricity spectra for rigid structures. Zbl 1359.03030
Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander
16
2016
A note on logics of ignorance and borders. Zbl 1180.03017
Steinsvold, Christopher
15
2008
Tarski on logical consequences. Zbl 0855.03004
Gómez-Torrente, Mario
15
1996
The price of universality. Zbl 0865.03032
Hemaspaandra, Edith
15
1996
Connection structures: Grzegorczyk’s and Whitehead’s definitions of point. Zbl 0877.51006
Biacino, Loredana; Gerla, Giangiacomo
15
1996
Implication connectives in orthomodular lattices. Zbl 0262.02030
Herman, L.; Marsden, E.; Piziak, R.
15
1975
Investigations into the sentential calculus with identity. Zbl 0188.01203
Bloom, Stephen L.; Suszko, Roman
15
1972
The decision problem for linear temporal logic. Zbl 0573.03004
Burgess, John P.; Gurevich, Yuri
15
1985
Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003
Fitting, Melvin
15
1986
Some results on intermediate constructive logics. Zbl 0692.03014
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele
15
1989
Nominal tense logic. Zbl 0789.03018
Blackburn, Patrick
14
1993
Extending intuitionistic linear logic with knotted structural rules. Zbl 0812.03008
Hori, R.; Ono, H.; Schellinx, Harold
14
1994
Growing commas. A study of sequentiality and concatenation. Zbl 1190.03052
Visser, Albert
14
2009
On the logic of ”few”, ”many”, and ”most”. Zbl 0299.02012
Peterson, Philip L.
14
1979
From classical to intuitionistic probability. Zbl 1069.60002
Weatherson, Brian
14
2003
The modal logic of agreement and noncontingency. Zbl 1046.03008
Humberstone, Lloyd
14
2002
On a family of paradoxes. Zbl 0112.00408
Prior, A. N.
14
1961
Connection structures. Zbl 0749.06004
Biacino, Loredana; Gerla, Giangiacomo
14
1991
A note on naive set theory in LP. Zbl 0768.03033
Restall, Greg
14
1992
The predicate modal logic of provability. Zbl 0549.03013
Montagna, Franco
14
1984
Upward stability transfer for tame abstract elementary classes. Zbl 1113.03028
Baldwin, John; Kueker, David; VanDieren, Monica
14
2006
Peano’s smart children: A provability logical study of systems with built-in consistency. Zbl 0686.03033
Visser, Albert
14
1989
A smart child of Peano’s. Zbl 0815.03011
Shavrukov, V. Yu.
13
1994
A remark on negation in dependence logic. Zbl 1216.03048
Kontinen, Juha; Väänänen, Jouko
13
2011
Cofinalities of countable ultraproducts: The existence theorem. Zbl 0694.03029
Canjar, R. Michael
13
1989
The simple consistency of a set theory based on the logic CSQ. Zbl 0488.03026
Brady, Ross T.
13
1983
A minimal predicative set theory. Zbl 0816.03023
Montagna, Franco; Mancini, Antonella
12
1994
On interpretability in the theory of concatenation. Zbl 1190.03051
Švejdar, Vítězslav
12
2009
Which modal logic is the right one? Zbl 0972.03018
Burgess, John P.
12
1999
On elementary equivalence for equality-free logic. Zbl 0869.03007
Casanovas, E.; Dellunde, P.; Jansana, R.
12
1996
Set-valued set theory. I. Zbl 0236.02049
Chapin, E. William jun.
12
1974
A modal extension of intuitionist logic. Zbl 0137.24905
Bull, R. A.
12
1965
An incompleteness theorem for modal relevant logics. Zbl 07473065
Standefer, Shawn
2
2021
Sequent calculi for intuitionistic Gödel-Löb logic. Zbl 1490.03013
van der Giessen, Iris; Iemhoff, Rosalie
2
2021
The complexity of module radicals. Zbl 07391980
Conidis, Chris J.
1
2021
Splittings and disjunctions in reverse mathematics. Zbl 1462.03009
Sanders, Sam
6
2020
Questions and dependency in intuitionistic logic. Zbl 1453.03025
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan
5
2020
The complexity of radicals and socles of modules. Zbl 1484.03019
Wu, Huishan
5
2020
Uniformly bounded arrays and mutually algebraic structures. Zbl 1484.03054
Laskowski, Michael C.; Terry, Caroline A.
5
2020
Reverse mathematics of topology: dimension, paracompactness, and splittings. Zbl 1486.03023
Sanders, Sam
3
2020
On the proof of elimination of imaginaries in algebraically closed valued fields. Zbl 1485.03124
Johnson, Will
2
2020
Definable functions and stratifications in power-bounded \(T\)-convex fields. Zbl 1458.14063
García Ramírez, Erick
1
2020
Projective games on the reals. Zbl 1486.03085
Aguilera, Juan P.; Müller, Sandra
1
2020
Short proofs for slow consistency. Zbl 1455.03078
Freund, Anton; Pakhomov, Fedor
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
Effective domination and the bounded jump. Zbl 1461.03035
Ng, Keng Meng; Yu, Hongyuan
1
2020
A note on FDE “all the way up”. Zbl 1481.03008
Beall, Jc; Camrud, Caleb
1
2020
Distality for the asymptotic couple of the field of logarithmic transseries. Zbl 1484.03068
Gehret, Allen; Kaplan, Elliot
1
2020
Noncontractive classical logic. Zbl 1472.03020
Rosenblatt, Lucas
4
2019
A family of neighborhood contingency logics. Zbl 1444.03052
Fan, Jie
4
2019
Layered posets and Kunen’s universal collapse. Zbl 07060307
Cox, Sean
4
2019
Tame topology over dp-minimal structures. Zbl 07060308
Simon, Pierre; Walsberg, Erik
4
2019
Strong noncontingency: on the modal logics of an operator expressively weaker than necessity. Zbl 1441.03019
Fan, Jie
4
2019
On the degree structure of equivalence relations under computable reducibility. Zbl 1472.03039
Ng, Keng Meng; Yu, Hongyuan
3
2019
Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories. Zbl 07060311
Kruckman, Alex
3
2019
More notions of forcing add a Souslin tree. Zbl 07120749
Brodsky, Ari Meir; Rinot, Assaf
3
2019
Adding a nonreflecting weakly compact set. Zbl 07120753
Cody, Brent
3
2019
A simple criterion. (Un critère simple.) Zbl 1472.03034
Blossier, Thomas; Martin-Pizarro, Amador
2
2019
Abstraction principles and the classification of second-order equivalence relations. Zbl 07060309
Ebels-Duggan, Sean C.
2
2019
Tame expansions of \({\omega}\)-stable theories and definable groups. Zbl 07096535
Göral, Haydar
2
2019
On \(n\)-dependence. Zbl 07096536
Chernikov, Artem; Palacin, Daniel; Takeuchi, Kota
2
2019
Closed maximality principles and generalized Baire spaces. Zbl 07096538
Lücke, Philipp
2
2019
A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers. Zbl 07096540
Holliday, Wesley H.
2
2019
Residue field domination in real closed valued fields. Zbl 1479.03017
Ealy, Clifton; Haskell, Deirdre; Maříková, Jana
2
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
\({\Pi}_1^0\)-encodability and omniscient reductions. Zbl 07060305
Monin, Benoit; Patey, Ludovic
1
2019
A modal logic of supervenience. Zbl 07096539
Fan, Jie
1
2019
Conditionals and conditional probabilities without triviality. Zbl 1455.60007
Pruss, Alexander R.
1
2019
On superstable expansions of free abelian groups. Zbl 1455.03042
Palacín, Daniel; Sklinos, Rizos
9
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
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
Second-order logic of paradox. Zbl 1455.03032
Hazen, Allen P.; Pelletier, Francis Jeffry
4
2018
Ostrowski numeration systems, addition, and finite automata. Zbl 1431.11017
Hieronymi, Philipp; Terry, Alonza jun.
3
2018
Classifications of computable structures. Zbl 1455.03044
Lange, Karen; Miller, Russell; Steiner, Rebecca M.
3
2018
Stable formulas in intuitionistic logic. Zbl 1456.03052
Bezhanishvili, Nick; de Jongh, Dick
3
2018
Refining the taming of the reverse mathematics zoo. Zbl 1455.03015
Sanders, Sam
3
2018
A long pseudo-comparison of premice in \(L[x]\). Zbl 1455.03066
Schlutzenberg, Farmer
2
2018
The complexity of primes in computable unique factorization domains. Zbl 1400.03061
Dzhafarov, Damir D.; Mileti, Joseph R.
1
2018
Two more characterizations of \(K\)-triviality. Zbl 1453.03041
Greenberg, Noam; Miller, Joseph S.; Monin, Benoit; Turetsky, Daniel
1
2018
A problem in Pythagorean arithmetic. Zbl 1404.03033
Pambuccian, Victor
1
2018
The logical strength of compositional principles. Zbl 1384.03037
Heck, Richard G. jun.
1
2018
Invariance and definability, with and without equality. Zbl 1455.03003
Bonnay, Denis; Engström, Fredrik
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
Ehrenfeucht’s lemma in set theory. Zbl 1455.03065
Fuchs, Gunter; Gitman, Victoria; Hamkins, Joel David
1
2018
Independence of the dual axiom in modal \(\mathbf{K}\) with primitive. Zbl 1396.03038
Thomason, Richmond
1
2018
Set mappings on 4-tuples. Zbl 1455.03060
Mohsenipour, Shahram; Shelah, Saharon
1
2018
Semigroups in stable structures. Zbl 1455.03046
Halevi, Yatir
1
2018
A propositional theory of truth. Zbl 1455.03010
Stephanou, Yannis
1
2018
Canjar filters. Zbl 1417.03247
Guzmán, Osvaldo; Hrušák, Michael; Martínez-Celis, Arturo
9
2017
Locally finite reducts of Heyting algebras and canonical formulas. Zbl 1417.03198
Bezhanishvili, Guram; Bezhanishvili, Nick
8
2017
Disarming a paradox of validity. Zbl 1360.03028
Field, Hartry
6
2017
Computing the number of types of infinite length. Zbl 1417.03232
Boney, Will
6
2017
Universal structures. Zbl 1417.03231
Shelah, Saharon
6
2017
Forking and dividing in Henson graphs. Zbl 1417.03229
Conant, Gabriel
6
2017
Ramsey algebras and formal orderly terms. Zbl 1355.05244
Teh, Wen Chean
5
2017
New degree spectra of abelian groups. Zbl 1423.03152
Melnikov, Alexander G.
5
2017
Infinite computations with random oracles. Zbl 1417.03243
Carl, Merlin; Schlicht, Philipp
4
2017
Prospects for a naive theory of classes. Zbl 1417.03272
Field, Hartry; Lederman, Harvey; Øgaard, Tore Fjetland
4
2017
A completed system for Robin Smith’s incomplete ecthetic syllogistic. Zbl 1380.03016
Joray, Pierre
3
2017
Nonstandard functional interpretations and categorical models. Zbl 1431.03081
Hadzihasanovic, Amar; van den Berg, Benno
3
2017
Two upper bounds on consistency strength of \(\neg \square_{\aleph_\omega}\) and stationary set reflection at two successive \(\aleph_n\). Zbl 1417.03252
Zeman, Martin
3
2017
Ekman’s paradox. Zbl 1417.03288
Schroeder-Heister, Peter; Tranchini, Luca
3
2017
Strange structures from computable model theory. Zbl 1417.03234
Becker, Howard
2
2017
Infinitesimal comparisons: homomorphisms between Giordano’s ring and the hyperreal field. Zbl 1370.26058
Reeder, Patrick
2
2017
Dunn-Priest quotients of many-valued structures. Zbl 1417.03178
Ferguson, Thomas Macaulay
2
2017
Randomness and semimeasures. Zbl 1417.03242
Bienvenu, Laurent; Hölzl, Rupert; Porter, Christopher P.; Shafer, Paul
2
2017
Normal numbers and limit computable Cantor series. Zbl 1417.03240
Beros, Achilles; Beros, Konstantinos
1
2017
Why intuitionistic relevant logic cannot be a core logic. Zbl 1417.03128
Vidal-Rosset, Joseph
1
2017
Club-isomorphisms of Aronszajn trees in the extension with a Suslin tree. Zbl 1417.03267
Yorioka, Teruyuki
1
2017
A diamond principle consistent with AD. Zbl 1417.03261
Cunningham, Daniel
1
2017
Decidable fragments of the simple theory of types with infinity and NF. Zbl 1417.03271
Dawar, Anuj; Forster, Thomas; McKenzie, Zachiri
1
2017
Selective and Ramsey ultrafilters on \(G\)-spaces. Zbl 1368.05150
Petrenko, Oleksandr; Protasov, Igor
1
2017
Degrees that are not degrees of categoricity. Zbl 1436.03229
Anderson, Bernard; Csima, Barbara
16
2016
Categoricity spectra for rigid structures. Zbl 1359.03030
Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander
16
2016
Admissible rules and the Leibniz hierarchy. Zbl 1357.03041
Raftery, James G.
7
2016
A syntactic approach to unification in transitive reflexive modal logics. Zbl 1436.03133
Iemhoff, Rosalie
5
2016
Algebraicity and implicit definability in set theory. Zbl 1436.03264
Hamkins, Joel David; Leahy, Cole
5
2016
Modal consequence relations extending S4.3: an application of projective unification. Zbl 1403.03029
Dzik, Wojciech; Wojtylak, Piotr
4
2016
Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor. Zbl 1358.68272
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
3
2016
End extensions of models of weak arithmetic theories. Zbl 1436.03302
Dimitracopoulos, Costas; Paschalis, Vasileios S.
3
2016
Non-Fregean propositional logic with quantifiers. Zbl 1396.03070
Golińska-Pilarek, Joanna; Huuskonen, Taneli
3
2016
Restriction by noncontraction. Zbl 1417.03110
Zardini, Elia
3
2016
Implicit definability in arithmetic. Zbl 1401.03082
Simpson, Stephen G.
2
2016
Hyperreal-valued probability measures approximating a real-valued measure. Zbl 1385.60008
Hofweber, Thomas; Schindler, Ralf
2
2016
Finiteness classes and small violations of choice. Zbl 1436.03255
Herrlich, Horst; Howard, Paul; Tachtsis, Eleftherios
2
2016
Note on extending congruential modal logics. Zbl 1350.03018
Humberstone, Lloyd
2
2016
An abelian rule for BCI – and variations. Zbl 1403.03039
Kowalski, Tomasz; Humberstone, Lloyd
1
2016
...and 1009 more Documents
all top 5

Cited by 3,400 Authors

92 Shelah, Saharon
30 Avron, Arnon
29 Bazhenov, Nikolaĭ Alekseevich
28 Visser, Albert
25 Downey, Rodney Graham
22 Humberstone, Lloyd
21 Baldwin, John T.
21 Montanari, Angelo
20 Patey, Ludovic
18 Dunn, Jon Michael
17 Brattka, Vasco
17 Melnikov, Alexander G.
17 Sanders, Sam
16 Bunder, Martin W.
16 Hamkins, Joel David
16 Laskowski, Michael Chris
15 Friedman, Sy-David
15 Wansing, Heinrich Theodor
14 Arieli, Ofer
14 Balbiani, Philippe
14 Bimbó, Katalin
14 Iemhoff, Rosalie
14 Kurahashi, Taishi
14 Sciavicco, Guido
14 Wolter, Frank
13 Fan, Jie
13 Greenberg, Noam
13 Petrukhin, Yaroslav Igorevich
13 van Benthem, Johan F. A. K.
13 Vasey, Sebastien
13 Voutsadakis, George
13 Zakharyaschev, Michael Viktorovich
12 Andrews, Uri
12 Brady, Ross Thomas
12 Carnielli, Walter Alexandre
12 Düntsch, Ivo
12 Dzhafarov, Damir D.
12 Fitting, Melvin Chris
12 Goldblatt, Robert Ian
12 Pauly, Arno M.
12 Pillay, Anand
12 Raftery, James G.
12 Stephan, Frank
12 Zamansky, Anna
11 Barmpalias, George
11 Bezhanishvili, Guram
11 Harrison-Trainor, Matthew
11 Jansana, Ramon
11 Kalimullin, Iskander Shagitovich
11 Kesner, Delia
11 Krueger, John
11 Ma, Minghui
11 Mares, Edwin D.
11 Omori, Hitoshi
11 Peron, Adriano
11 Rybalov, Aleksandr Nikolaevich
11 Schmerl, James H.
11 Shapiro, Stewart
11 Subrahmanian, V. S.
11 Tachtsis, Eleftherios
11 Vakarelov, Dimiter
11 van Bakel, Steffen
10 Bezhanishvili, Nick
10 Ciucci, Davide
10 Da Costa, Newton Carneiro Affonso
10 Dezani-Ciancaglini, Mariangiola
10 Došen, Kosta
10 Font, Josep Maria
10 Kaplan, Itay
10 Novák, Vilém
10 Reynolds, Mark Alexander
10 Sala, Pietro
10 Schröder, Lutz
10 Sorbi, Andrea
10 van Ditmarsch, Hans Pieter
10 Weber, Zach
10 Zdoms’kyĭ, Lyubomyr Sergiĭovych
9 Andréka, Hajnal
9 Antonelli, Gian Aldo
9 Bagaria, Joan
9 Beall, Jc
9 Chernikov, Artem
9 Conant, Gabriel
9 Cox, Sean D.
9 Demri, Stéphane P.
9 Dubois, Didier
9 Gabbay, Dov M.
9 Gherardi, Guido
9 Harizanov, Valentina S.
9 Hodkinson, Ian Martin
9 Hyttinen, Tapani
9 Linnebo, Øystein
9 Macpherson, Dugald
9 Marcos, João
9 Metcalfe, George
9 Meyer, Robert Kenneth
9 Mildenberger, Heike
9 Miller, Chris
9 Montalbán, Antonio
9 Ng, KengMeng
...and 3,300 more Authors
all top 5

Cited in 340 Journals

403 The Journal of Symbolic Logic
335 Studia Logica
320 Annals of Pure and Applied Logic
275 Journal of Philosophical Logic
243 Notre Dame Journal of Formal Logic
161 Archive for Mathematical Logic
154 The Review of Symbolic Logic
147 Synthese
114 Theoretical Computer Science
99 Journal of Applied Non-Classical Logics
87 The Bulletin of Symbolic Logic
79 History and Philosophy of Logic
66 Transactions of the American Mathematical Society
63 Mathematical Logic Quarterly (MLQ)
61 Logica Universalis
56 Israel Journal of Mathematics
50 Journal of Logic, Language and Information
49 Algebra Universalis
49 Information and Computation
48 Journal of Applied Logic
46 Logic and Logical Philosophy
44 Artificial Intelligence
43 Journal of Mathematical Logic
40 Proceedings of the American Mathematical Society
37 Erkenntnis
35 Algebra and Logic
35 Fuzzy Sets and Systems
35 International Journal of Approximate Reasoning
34 Annals of Mathematics and Artificial Intelligence
27 Soft Computing
24 Advances in Mathematics
24 Journal of Algebra
23 MSCS. Mathematical Structures in Computer Science
23 Logical Methods in Computer Science
22 Topology and its Applications
20 Journal of Pure and Applied Algebra
19 Information Sciences
18 Bulletin of the Section of Logic
17 Archiv für Mathematische Logik und Grundlagenforschung
16 Journal of Automated Reasoning
13 Order
13 Indagationes Mathematicae. New Series
13 Nôus
12 Fundamenta Mathematicae
12 Siberian Mathematical Journal
12 Theory of Computing Systems
12 Topoi
12 Foundations of Science
12 Computability
11 International Journal of Theoretical Physics
11 Journal of Computer and System Sciences
11 Journal of Soviet Mathematics
10 Mathematical Notes
10 Applied Categorical Structures
10 Lobachevskii Journal of Mathematics
9 Communications in Algebra
9 International Journal of General Systems
9 Semigroup Forum
9 Proceedings of the Japan Academy
8 Discrete Mathematics
8 Historia Mathematica
7 Rendiconti del Seminario Matematico della Università di Padova
7 Acta Mathematica Hungarica
7 Foundations of Physics
6 Discrete Applied Mathematics
6 The Mathematical Intelligencer
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
5 Theory and Decision
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 European Mathematical Society (JEMS)
5 Journal of the Institute of Mathematics of Jussieu
5 ACM Transactions on Computational Logic
4 Acta Informatica
4 Archive for History of Exact Sciences
4 Computers & Mathematics with Applications
4 Information Processing Letters
4 Mathematical Proceedings of the Cambridge Philosophical Society
4 Applied Mathematics and Computation
4 Illinois Journal of Mathematics
4 Mathematica Slovaca
4 Memoirs of the American Mathematical Society
4 Monatshefte für Mathematik
4 Proceedings of the Edinburgh Mathematical Society. Series II
4 European Journal of Combinatorics
4 Journal of Symbolic Computation
4 Journal of the American Mathematical Society
4 International Journal of Computer Mathematics
4 Bulletin of the American Mathematical Society. New Series
4 Bulletin of the Polish Academy of Sciences, Mathematics
4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
4 Journal of the Australian Mathematical Society
4 Sibirskie Èlektronnye Matematicheskie Izvestiya
4 Forum of Mathematics, Sigma
...and 240 more Journals
all top 5

Cited in 57 Fields

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

Citations by Year