# zbMATH — the first resource for mathematics

## 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/ndjflhttp://www.nd.edu/~ndjfl/ Comments: Indexed cover-to-cover; This journal is available open access.
 Documents Indexed: 2,508 Publications (since 1960) References Indexed: 572 Publications with 9,839 References.
all top 5

#### Latest Issues

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

#### Authors

 59 Sobociński, Bolesław 31 Shelah, Saharon 27 Thomas, Ivo 22 Bunder, Martin W. 16 Burgess, John P. 16 Leblanc, Hugues 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 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 Cowen, Robert H. 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 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 Singletary, W. E. 5 Toffalori, Carlo 5 Ulrich, Dolph 5 Väänänen, Jouko Antero 5 Zambella, Domenico 4 Bellissima, Fabio 4 Bencivenga, Ermanno 4 Bimbó, Katalin ...and 1,518 more Authors
all top 5

#### Fields

 2,179 Mathematical logic and foundations (03-XX) 81 Computer science (68-XX) 79 History and biography (01-XX) 74 Order, lattices, ordered algebraic structures (06-XX) 51 General and overarching topics; collections (00-XX) 38 Combinatorics (05-XX) 31 General topology (54-XX) 29 Group theory and generalizations (20-XX) 23 Category theory; homological algebra (18-XX) 20 General algebraic systems (08-XX) 18 Number theory (11-XX) 18 Geometry (51-XX) 18 Probability theory and stochastic processes (60-XX) 14 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 Operator theory (47-XX) 2 Commutative algebra (13-XX) 2 Topological groups, Lie groups (22-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)

#### Citations contained in zbMATH Open

