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: Journal; Indexed cover-to-cover; This journal is available open access. Documents Indexed: 2,573 Publications (since 1960) References Indexed: 635 Publications with 11,271 References. all top 5 Latest Issues 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) 39, No. 3 (1998) ...and 70 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,574 more Authors all top 5 Fields 2,254 Mathematical logic and foundations (03-XX) 84 History and biography (01-XX) 83 Computer science (68-XX) 75 Order, lattices, ordered algebraic structures (06-XX) 56 General and overarching topics; collections (00-XX) 38 Combinatorics (05-XX) 33 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 Geometry (51-XX) 18 Field theory and polynomials (12-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) 5 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 all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,352 Publications have been cited 7,546 times in 5,306 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. 97 1989 An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010 Coppo, Mario; Dezani-Ciancaglini, Mariangiola 80 1980 A calculus of antinomics. Zbl 0145.00508 Asenjo, Florencio G. 69 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. 62 1995 Some exact equiconsistency results in set theory. Zbl 0579.03039 Harrington, Leo; Shelah, Saharon 47 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. 43 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. 40 1981 A semantical analysis of the calculi \(C_n\). Zbl 0349.02022 Da Costa, Newton C. A.; Alves, Elias H. 38 1977 Irrevocable belief revision in dynamic doxastic logic. Zbl 0972.03015 Segerberg, Krister 36 1998 Impossible worlds: A modest approach. Zbl 0916.03013 Nolan, Daniel 36 1997 The logic of non-contingency. Zbl 0833.03004 Humberstone, I. L. 34 1995 In so many possible worlds. Zbl 0205.30306 Fine, Kit 33 1972 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. 31 1995 A paradox regained. Zbl 0112.00409 Kaplan, David; Montague, R. 31 1960 Dp-minimality: basic facts and examples. Zbl 1258.03036 Dolich, Alfred; Goodrick, John; Lippel, David 30 2011 Intermediate logics and Visser’s rules. Zbl 1102.03032 Iemhoff, Rosalie 30 2005 Notes on singular cardinal combinatorics. Zbl 1121.03053 Cummings, James 29 2005 Normal forms in modal logic. Zbl 0245.02025 Fine, Kit 29 1975 On an implication connective of RM. Zbl 0613.03003 Avron, Arnon 29 1986 Near coherence of filters. I: Cofinal equivalence of models of arithmetic. Zbl 0622.03040 Blass, Andreas 29 1986 Expressive logics for coalgebras via terminal sequence induction. Zbl 1088.03031 Pattinson, Dirk 29 2004 Forcing with sequences of models of two types. Zbl 1352.03054 Neeman, Itay 29 2014 Individuals and points. Zbl 0597.03005 Clarke, Bowman L. 28 1985 Dual-intuitionistic logic. Zbl 0869.03008 Urbas, Igor 28 1996 Probability logic. Zbl 0547.03018 Hailperin, Theodore 27 1984 A closer look at some subintuitionistic logics. Zbl 1034.03007 Celani, Sergio; Jansana, Ramon 27 2001 Tableau methods of proof for modal logics. Zbl 0184.28102 Fitting, Melvin 27 1972 Some puzzles of ground. Zbl 1256.03034 Fine, Kit 26 2010 A system of complete and consistent truth. Zbl 0828.03030 Halbach, Volker 26 1994 Second-order quantifiers and the complexity of theories. Zbl 0596.03033 Baldwin, J. T.; Shelah, S. 26 1985 Limits for paraconsistent calculi. Zbl 1007.03028 Carnielli, Walter A.; Marcos, João 26 1999 How incomputable is the separable Hahn-Banach theorem? Zbl 1223.03052 Gherardi, Guido; Marcone, Alberto 26 2009 On interpretations of arithmetic and set theory. Zbl 1137.03019 Kaye, Richard; Wong, Tin Lok 25 2007 Basic predicate calculus. Zbl 0967.03005 Ruitenburg, Wim 25 1998 Completeness and definability in the logic of noncontingency. Zbl 0989.03019 Zolin, Evgeni E. 25 1999 Near coherence of filters. III: A simplified consistency proof. Zbl 0702.03030 Blass, Andreas; Shelah, Saharon 25 1989 Logical constants as punctuation marks. Zbl 0692.03003 Došen, Kosta 24 1989 On generic structures. Zbl 0768.03010 Kueker, D. W.; Laskowski, M. C. 24 1992 Notes on the axiomatics of the propositional calculus. Zbl 0146.00801 Meredith, C. A.; Prior, A. N. 23 1963 Some embedding theorems for modal logic. Zbl 0193.29301 Makinson, D. 23 1971 Logic of antinomies. Zbl 0246.02023 Asenjo, F. G.; Tamburino, J. 23 1975 Subintuitionistic logics. Zbl 0811.03005 Restall, Greg 23 1994 A note on logics of ignorance and borders. Zbl 1180.03017 Steinsvold, Christopher 22 2008 Is Hume’s principle analytic? Zbl 0968.03009 Wright, Crispin 22 1999 Modal definability in enriched languages. Zbl 0706.03016 Goranko, Valentin 22 1990 The \(K\)-degrees, low for \(K\) degrees, and weakly low for \(K\) sets. Zbl 1213.03053 Miller, Joseph S. 22 2009 On the consistency of the first-order portion of Frege’s logical system. Zbl 0637.03005 Parsons, Terence 21 1987 The halting problem is decidable on a set of asymptotic probability one. Zbl 1137.03024 Hamkins, Joel David; Miasnikov, Alexei 21 2006 Growing commas. A study of sequentiality and concatenation. Zbl 1190.03052 Visser, Albert 21 2009 Implication connectives in orthomodular lattices. Zbl 0262.02030 Herman, L.; Marsden, E.; Piziak, R. 21 1975 Completeness of relevant quantification theories. Zbl 0272.02028 Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues 21 1974 Incompactness in regular cardinals. Zbl 0617.03025 Shelah, Saharon 21 1985 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 Equational classes of relative Stone algebras. Zbl 0212.01601 Hecht, T.; Katriňak, T. 20 1972 Investigations into the sentential calculus with identity. Zbl 0188.01203 Bloom, Stephen L.; Suszko, Roman 20 1972 Analytic implication. Zbl 0621.03006 Fine, Kit 20 1986 Material implications in orthomodular (and Boolean) lattices. Zbl 0438.03060 Hardegree, Gary M. 20 1981 Ontology in the Tractatus of L. Wittgenstein. Zbl 0198.32001 Suszko, Roman 20 1968 Inaccessible worlds. Zbl 0487.03007 Humberstone, I. L. 19 1983 Some results on intermediate constructive logics. Zbl 0692.03014 Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele 19 1989 A new semantics for positive modal logic. Zbl 0889.03014 Celani, S.; Jansana, R. 19 1997 Logic, logics, and logicism. Zbl 0972.03005 Feferman, Solomon 19 1999 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 The price of universality. Zbl 0865.03032 Hemaspaandra, Edith 19 1996 Nominal tense logic. Zbl 0789.03018 Blackburn, Patrick 19 1993 Categoricity spectra for rigid structures. Zbl 1359.03030 Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander 19 2016 The predicate modal logic of provability. Zbl 0549.03013 Montagna, Franco 18 1984 Structural completeness in fuzzy logics. Zbl 1190.03027 Cintula, Petr; Metcalfe, George 18 2009 On a family of paradoxes. Zbl 0112.00408 Prior, A. N. 18 1961 Degrees that are not degrees of categoricity. Zbl 1436.03229 Anderson, Bernard; Csima, Barbara 18 2016 Which modal logic is the right one? Zbl 0972.03018 Burgess, John P. 17 1999 The decision problem for linear temporal logic. Zbl 0573.03004 Burgess, John P.; Gurevich, Yuri 17 1985 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 From classical to intuitionistic probability. Zbl 1069.60002 Weatherson, Brian 17 2003 Unsolvable problems for equational theories. Zbl 0197.28201 Perkins, Peter 17 1967 Upward stability transfer for tame abstract elementary classes. Zbl 1113.03028 Baldwin, John; Kueker, David; VanDieren, Monica 16 2006 Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003 Fitting, Melvin 16 1986 Connection structures: Grzegorczyk’s and Whitehead’s definitions of point. Zbl 0877.51006 Biacino, Loredana; Gerla, Giangiacomo 16 1996 The simple consistency of a set theory based on the logic CSQ. Zbl 0488.03026 Brady, Ross T. 15 1983 The modal logic of agreement and noncontingency. Zbl 1046.03008 Humberstone, Lloyd 15 2002 Extending intuitionistic linear logic with knotted structural rules. Zbl 0812.03008 Hori, R.; Ono, H.; Schellinx, Harold 15 1994 Connection structures. Zbl 0749.06004 Biacino, Loredana; Gerla, Giangiacomo 15 1991 A note on naive set theory in LP. Zbl 0768.03033 Restall, Greg 15 1992 Axioms for tense logic. I: ’Since’ and ’until’. Zbl 0452.03021 Burgess, John P. 15 1982 Tarski on logical consequences. Zbl 0855.03004 Gómez-Torrente, Mario 15 1996 Peano’s smart children: A provability logical study of systems with built-in consistency. Zbl 0686.03033 Visser, Albert 14 1989 A decidable temporal logic of parallelism. Zbl 0904.03010 Reynolds, Mark 14 1997 Adding closed unbounded subsets of \(\omega_2\) with finite forcing. Zbl 1095.03038 Mitchell, William J. 14 2005 A modal extension of intuitionist logic. Zbl 0137.24905 Bull, R. A. 14 1965 Neo-Fregeanism: an embarrassment of riches. Zbl 1071.03006 Weir, Alan 14 2003 Cofinalities of countable ultraproducts: The existence theorem. Zbl 0694.03029 Canjar, R. Michael 14 1989 Nested sequents for intuitionistic logics. Zbl 1327.03006 Fitting, Melvin 14 2014 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 2 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 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 Full satisfaction classes, definability, and automorphisms. Zbl 07556128 Wcisło, Bartosz 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 Poly-connexivity: connexive conjunction and disjunction. Zbl 07598583 Francez, Nissim 1 2022 On stable quotients. Zbl 1515.03154 Krupiński, Krzysztof; Portillo, Adrián 1 2022 An incompleteness theorem for modal relevant logics. Zbl 07473065 Standefer, Shawn 6 2021 Effectiveness for the dual Ramsey theorem. Zbl 1508.03078 Dzhafarov, Damir; Flood, Stephen; Solomon, Reed; Westrick, Linda 5 2021 Sequent calculi for intuitionistic Gödel-Löb logic. Zbl 1490.03013 van der Giessen, Iris; Iemhoff, Rosalie 5 2021 Meaningless divisions. Zbl 07473052 Szmuc, Damian; Ferguson, Thomas Macaulay 4 2021 Structural weakening and paradoxes. Zbl 07391981 Da Ré, Bruno 4 2021 Nondefinability of rings of integers in most algebraic fields. Zbl 1486.12009 Dittmann, Philip; Fehm, Arno 2 2021 The complexity of module radicals. Zbl 07391980 Conidis, Chris J. 2 2021 What problem did Ladd-Franklin (think she) solve(d)? Zbl 1486.01048 Uckelman, Sara L. 1 2021 Supercompactness can be equiconsistent with measurability. Zbl 07473061 Trang, Nam 1 2021 Cut elimination for systems of transparent truth with restricted initial sequents. Zbl 07473062 Nicolai, Carlo 1 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 07391974 Fjellstad, Andreas; Olsen, Jan-Fredrik 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 Uniformly bounded arrays and mutually algebraic structures. Zbl 1484.03054 Laskowski, Michael C.; Terry, Caroline A. 6 2020 Reverse mathematics of topology: dimension, paracompactness, and splittings. Zbl 1486.03023 Sanders, Sam 6 2020 On the proof of elimination of imaginaries in algebraically closed valued fields. Zbl 1485.03124 Johnson, Will 4 2020 Distality for the asymptotic couple of the field of logarithmic transseries. Zbl 1484.03068 Gehret, Allen; Kaplan, Elliot 3 2020 Projective games on the reals. Zbl 1486.03085 Aguilera, Juan P.; Müller, Sandra 3 2020 Effective domination and the bounded jump. Zbl 1461.03035 Ng, Keng Meng; Yu, Hongyuan 2 2020 Short proofs for slow consistency. Zbl 1455.03078 Freund, Anton; Pakhomov, Fedor 2 2020 Definable functions and stratifications in power-bounded \(T\)-convex fields. Zbl 1458.14063 García Ramírez, Erick 2 2020 A note on FDE “all the way up”. Zbl 1481.03008 Beall, Jc; Camrud, Caleb 1 2020 Formal notes on the substitutional analysis of logical consequence. Zbl 1506.03026 Halbach, Volker 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 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 Prospects for a theory of decycling. Zbl 1472.03008 Litland, Jon Erling 1 2020 On \(n\)-dependence. Zbl 07096536 Chernikov, Artem; Palacin, Daniel; Takeuchi, Kota 8 2019 Tame topology over dp-minimal structures. Zbl 07060308 Simon, Pierre; Walsberg, Erik 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 07120749 Brodsky, Ari Meir; Rinot, Assaf 6 2019 Noncontractive classical logic. Zbl 1472.03020 Rosenblatt, Lucas 6 2019 On the degree structure of equivalence relations under computable reducibility. Zbl 1472.03039 Ng, Keng Meng; Yu, Hongyuan 6 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 07120753 Cody, Brent 5 2019 Layered posets and Kunen’s universal collapse. Zbl 07060307 Cox, Sean 5 2019 A family of neighborhood contingency logics. Zbl 1444.03052 Fan, Jie 5 2019 Tame expansions of \({\omega}\)-stable theories and definable groups. Zbl 07096535 Göral, Haydar 5 2019 \({\Pi}_1^0\)-encodability and omniscient reductions. Zbl 07060305 Monin, Benoit; Patey, Ludovic 3 2019 Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories. Zbl 07060311 Kruckman, Alex 3 2019 A simple criterion. (Un critère simple.) Zbl 1472.03034 Blossier, Thomas; Martin-Pizarro, Amador 3 2019 A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers. Zbl 07096540 Holliday, Wesley H. 3 2019 Abstraction principles and the classification of second-order equivalence relations. Zbl 07060309 Ebels-Duggan, Sean C. 2 2019 Closed maximality principles and generalized Baire spaces. Zbl 07096538 Lücke, Philipp 2 2019 A modal logic of supervenience. Zbl 07096539 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 07120754 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 Stable formulas in intuitionistic logic. Zbl 1456.03052 Bezhanishvili, Nick; de Jongh, Dick 6 2018 Second-order logic of paradox. Zbl 1455.03032 Hazen, Allen P.; Pelletier, Francis Jeffry 6 2018 Blurring: an approach to conflation. Zbl 1455.03037 Ripley, David 5 2018 On the uniform computational content of the Baire category theorem. Zbl 1455.03080 Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P. 5 2018 Negation-free and contradiction-free proof of the Steiner-Lehmus theorem. Zbl 1455.03076 Pambuccian, Victor 4 2018 Ostrowski numeration systems, addition, and finite automata. Zbl 1431.11017 Hieronymi, Philipp; Terry, Alonza jun. 4 2018 On the spectrum of characters of ultrafilters. Zbl 1455.03059 Garti, Shimon; Magidor, Menachem; Shelah, Saharon 4 2018 Refining the taming of the reverse mathematics zoo. Zbl 1455.03015 Sanders, Sam 4 2018 Classifications of computable structures. Zbl 1455.03044 Lange, Karen; Miller, Russell; Steiner, Rebecca M. 3 2018 Cardinality and acceptable abstraction. Zbl 1436.03029 Cook, Roy T.; Linnebo, Øystein 3 2018 Ehrenfeucht’s lemma in set theory. Zbl 1455.03065 Fuchs, Gunter; Gitman, Victoria; Hamkins, Joel David 3 2018 A long pseudo-comparison of premice in \(L[x]\). Zbl 1455.03066 Schlutzenberg, Farmer 3 2018 Two more characterizations of \(K\)-triviality. Zbl 1453.03041 Greenberg, Noam; Miller, Joseph S.; Monin, Benoit; Turetsky, Daniel 2 2018 Set mappings on 4-tuples. Zbl 1455.03060 Mohsenipour, Shahram; Shelah, Saharon 2 2018 Enumeration 1-genericity in the local enumeration degrees. Zbl 1455.03054 Badillo, Liliana; Harris, Charles M.; Soskova, Mariya I. 2 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 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 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 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 13 2017 Universal structures. Zbl 1417.03231 Shelah, Saharon 10 2017 Locally finite reducts of Heyting algebras and canonical formulas. Zbl 1417.03198 Bezhanishvili, Guram; Bezhanishvili, Nick 9 2017 Forking and dividing in Henson graphs. Zbl 1417.03229 Conant, Gabriel 7 2017 ...and 1064 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,808 Authors 99 Shelah, Saharon 33 Bazhenov, Nikolaĭ Alekseevich 32 Avron, Arnon 30 Visser, Albert 27 Downey, Rodney Graham 24 Montanari, Angelo 23 Baldwin, John T. 23 Humberstone, Lloyd 22 Patey, Ludovic 19 Dunn, Jon Michael 19 Melnikov, Alexander G. 19 Sanders, Sam 18 Brattka, Vasco 18 Wansing, Heinrich Theodor 17 Hamkins, Joel David 17 Kurahashi, Taishi 17 Laskowski, Michael Chris 16 Bunder, Martin W. 16 Fan, Jie 16 Friedman, Sy-David 16 Iemhoff, Rosalie 16 Ma, Minghui 16 Wolter, Frank 15 Arieli, Ofer 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 Bezhanishvili, Guram 14 Dzhafarov, Damir D. 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 Barmpalias, George 13 Bezhanishvili, Nick 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 Jansana, Ramon 12 Mares, Edwin D. 12 Ng, KengMeng 12 Novák, Vilém 12 Omori, Hitoshi 12 Rinot, Assaf 12 Schmerl, James H. 12 Sorbi, Andrea 12 Subrahmanian, V. S. 12 Zamansky, Anna 11 Chernikov, Artem 11 Conant, Gabriel 11 Da Costa, Newton Carneiro Affonso 11 Dezani-Ciancaglini, Mariangiola 11 Font, Josep Maria 11 Harrison-Trainor, Matthew 11 Marcos, João 11 Mildenberger, Heike 11 Montalbán, Antonio 11 Moraschini, Tommaso 11 Rump, Wolfgang 11 Rybalov, Aleksandr Nikolaevich 11 Sala, Pietro 11 Vakarelov, Dimiter 11 van Bakel, Steffen 11 Zdoms’kyĭ, Lyubomyr Sergiĭovych 10 Bagaria, Joan 10 Bozzelli, Laura 10 Celani, Sergio Arturo 10 Chakraborty, Mihir Kumar 10 Ciucci, Davide 10 Cox, Sean D. 10 Došen, Kosta 10 Harizanov, Valentina S. 10 Hodkinson, Ian Martin 10 Kamide, Norihiro 10 Méndez, José M. 10 Metcalfe, George 10 Reynolds, Mark Alexander 10 Ripley, David 10 Rossi, Lorenzo Paolo 10 Rott, Hans ...and 3,708 more Authors all top 5 Cited in 368 Journals 428 The Journal of Symbolic Logic 351 Annals of Pure and Applied Logic 346 Studia Logica 306 Journal of Philosophical Logic 258 Notre Dame Journal of Formal Logic 216 Synthese 184 The Review of Symbolic Logic 178 Archive for Mathematical Logic 116 Theoretical Computer Science 114 Mathematical Logic Quarterly (MLQ) 105 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 48 Journal of Applied Logic 47 Artificial Intelligence 43 Proceedings of the American Mathematical Society 42 International Journal of Approximate Reasoning 38 Fuzzy Sets and Systems 37 Algebra and Logic 37 Erkenntnis 34 Bulletin of the Section of Logic 34 Annals of Mathematics and Artificial Intelligence 30 Soft Computing 27 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 Journal of Pure and Applied Algebra 20 Journal of Automated Reasoning 19 Information Sciences 17 Archiv für Mathematische Logik und Grundlagenforschung 15 Fundamenta Mathematicae 15 Computability 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 Journal of Computer and System Sciences 11 Journal of Soviet Mathematics 11 Logicheskie Issledovaniya 10 Mathematical Notes 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 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 Mathematical Proceedings of the Cambridge Philosophical Society 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 268 more Journals all top 5 Cited in 58 Fields 4,606 Mathematical logic and foundations (03-XX) 858 Computer science (68-XX) 331 Order, lattices, ordered algebraic structures (06-XX) 234 History and biography (01-XX) 170 General topology (54-XX) 153 General and overarching topics; collections (00-XX) 153 Group theory and generalizations (20-XX) 141 Combinatorics (05-XX) 119 General algebraic systems (08-XX) 99 Category theory; homological algebra (18-XX) 77 Number theory (11-XX) 72 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 67 Field theory and polynomials (12-XX) 66 Quantum theory (81-XX) 52 Geometry (51-XX) 38 Probability theory and stochastic processes (60-XX) 33 Measure and integration (28-XX) 31 Real functions (26-XX) 28 Algebraic geometry (14-XX) 28 Associative rings and algebras (16-XX) 27 Dynamical systems and ergodic theory (37-XX) 27 Functional analysis (46-XX) 22 Commutative algebra (13-XX) 21 Information and communication theory, circuits (94-XX) 19 Statistics (62-XX) 11 Differential geometry (53-XX) 11 Operations research, mathematical programming (90-XX) 11 Systems theory; control (93-XX) 10 Topological groups, Lie groups (22-XX) 10 Several complex variables and analytic spaces (32-XX) 10 Operator theory (47-XX) 10 Convex and discrete geometry (52-XX) 10 Numerical analysis (65-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 Manifolds and cell complexes (57-XX) 8 Biology and other natural sciences (92-XX) 7 Ordinary differential equations (34-XX) 7 Abstract harmonic analysis (43-XX) 7 Algebraic topology (55-XX) 5 Difference and functional equations (39-XX) 5 Sequences, series, summability (40-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