1,252 Publications have been cited 5,641 times in 4,212 Documents Cited by Year
On the theory of inconsistent formal systems. Zbl 0236.02022
da Costa, Newton C. A.
1974
Multiset theory. Zbl 0668.03027
Blizard, Wayne D.
1989
An extension of basic functionality theory for $$\lambda$$-calculus. Zbl 0423.03010
Coppo, Mario; Dezani-Ciancaglini, Mariangiola
1980
A calculus of antinomics. Zbl 0145.00508
Asenjo, Florencio G.
1966
A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Zbl 0695.03009
Meyer, J.-J. Ch.
1988
On the strength of Ramsey’s theorem. Zbl 0843.03034
Seetapun, David; Slaman, Theodore A.
1995
Some exact equiconsistency results in set theory. Zbl 0579.03039
Harrington, Leo; Shelah, Saharon
1985
Degrees of categoricity and the hyperarithmetic hierarchy. Zbl 1311.03070
Csima, Barbara F.; Franklin, Johanna N. Y.; Shore, Richard A.
2013
Computable models of theories with few models. Zbl 0891.03013
Khoussainov, Bakhadyr; Nies, Andre; Shore, Richard A.
1997
A calculus of individuals based on ’connection’. Zbl 0438.03032
Clarke, Bowman L.
1981
Expressiveness and completeness of an interval tense logic. Zbl 0725.03006
Venema, Yde
1990
Kaplan, David; Montague, R.
1960
A semantical analysis of the calculi $$C_n$$. Zbl 0349.02022
Da Costa, Newton C. A.; Alves, Elias H.
1977
Irrevocable belief revision in dynamic doxastic logic. Zbl 0972.03015
Segerberg, Krister
1998
Normal forms in modal logic. Zbl 0245.02025
Fine, Kit
1975
Individuals and points. Zbl 0597.03005
Clarke, Bowman L.
1985
Near coherence of filters. I: Cofinal equivalence of models of arithmetic. Zbl 0622.03040
Blass, Andreas
1986
Classifications for inconsistent theories. Zbl 0305.02040
Grant, John
1978
Intermediate logics and Visser’s rules. Zbl 1102.03032
Iemhoff, Rosalie
2005
On an implication connective of RM. Zbl 0613.03003
Avron, Arnon
1986
In so many possible worlds. Zbl 0205.30306
Fine, Kit
1972
A system of complete and consistent truth. Zbl 0828.03030
Halbach, Volker
1994
Probability logic. Zbl 0547.03018
Hailperin, Theodore
1984
Near coherence of filters. III: A simplified consistency proof. Zbl 0702.03030
Blass, Andreas; Shelah, Saharon
1989
Notes on the axiomatics of the propositional calculus. Zbl 0146.00801
Meredith, C. A.; Prior, A. N.
1963
The logic of non-contingency. Zbl 0833.03004
Humberstone, I. L.
1995
Quick completeness proofs for some logics of conditionals. Zbl 0416.03020
Burgess, John P.
1981
Notes on singular cardinal combinatorics. Zbl 1121.03053
Cummings, James
2005
Incompactness in regular cardinals. Zbl 0617.03025
Shelah, Saharon
1985
How incomputable is the separable Hahn-Banach theorem? Zbl 1223.03052
Gherardi, Guido; Marcone, Alberto
2009
Dp-minimality: basic facts and examples. Zbl 1258.03036
Dolich, Alfred; Goodrick, John; Lippel, David
2011
Second-order quantifiers and the complexity of theories. Zbl 0596.03033
Baldwin, J. T.; Shelah, S.
1985
Impossible worlds: A modest approach. Zbl 0916.03013
Nolan, Daniel
1997
On the consistency of the first-order portion of Frege’s logical system. Zbl 0637.03005
Parsons, Terence
1987
Minimal non-contingency logic. Zbl 0833.03005
Kuhn, Steven T.
1995
Expressive logics for coalgebras via terminal sequence induction. Zbl 1088.03031
Pattinson, Dirk
2004
The halting problem is decidable on a set of asymptotic probability one. Zbl 1137.03024
Hamkins, Joel David; Miasnikov, Alexei
2006
Logic of antinomies. Zbl 0246.02023
Asenjo, F. G.; Tamburino, J.
1975
Dual-intuitionistic logic. Zbl 0869.03008
Urbas, Igor
1996
Forcing with sequences of models of two types. Zbl 1352.03054
Neeman, Itay
2014
On generic structures. Zbl 0768.03010
Kueker, D. W.; Laskowski, M. C.
1992
Completeness of relevant quantification theories. Zbl 0272.02028
Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues
1974
The $$K$$-degrees, low for $$K$$ degrees, and weakly low for $$K$$ sets. Zbl 1213.03053
Miller, Joseph S.
2009
Some embedding theorems for modal logic. Zbl 0193.29301
Makinson, D.
1971
Ontology in the Tractatus of L. Wittgenstein. Zbl 0198.32001
Suszko, R.
1968
On interpretations of arithmetic and set theory. Zbl 1137.03019
Kaye, Richard; Wong, Tin Lok
2007
Basic predicate calculus. Zbl 0967.03005
Ruitenburg, Wim
1998
Logical constants as punctuation marks. Zbl 0692.03003
Došen, Kosta
1989
Modal definability in enriched languages. Zbl 0706.03016
Goranko, Valentin
1990
Tableau methods of proof for modal logics. Zbl 0184.28102
Fitting, Melvin
1972
Equational classes of relative Stone algebras. Zbl 0212.01601
Hecht, T.; Katriňak, T.
1972
On a quasi-set theory. Zbl 0774.03032
Krause, Décio
1992
Limits for paraconsistent calculi. Zbl 1007.03028
Carnielli, Walter A.; Marcos, João
1999
Inaccessible worlds. Zbl 0487.03007
Humberstone, I. L.
1983
A closer look at some subintuitionistic logics. Zbl 1034.03007
Celani, Sergio; Jansana, Ramon
2001
Vapnik-Chervonenkis density in some theories without the independence property. II. Zbl 1436.03185
Aschenbrenner, Matthias; Dolich, Alf; Haskell, Deirdre; Macpherson, Dugald; Starchenko, Sergei
2013
Analytic implication. Zbl 0621.03006
Fine, Kit
1986
An exposition of Shelah’s ’main gap’: counting uncountable models of $$\omega$$-stable and superstable theories. Zbl 0589.03015
Harrington, L.; Makkai, M.
1985
Unsolvable problems for equational theories. Zbl 0197.28201
Perkins, Peter
1967
Completeness and definability in the logic of noncontingency. Zbl 0989.03019
Zolin, Evgeni E.
1999
Degrees that are not degrees of categoricity. Zbl 1436.03229
Anderson, Bernard; Csima, Barbara
2016
The decision problem for linear temporal logic. Zbl 0573.03004
Burgess, John P.; Gurevich, Yuri
1985
Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003
Fitting, Melvin
1986
A new semantics for positive modal logic. Zbl 0889.03014
Celani, S.; Jansana, R.
1997
Is Hume’s principle analytic? Zbl 0968.03009
Wright, Crispin
1999
Logic, logics, and logicism. Zbl 0972.03005
Feferman, Solomon
1999
Tarski on logical consequences. Zbl 0855.03004
Gómez-Torrente, Mario
1996
Categoricity spectra for rigid structures. Zbl 1359.03030
Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander
2016
Peano’s smart children: A provability logical study of systems with built-in consistency. Zbl 0686.03033
Visser, Albert
1989
A note on naive set theory in LP. Zbl 0768.03033
Restall, Greg
1992
On the logic of ”few”, ”many”, and ”most”. Zbl 0299.02012
Peterson, Philip L.
1979
Nominal tense logic. Zbl 0789.03018
Blackburn, Patrick
1993
Extending intuitionistic linear logic with knotted structural rules. Zbl 0812.03008
Hori, R.; Ono, H.; Schellinx, Harold
1994
The price of universality. Zbl 0865.03032
Hemaspaandra, Edith
1996
Material implications in orthomodular (and Boolean) lattices. Zbl 0438.03060
Hardegree, Gary M.
1981
Upward stability transfer for tame abstract elementary classes. Zbl 1113.03028
Baldwin, John; Kueker, David; VanDieren, Monica
2006
Growing commas. A study of sequentiality and concatenation. Zbl 1190.03052
Visser, Albert
2009
Some puzzles of ground. Zbl 1256.03034
Fine, Kit
2010
Connection structures: Grzegorczyk’s and Whitehead’s definitions of point. Zbl 0877.51006
Biacino, Loredana; Gerla, Giangiacomo
1996
The predicate modal logic of provability. Zbl 0549.03013
Montagna, Franco
1984
Connection structures. Zbl 0749.06004
Biacino, Loredana; Gerla, Giangiacomo
1991
A certain conception of the calculus of rough sets. Zbl 0762.04001
Bonikowski, Zbigniew
1992
Subintuitionistic logics. Zbl 0811.03005
Restall, Greg
1994
A smart child of Peano’s. Zbl 0815.03011
Shavrukov, V. Yu.
1994
A remark on negation in dependence logic. Zbl 1216.03048
Kontinen, Juha; Väänänen, Jouko
2011
Modality and possibility in some intuitionistic modal logics. Zbl 0638.03017
Font, Josep M.
1986
Reflections on Church’s thesis. Zbl 0649.03001
Kleene, Stephen C.
1987
Some results on intermediate constructive logics. Zbl 0692.03014
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele
1989
On a family of paradoxes. Zbl 0112.00408
Prior, A. N.
1961
A modal extension of intuitionist logic. Zbl 0137.24905
Bull, R. A.
1965
Investigations into the sentential calculus with identity. Zbl 0188.01203
Bloom, Stephen L.; Suszko, Roman
1972
A decidable temporal logic of parallelism. Zbl 0904.03010
Reynolds, Mark
1997
Embedding Brouwer algebra in the Medvedev lattice. Zbl 0737.06009
Sorbi, Andrea
1991
On type definable subgroups of a stable group. Zbl 0747.03015
Newelski, L.
1991
Implication connectives in orthomodular lattices. Zbl 0262.02030
Herman, L.; Marsden, E.; Piziak, R.
1975
From classical to intuitionistic probability. Zbl 1069.60002
Weatherson, Brian
2003
The modal logic of agreement and noncontingency. Zbl 1046.03008
Humberstone, Lloyd
2002
Negative membership. Zbl 0731.03027
Blizard, Wayne D.
1990
The simple consistency of a set theory based on the logic CSQ. Zbl 0488.03026
1983
On power of singular cardinals. Zbl 0637.03052
Shelah, Saharon
1986
Sequent calculi for intuitionistic Gödel-Löb logic. Zbl 07391973
van der Giessen, Iris; Iemhoff, Rosalie
2021
Splittings and disjunctions in reverse mathematics. Zbl 1462.03009
Sanders, Sam
2020
The complexity of radicals and socles of modules. Zbl 07196096
Wu, Huishan
2020
On the proof of elimination of imaginaries in algebraically closed valued fields. Zbl 07319330
Johnson, Will
2020
Short proofs for slow consistency. Zbl 1455.03078
Freund, Anton; Pakhomov, Fedor
2020
Questions and dependency in intuitionistic logic. Zbl 1453.03025
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan
2020
A remark on probabilistic measures of coherence. Zbl 1437.81010
Oms, Sergi
2020
Effective domination and the bounded jump. Zbl 1461.03035
Ng, Keng Meng; Yu, Hongyuan
2020
Uniformly bounded arrays and mutually algebraic structures. Zbl 07222691
Laskowski, Michael C.; Terry, Caroline A.
2020
A note on FDE “all the way up”. Zbl 07222692
Beall, Jc; Camrud, Caleb
2020
Disjoint $$n$$-amalgamation and pseudofinite countably categorical theories. Zbl 07060311
Kruckman, Alex
2019
More notions of forcing add a Souslin tree. Zbl 07120749
Brodsky, Ari Meir; Rinot, Assaf
2019
Adding a nonreflecting weakly compact set. Zbl 07120753
Cody, Brent
2019
On the degree structure of equivalence relations under computable reducibility. Zbl 07167766
Ng, Keng Meng; Yu, Hongyuan
2019
Layered posets and Kunen’s universal collapse. Zbl 07060307
Cox, Sean
2019
Tame topology over dp-minimal structures. Zbl 07060308
Simon, Pierre; Walsberg, Erik
2019
Noncontractive classical logic. Zbl 07167758
Rosenblatt, Lucas
2019
$${\Pi}_1^0$$-encodability and omniscient reductions. Zbl 07060305
Monin, Benoit; Patey, Ludovic
2019
Abstraction principles and the classification of second-order equivalence relations. Zbl 07060309
Ebels-Duggan, Sean C.
2019
Tame expansions of $${\omega}$$-stable theories and definable groups. Zbl 07096535
Göral, Haydar
2019
On $$n$$-dependence. Zbl 07096536
Chernikov, Artem; Palacin, Daniel; Takeuchi, Kota
2019
Closed maximality principles and generalized Baire spaces. Zbl 07096538
Lücke, Philipp
2019
A modal logic of supervenience. Zbl 07096539
Fan, Jie
2019
Residue field domination in real closed valued fields. Zbl 07120745
Ealy, Clifton; Haskell, Deirdre; Maříková, Jana
2019
Strong noncontingency: on the modal logics of an operator expressively weaker than necessity. Zbl 1441.03019
Fan, Jie
2019
Conditionals and conditional probabilities without triviality. Zbl 1455.60007
Pruss, Alexander R.
2019
On superstable expansions of free abelian groups. Zbl 1455.03042
Palacín, Daniel; Sklinos, Rizos
2018
Stable formulas in intuitionistic logic. Zbl 1456.03052
Bezhanishvili, Nick; de Jongh, Dick
2018
On the spectrum of characters of ultrafilters. Zbl 1455.03059
Garti, Shimon; Magidor, Menachem; Shelah, Saharon
2018
Classifications of computable structures. Zbl 1455.03044
Lange, Karen; Miller, Russell; Steiner, Rebecca M.
2018
Second-order logic of paradox. Zbl 1455.03032
Hazen, Allen P.; Pelletier, Francis Jeffry
2018
On the uniform computational content of the Baire category theorem. Zbl 1455.03080
Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P.
2018
Blurring: an approach to conflation. Zbl 1455.03037
Ripley, David
2018
Ostrowski numeration systems, addition, and finite automata. Zbl 1431.11017
Hieronymi, Philipp; Terry, Alonza jun.
2018
Negation-free and contradiction-free proof of the Steiner-Lehmus theorem. Zbl 1455.03076
Pambuccian, Victor
2018
Refining the taming of the reverse mathematics zoo. Zbl 1455.03015
Sanders, Sam
2018
Coding and definability in computable structures. Zbl 1455.03056
Montalbán, Antonio
2018
The admissible rules of $$\mathsf{BD}_2$$ and $$\mathsf{GSc}$$. Zbl 1455.03034
Goudsmit, Jeroen P.
2018
Independence of the dual axiom in modal $$\mathbf{K}$$ with primitive. Zbl 1396.03038
Thomason, Richmond
2018
Set mappings on 4-tuples. Zbl 1455.03060
Mohsenipour, Shahram; Shelah, Saharon
2018
Semigroups in stable structures. Zbl 1455.03046
Halevi, Yatir
2018
The logical strength of compositional principles. Zbl 1384.03037
Heck, Richard G. jun.
2018
Invariance and definability, with and without equality. Zbl 1455.03003
Bonnay, Denis; Engström, Fredrik
2018
A long pseudo-comparison of premice in $$L[x]$$. Zbl 1455.03066
Schlutzenberg, Farmer
2018
The complexity of primes in computable unique factorization domains. Zbl 1400.03061
Dzhafarov, Damir D.; Mileti, Joseph R.
2018
Two more characterizations of $$K$$-triviality. Zbl 1453.03041
Greenberg, Noam; Miller, Joseph S.; Monin, Benoit; Turetsky, Daniel
2018
A problem in Pythagorean arithmetic. Zbl 1404.03033
Pambuccian, Victor
2018
Locally finite reducts of Heyting algebras and canonical formulas. Zbl 1417.03198
Bezhanishvili, Guram; Bezhanishvili, Nick
2017
Canjar filters. Zbl 1417.03247
Guzmán, Osvaldo; Hrušák, Michael; Martínez-Celis, Arturo
2017
Computing the number of types of infinite length. Zbl 1417.03232
Boney, Will
2017
Forking and dividing in Henson graphs. Zbl 1417.03229
Conant, Gabriel
2017
Ramsey algebras and formal orderly terms. Zbl 1355.05244
Teh, Wen Chean
2017
Universal structures. Zbl 1417.03231
Shelah, Saharon
2017
New degree spectra of abelian groups. Zbl 1423.03152
Melnikov, Alexander G.
2017
Infinite computations with random oracles. Zbl 1417.03243
Carl, Merlin; Schlicht, Philipp
2017
Prospects for a naive theory of classes. Zbl 1417.03272
Field, Hartry; Lederman, Harvey; Øgaard, Tore Fjetland
2017
Schroeder-Heister, Peter; Tranchini, Luca
2017
Disarming a paradox of validity. Zbl 1360.03028
Field, Hartry
2017
A completed system for Robin Smith’s incomplete ecthetic syllogistic. Zbl 1380.03016
Joray, Pierre
2017
Nonstandard functional interpretations and categorical models. Zbl 1431.03081
Hadzihasanovic, Amar; van den Berg, Benno
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
2017
Infinitesimal comparisons: homomorphisms between Giordano’s ring and the hyperreal field. Zbl 1370.26058
Reeder, Patrick
2017
Dunn-Priest quotients of many-valued structures. Zbl 1417.03178
Ferguson, Thomas Macaulay
2017
Strange structures from computable model theory. Zbl 1417.03234
Becker, Howard
2017
Normal numbers and limit computable Cantor series. Zbl 1417.03240
Beros, Achilles; Beros, Konstantinos
2017
Why intuitionistic relevant logic cannot be a core logic. Zbl 1417.03128
Vidal-Rosset, Joseph
2017
Randomness and semimeasures. Zbl 1417.03242
Bienvenu, Laurent; Hölzl, Rupert; Porter, Christopher P.; Shafer, Paul
2017
A diamond principle consistent with AD. Zbl 1417.03261
Cunningham, Daniel
2017
Decidable fragments of the simple theory of types with infinity and NF. Zbl 1417.03271
Dawar, Anuj; Forster, Thomas; McKenzie, Zachiri
2017
Selective and Ramsey ultrafilters on $$G$$-spaces. Zbl 1368.05150
Petrenko, Oleksandr; Protasov, Igor
2017
Degrees that are not degrees of categoricity. Zbl 1436.03229
Anderson, Bernard; Csima, Barbara
2016
Categoricity spectra for rigid structures. Zbl 1359.03030
Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander
2016
Admissible rules and the Leibniz hierarchy. Zbl 1357.03041
Raftery, James G.
2016
Algebraicity and implicit definability in set theory. Zbl 1436.03264
Hamkins, Joel David; Leahy, Cole
2016
End extensions of models of weak arithmetic theories. Zbl 1436.03302
Dimitracopoulos, Costas; Paschalis, Vasileios S.
2016
Restriction by noncontraction. Zbl 1417.03110
Zardini, Elia
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
2016
A syntactic approach to unification in transitive reflexive modal logics. Zbl 1436.03133
Iemhoff, Rosalie
2016
Non-Fregean propositional logic with quantifiers. Zbl 1396.03070
Golińska-Pilarek, Joanna; Huuskonen, Taneli
2016
Note on extending congruential modal logics. Zbl 1350.03018
Humberstone, Lloyd
2016
Modal consequence relations extending S4.3: an application of projective unification. Zbl 1403.03029
Dzik, Wojciech; Wojtylak, Piotr
2016
Hyperreal-valued probability measures approximating a real-valued measure. Zbl 1385.60008
Hofweber, Thomas; Schindler, Ralf
2016
A lifting argument for the generalized Grigorieff forcing. Zbl 1350.03036
2016
Semantic completeness of first-order theories in constructive reverse mathematics. Zbl 1403.03122
Espíndola, Christian
2016
Reverse mathematics and Ramsey properties of partial orderings. Zbl 1353.03007
Corduan, Jared; Groszek, Marcia
2016
Controlling effective packing dimension of $$\Delta_2^0$$ degrees. Zbl 1352.03048
Stephenson, Jonathan
2016
Rule-irredundancy and the sequent calculus for core logic. Zbl 1403.03117
Tennant, Neil
2016
Boolean algebras in Visser algebras. Zbl 1347.03105
2016
An abelian rule for BCI – and variations. Zbl 1403.03039
Kowalski, Tomasz; Humberstone, Lloyd
2016
Implicit definability in arithmetic. Zbl 1401.03082
Simpson, Stephen G.
2016
Functional dependence in strategic games. Zbl 1397.91020
Harjes, Kristine; Naumov, Pavel
2016
Finiteness classes and small violations of choice. Zbl 1436.03255
Herrlich, Horst; Howard, Paul; Tachtsis, Eleftherios
2016
Why ramify? Zbl 1322.03010
Hodes, Harold T.
2015
Indiscernibles, EM-types, and Ramsey classes of trees. Zbl 1334.03035
Scow, Lynn
2015
Rudimentary recursion, gentle functions and provident sets. Zbl 1371.03061
Mathias, A. R. D.; Bowler, N. J.
2015
Varieties of indefinite extensibility. Zbl 1372.03015
Uzquiano, Gabriel
2015
Pseudofinite and pseudocompact metric structures. Zbl 1334.03036
Goldbring, Isaac; Lopes, Vinicius Cifú
2015
The thin set theorem for pairs implies DNR. Zbl 1372.03028
Rice, Brian
2015
The arithmetics of a theory. Zbl 1350.03045
Visser, Albert
2015
Naive infinitism: the case for an inconsistency approach to infinite collections. Zbl 1371.03011
2015
...and 975 more Documents
all top 5

#### Cited by 3,131 Authors

 87 Shelah, Saharon 29 Avron, Arnon 28 Bazhenov, Nikolaĭ Alekseevich 27 Visser, Albert 24 Downey, Rodney Graham 21 Humberstone, Lloyd 20 Baldwin, John T. 19 Montanari, Angelo 17 Melnikov, Alexander G. 16 Dunn, Jon Michael 15 Brattka, Vasco 15 Bunder, Martin W. 15 Patey, Ludovic 15 Wansing, Heinrich Theodor 14 Hamkins, Joel David 14 Iemhoff, Rosalie 14 Sciavicco, Guido 14 Wolter, Frank 13 Arieli, Ofer 13 Voutsadakis, George 13 Zakharyaschev, Michael Viktorovich 12 Brady, Ross Thomas 12 Dzhafarov, Damir D. 12 Friedman, Sy-David 12 Kurahashi, Taishi 12 Petrukhin, Yaroslav Igorevich 12 Pillay, Anand 12 Raftery, James G. 12 van Benthem, Johan F. A. K. 12 Vasey, Sebastien 11 Balbiani, Philippe 11 Barmpalias, George 11 Bezhanishvili, Guram 11 Bimbó, Katalin 11 Fitting, Melvin Chris 11 Goldblatt, Robert Ian 11 Kalimullin, Iskander Shagitovich 11 Krueger, John 11 Laskowski, Michael Chris 11 Rybalov, Aleksandr Nikolaevich 11 Schmerl, James H. 11 Shapiro, Stewart 11 Subrahmanian, V. S. 11 van Bakel, Steffen 11 Zamansky, Anna 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 Greenberg, Noam 10 Jansana, Ramon 10 Kaplan, Itay 10 Kesner, Delia 10 Ma, Minghui 10 Mares, Edwin D. 10 Omori, Hitoshi 10 Pauly, Arno M. 10 Reynolds, Mark Alexander 10 Sanders, Sam 10 Stephan, Frank 10 Tachtsis, Eleftherios 10 Vakarelov, Dimiter 9 Antonelli, Gian Aldo 9 Bagaria, Joan 9 Beall, Jc 9 Carnielli, Walter Alexandre 9 Dubois, Didier 9 Düntsch, Ivo 9 Fan, Jie 9 Harizanov, Valentina S. 9 Hodkinson, Ian Martin 9 Hyttinen, Tapani 9 Meyer, Robert Kenneth 9 Mildenberger, Heike 9 Montalbán, Antonio 9 Ng, KengMeng 9 Peron, Adriano 9 Robles, Gemma 9 Sala, Pietro 9 Sayed Ahmed, Tarek 9 Shore, Richard A. 9 Simon, Pierre 9 Solomon, Reed 9 van Ditmarsch, Hans Pieter 9 Zdoms’kyĭ, Lyubomyr Sergiĭovych 8 Andréka, Hajnal 8 Andrews, Uri 8 Béziau, Jean-Yves 8 Carrara, Massimiliano 8 Chernikov, Artem 8 Conant, Gabriel 8 Csima, Barbara F. 8 Gabbay, Dov M. 8 Gherardi, Guido 8 Gitik, Moti 8 Grant, John R. 8 Hansson, Sven Ove 8 Horsten, Leon ...and 3,031 more Authors
all top 5

#### Cited in 316 Journals

 375 The Journal of Symbolic Logic 321 Studia Logica 304 Annals of Pure and Applied Logic 256 Journal of Philosophical Logic 232 Notre Dame Journal of Formal Logic 154 Archive for Mathematical Logic 140 The Review of Symbolic Logic 129 Synthese 111 Theoretical Computer Science 98 Journal of Applied Non-Classical Logics 79 History and Philosophy of Logic 79 The Bulletin of Symbolic Logic 63 Mathematical Logic Quarterly (MLQ) 57 Transactions of the American Mathematical Society 57 Logica Universalis 51 Israel Journal of Mathematics 48 Journal of Applied Logic 47 Information and Computation 46 Algebra Universalis 46 Journal of Logic, Language and Information 43 Artificial Intelligence 37 Journal of Mathematical Logic 36 Proceedings of the American Mathematical Society 35 Fuzzy Sets and Systems 33 Algebra and Logic 32 Logic and Logical Philosophy 31 International Journal of Approximate Reasoning 31 Annals of Mathematics and Artificial Intelligence 27 Erkenntnis 23 Advances in Mathematics 23 Soft Computing 22 Journal of Algebra 22 MSCS. Mathematical Structures in Computer Science 21 Topology and its Applications 19 Information Sciences 19 Journal of Pure and Applied Algebra 18 Bulletin of the Section of Logic 17 Archiv für Mathematische Logik und Grundlagenforschung 17 Logical Methods in Computer Science 16 Journal of Automated Reasoning 13 Order 13 Indagationes Mathematicae. New Series 13 Nôus 12 Siberian Mathematical Journal 12 Theory of Computing Systems 12 Topoi 11 International Journal of Theoretical Physics 11 Journal of Computer and System Sciences 11 Journal of Soviet Mathematics 10 Applied Categorical Structures 10 Foundations of Science 10 Lobachevskii Journal of Mathematics 9 Communications in Algebra 9 International Journal of General Systems 9 Mathematical Notes 9 Semigroup Forum 9 Proceedings of the Japan Academy 9 Computability 8 Fundamenta Mathematicae 8 Historia Mathematica 7 Discrete Mathematics 7 Rendiconti del Seminario Matematico della Università di Padova 6 Formal Aspects of Computing 6 Journal of Mathematical Sciences (New York) 6 The Journal of Logic and Algebraic Programming 5 Discrete Applied Mathematics 5 Theory and Decision 5 International Journal of Intelligent Systems 5 International Journal of Algebra and Computation 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 ACM Transactions on Computational Logic 5 Foundations of Physics 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 The Mathematical Intelligencer 4 Applied Mathematics and Computation 4 Illinois Journal of Mathematics 4 Memoirs of the American Mathematical Society 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 Journal of the Institute of Mathematics of Jussieu 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 4 Forum of Mathematics, Sigma 4 Journal of Logical and Algebraic Methods in Programming 4 Prikladnaya Diskretnaya Matematika 3 Moscow University Mathematics Bulletin 3 Ukrainian Mathematical Journal 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques ...and 216 more Journals
all top 5

#### Cited in 56 Fields

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