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,552 Publications (since 1960) References Indexed: 614 Publications with 10,827 References. all top 5 Latest Issues 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) 39, No. 2 (1998) 39, No. 1 (1998) 38, No. 4 (1997) ...and 67 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. J. 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 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 Mortensen, Chris 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,554 more Authors all top 5 Fields 2,228 Mathematical logic and foundations (03-XX) 84 History and biography (01-XX) 82 Computer science (68-XX) 74 Order, lattices, ordered algebraic structures (06-XX) 51 General and overarching topics; collections (00-XX) 39 Combinatorics (05-XX) 33 General topology (54-XX) 31 Group theory and generalizations (20-XX) 23 Category theory; homological algebra (18-XX) 22 General algebraic systems (08-XX) 19 Number theory (11-XX) 18 Field theory and polynomials (12-XX) 18 Geometry (51-XX) 18 Probability theory and stochastic processes (60-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 Functional analysis (46-XX) 5 Quantum theory (81-XX) 4 Topological groups, Lie groups (22-XX) 4 Measure and integration (28-XX) 3 Associative rings and algebras (16-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Operator theory (47-XX) 3 Statistics (62-XX) 2 Commutative algebra (13-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Differential geometry (53-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 all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,307 Publications have been cited 6,837 times in 4,792 Documents Cited by ▼ Year ▼ On the theory of inconsistent formal systems. Zbl 0236.02022da Costa, Newton C. A. 119 1974 Multiset theory. Zbl 0668.03027Blizard, Wayne D. 90 1989 An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010Coppo, Mario; Dezani-Ciancaglini, Mariangiola 72 1980 A calculus of antinomics. Zbl 0145.00508Asenjo, Florencio G. 64 1966 A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Zbl 0695.03009Meyer, J.-J. Ch. 61 1988 On the strength of Ramsey’s theorem. Zbl 0843.03034Seetapun, David; Slaman, Theodore A. 59 1995 Some exact equiconsistency results in set theory. Zbl 0579.03039Harrington, Leo; Shelah, Saharon 44 1985 Expressiveness and completeness of an interval tense logic. Zbl 0725.03006Venema, Yde 43 1990 Degrees of categoricity and the hyperarithmetic hierarchy. Zbl 1311.03070Csima, Barbara F.; Franklin, Johanna N. Y.; Shore, Richard A. 42 2013 Computable models of theories with few models. Zbl 0891.03013Khoussainov, Bakhadyr; Nies, Andre; Shore, Richard A. 40 1997 A calculus of individuals based on ’connection’. Zbl 0438.03032Clarke, Bowman L. 39 1981 A semantical analysis of the calculi \(C_n\). Zbl 0349.02022Da Costa, Newton C. A.; Alves, Elias H. 34 1977 Impossible worlds: A modest approach. Zbl 0916.03013Nolan, Daniel 32 1997 The logic of non-contingency. Zbl 0833.03004Humberstone, I. L. 30 1995 In so many possible worlds. Zbl 0205.30306Fine, Kit 30 1972 A paradox regained. Zbl 0112.00409Kaplan, David; Montague, R. 29 1960 Minimal non-contingency logic. Zbl 0833.03005Kuhn, Steven T. 28 1995 Individuals and points. Zbl 0597.03005Clarke, Bowman L. 28 1985 Normal forms in modal logic. Zbl 0245.02025Fine, Kit 28 1975 Irrevocable belief revision in dynamic doxastic logic. Zbl 0972.03015Segerberg, Krister 28 1998 Notes on singular cardinal combinatorics. Zbl 1121.03053Cummings, James 28 2005 Expressive logics for coalgebras via terminal sequence induction. Zbl 1088.03031Pattinson, Dirk 27 2004 Intermediate logics and Visser’s rules. Zbl 1102.03032Iemhoff, Rosalie 27 2005 Classifications for inconsistent theories. Zbl 0305.02040Grant, John 27 1978 Quick completeness proofs for some logics of conditionals. Zbl 0416.03020Burgess, John P. 27 1981 Dp-minimality: basic facts and examples. Zbl 1258.03036Dolich, Alfred; Goodrick, John; Lippel, David 27 2011 A system of complete and consistent truth. Zbl 0828.03030Halbach, Volker 26 1994 On an implication connective of RM. Zbl 0613.03003Avron, Arnon 26 1986 Near coherence of filters. I: Cofinal equivalence of models of arithmetic. Zbl 0622.03040Blass, Andreas 26 1986 Limits for paraconsistent calculi. Zbl 1007.03028Carnielli, Walter A.; Marcos, João 25 1999 Probability logic. Zbl 0547.03018Hailperin, Theodore 25 1984 Forcing with sequences of models of two types. Zbl 1352.03054Neeman, Itay 25 2014 Second-order quantifiers and the complexity of theories. Zbl 0596.03033Baldwin, J. T.; Shelah, S. 24 1985 Basic predicate calculus. Zbl 0967.03005Ruitenburg, Wim 24 1998 A closer look at some subintuitionistic logics. Zbl 1034.03007Celani, Sergio; Jansana, Ramon 23 2001 Near coherence of filters. III: A simplified consistency proof. Zbl 0702.03030Blass, Andreas; Shelah, Saharon 23 1989 Dual-intuitionistic logic. Zbl 0869.03008Urbas, Igor 23 1996 Notes on the axiomatics of the propositional calculus. Zbl 0146.00801Meredith, C. A.; Prior, A. N. 23 1963 How incomputable is the separable Hahn-Banach theorem? Zbl 1223.03052Gherardi, Guido; Marcone, Alberto 23 2009 Logic of antinomies. Zbl 0246.02023Asenjo, F. G.; Tamburino, J. 22 1975 On interpretations of arithmetic and set theory. Zbl 1137.03019Kaye, Richard; Wong, Tin Lok 22 2007 Completeness and definability in the logic of noncontingency. Zbl 0989.03019Zolin, Evgeni E. 21 1999 Incompactness in regular cardinals. Zbl 0617.03025Shelah, Saharon 21 1985 On the consistency of the first-order portion of Frege’s logical system. Zbl 0637.03005Parsons, Terence 21 1987 Tableau methods of proof for modal logics. Zbl 0184.28102Fitting, Melvin 21 1972 Some embedding theorems for modal logic. Zbl 0193.29301Makinson, D. 21 1971 Is Hume’s principle analytic? Zbl 0968.03009Wright, Crispin 21 1999 The halting problem is decidable on a set of asymptotic probability one. Zbl 1137.03024Hamkins, Joel David; Miasnikov, Alexei 21 2006 Some puzzles of ground. Zbl 1256.03034Fine, Kit 21 2010 The \(K\)-degrees, low for \(K\) degrees, and weakly low for \(K\) sets. Zbl 1213.03053Miller, Joseph S. 21 2009 Subintuitionistic logics. Zbl 0811.03005Restall, Greg 20 1994 On generic structures. Zbl 0768.03010Kueker, D. W.; Laskowski, M. C. 20 1992 Modal definability in enriched languages. Zbl 0706.03016Goranko, Valentin 20 1990 A new semantics for positive modal logic. Zbl 0889.03014Celani, S.; Jansana, R. 19 1997 On a quasi-set theory. Zbl 0774.03032Krause, Décio 19 1992 Vapnik-Chervonenkis density in some theories without the independence property. II. Zbl 1436.03185Aschenbrenner, Matthias; Dolich, Alf; Haskell, Deirdre; Macpherson, Dugald; Starchenko, Sergei 19 2013 Equational classes of relative Stone algebras. Zbl 0212.01601Hecht, T.; Katriňak, T. 19 1972 Completeness of relevant quantification theories. Zbl 0272.02028Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues 19 1974 On the logic of ”few”, ”many”, and ”most”. Zbl 0299.02012Peterson, Philip L. 19 1979 Inaccessible worlds. Zbl 0487.03007Humberstone, I. L. 19 1983 Logical constants as punctuation marks. Zbl 0692.03003Došen, Kosta 19 1989 Analytic implication. Zbl 0621.03006Fine, Kit 19 1986 Growing commas. A study of sequentiality and concatenation. Zbl 1190.03052Visser, Albert 19 2009 Ontology in the Tractatus of L. Wittgenstein. Zbl 0198.32001Suszko, R. 18 1968 Logic, logics, and logicism. Zbl 0972.03005Feferman, Solomon 18 1999 Implication connectives in orthomodular lattices. Zbl 0262.02030Herman, L.; Marsden, E.; Piziak, R. 18 1975 Categoricity spectra for rigid structures. Zbl 1359.03030Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander 18 2016 The predicate modal logic of provability. Zbl 0549.03013Montagna, Franco 17 1984 The decision problem for linear temporal logic. Zbl 0573.03004Burgess, John P.; Gurevich, Yuri 17 1985 An exposition of Shelah’s ’main gap’: counting uncountable models of \(\omega\)-stable and superstable theories. Zbl 0589.03015Harrington, L.; Makkai, M. 17 1985 Investigations into the sentential calculus with identity. Zbl 0188.01203Bloom, Stephen L.; Suszko, Roman 17 1972 Unsolvable problems for equational theories. Zbl 0197.28201Perkins, Peter 17 1967 Material implications in orthomodular (and Boolean) lattices. Zbl 0438.03060Hardegree, Gary M. 17 1981 Degrees that are not degrees of categoricity. Zbl 1436.03229Anderson, Bernard; Csima, Barbara 17 2016 A note on logics of ignorance and borders. Zbl 1180.03017Steinsvold, Christopher 17 2008 Nominal tense logic. Zbl 0789.03018Blackburn, Patrick 16 1993 A certain conception of the calculus of rough sets. Zbl 0762.04001Bonikowski, Zbigniew 16 1992 Some results on intermediate constructive logics. Zbl 0692.03014Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele 16 1989 Connection structures: Grzegorczyk’s and Whitehead’s definitions of point. Zbl 0877.51006Biacino, Loredana; Gerla, Giangiacomo 16 1996 Tarski on logical consequences. Zbl 0855.03004Gómez-Torrente, Mario 15 1996 The price of universality. Zbl 0865.03032Hemaspaandra, Edith 15 1996 Connection structures. Zbl 0749.06004Biacino, Loredana; Gerla, Giangiacomo 15 1991 Extending intuitionistic linear logic with knotted structural rules. Zbl 0812.03008Hori, R.; Ono, H.; Schellinx, Harold 15 1994 Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003Fitting, Melvin 15 1986 Which modal logic is the right one? Zbl 0972.03018Burgess, John P. 15 1999 The simple consistency of a set theory based on the logic CSQ. Zbl 0488.03026Brady, Ross T. 15 1983 The modal logic of agreement and noncontingency. Zbl 1046.03008Humberstone, Lloyd 15 2002 On a family of paradoxes. Zbl 0112.00408Prior, A. N. 15 1961 A note on naive set theory in LP. Zbl 0768.03033Restall, Greg 14 1992 From classical to intuitionistic probability. Zbl 1069.60002Weatherson, Brian 14 2003 A decidable temporal logic of parallelism. Zbl 0904.03010Reynolds, Mark 14 1997 Axioms for tense logic. I: ’Since’ and ’until’. Zbl 0452.03021Burgess, John P. 14 1982 Peano’s smart children: A provability logical study of systems with built-in consistency. Zbl 0686.03033Visser, Albert 14 1989 Structural completeness in fuzzy logics. Zbl 1190.03027Cintula, Petr; Metcalfe, George 14 2009 Upward stability transfer for tame abstract elementary classes. Zbl 1113.03028Baldwin, John; Kueker, David; VanDieren, Monica 14 2006 A modal extension of intuitionist logic. Zbl 0137.24905Bull, R. A. 14 1965 On type definable subgroups of a stable group. Zbl 0747.03015Newelski, L. 13 1991 A smart child of Peano’s. Zbl 0815.03011Shavrukov, V. Yu. 13 1994 A minimal predicative set theory. Zbl 0816.03023Montagna, Franco; Mancini, Antonella 13 1994 Cofinalities of countable ultraproducts: The existence theorem. Zbl 0694.03029Canjar, R. Michael 13 1989 Typicality à la Russell in set theory. Zbl 07556130Tzouvaras, Athanassios 2 2022 Representations and the foundations of mathematics. Zbl 07522852Sanders, Sam 1 2022 Effectively constructible fixed points in Sacchetti’s modal logics of provability. Zbl 07522854Kurahashi, Taishi; Okawa, Yuya 1 2022 Some results on non-club isomorphic Aronszajn trees. Zbl 07522857Chavez, Jose; Krueger, John 1 2022 Characterizing counterfactuals and dependencies over (generalized) causal teams. Zbl 07598582Barbero, Fausto; Yang, Fan 1 2022 Sequent calculi for intuitionistic Gödel-Löb logic. Zbl 1490.03013van der Giessen, Iris; Iemhoff, Rosalie 4 2021 An incompleteness theorem for modal relevant logics. Zbl 07473065Standefer, Shawn 3 2021 Meaningless divisions. Zbl 07473052Szmuc, Damian; Ferguson, Thomas Macaulay 2 2021 Structural weakening and paradoxes. Zbl 07391981Da Ré, Bruno 2 2021 Effectiveness for the dual Ramsey theorem. Zbl 07473054Dzhafarov, Damir; Flood, Stephen; Solomon, Reed; Westrick, Linda 1 2021 \(\mathrm{IKT}^\omega\) and Łukasiewicz-models. Zbl 07391974Fjellstad, Andreas; Olsen, Jan-Fredrik 1 2021 The complexity of module radicals. Zbl 07391980Conidis, Chris J. 1 2021 Splittings and disjunctions in reverse mathematics. Zbl 1462.03009Sanders, Sam 6 2020 Questions and dependency in intuitionistic logic. Zbl 1453.03025Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan 5 2020 The complexity of radicals and socles of modules. Zbl 1484.03019Wu, Huishan 5 2020 Uniformly bounded arrays and mutually algebraic structures. Zbl 1484.03054Laskowski, Michael C.; Terry, Caroline A. 5 2020 Reverse mathematics of topology: dimension, paracompactness, and splittings. Zbl 1486.03023Sanders, Sam 4 2020 Short proofs for slow consistency. Zbl 1455.03078Freund, Anton; Pakhomov, Fedor 2 2020 Effective domination and the bounded jump. Zbl 1461.03035Ng, Keng Meng; Yu, Hongyuan 2 2020 On the proof of elimination of imaginaries in algebraically closed valued fields. Zbl 1485.03124Johnson, Will 2 2020 A remark on probabilistic measures of coherence. Zbl 1437.81010Oms, Sergi 1 2020 The logic of Turing progressions. Zbl 1452.03132Hermo Reyes, Eduardo; Joosten, Joost J. 1 2020 A note on FDE “all the way up”. Zbl 1481.03008Beall, Jc; Camrud, Caleb 1 2020 Distality for the asymptotic couple of the field of logarithmic transseries. Zbl 1484.03068Gehret, Allen; Kaplan, Elliot 1 2020 Projective games on the reals. Zbl 1486.03085Aguilera, Juan P.; Müller, Sandra 1 2020 Definable functions and stratifications in power-bounded \(T\)-convex fields. Zbl 1458.14063García Ramírez, Erick 1 2020 Tame topology over dp-minimal structures. Zbl 07060308Simon, Pierre; Walsberg, Erik 6 2019 On the degree structure of equivalence relations under computable reducibility. Zbl 1472.03039Ng, Keng Meng; Yu, Hongyuan 5 2019 Strong noncontingency: on the modal logics of an operator expressively weaker than necessity. Zbl 1441.03019Fan, Jie 4 2019 Adding a nonreflecting weakly compact set. Zbl 07120753Cody, Brent 4 2019 Noncontractive classical logic. Zbl 1472.03020Rosenblatt, Lucas 4 2019 A family of neighborhood contingency logics. Zbl 1444.03052Fan, Jie 4 2019 Layered posets and Kunen’s universal collapse. Zbl 07060307Cox, Sean 4 2019 More notions of forcing add a Souslin tree. Zbl 07120749Brodsky, Ari Meir; Rinot, Assaf 3 2019 Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories. Zbl 07060311Kruckman, Alex 3 2019 Residue field domination in real closed valued fields. Zbl 1479.03017Ealy, Clifton; Haskell, Deirdre; Maříková, Jana 2 2019 A simple criterion. (Un critère simple.) Zbl 1472.03034Blossier, Thomas; Martin-Pizarro, Amador 2 2019 \({\Pi}_1^0\)-encodability and omniscient reductions. Zbl 07060305Monin, Benoit; Patey, Ludovic 2 2019 Abstraction principles and the classification of second-order equivalence relations. Zbl 07060309Ebels-Duggan, Sean C. 2 2019 Tame expansions of \({\omega}\)-stable theories and definable groups. Zbl 07096535Göral, Haydar 2 2019 On \(n\)-dependence. Zbl 07096536Chernikov, Artem; Palacin, Daniel; Takeuchi, Kota 2 2019 Closed maximality principles and generalized Baire spaces. Zbl 07096538Lücke, Philipp 2 2019 A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers. Zbl 07096540Holliday, Wesley H. 2 2019 Conditionals and conditional probabilities without triviality. Zbl 1455.60007Pruss, Alexander R. 1 2019 Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions. Zbl 1472.03049Asperó, David; Hyttinen, Tapani; Kulikov, Vadim; Moreno, Miguel 1 2019 Coxeter groups and abstract elementary classes: the right-angled case. Zbl 1472.03032Hyttinen, Tapani; Paolini, Gianluca 1 2019 A modal logic of supervenience. Zbl 07096539Fan, Jie 1 2019 On superstable expansions of free abelian groups. Zbl 1455.03042Palacín, Daniel; Sklinos, Rizos 9 2018 On the uniform computational content of the Baire category theorem. Zbl 1455.03080Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P. 5 2018 Negation-free and contradiction-free proof of the Steiner-Lehmus theorem. Zbl 1455.03076Pambuccian, Victor 4 2018 Blurring: an approach to conflation. Zbl 1455.03037Ripley, David 4 2018 On the spectrum of characters of ultrafilters. Zbl 1455.03059Garti, Shimon; Magidor, Menachem; Shelah, Saharon 4 2018 Second-order logic of paradox. Zbl 1455.03032Hazen, Allen P.; Pelletier, Francis Jeffry 4 2018 Classifications of computable structures. Zbl 1455.03044Lange, Karen; Miller, Russell; Steiner, Rebecca M. 3 2018 Ostrowski numeration systems, addition, and finite automata. Zbl 1431.11017Hieronymi, Philipp; Terry, Alonza jun. 3 2018 Stable formulas in intuitionistic logic. Zbl 1456.03052Bezhanishvili, Nick; de Jongh, Dick 3 2018 Refining the taming of the reverse mathematics zoo. Zbl 1455.03015Sanders, Sam 3 2018 A long pseudo-comparison of premice in \(L[x]\). Zbl 1455.03066Schlutzenberg, Farmer 3 2018 Cardinality and acceptable abstraction. Zbl 1436.03029Cook, Roy T.; Linnebo, Øystein 2 2018 Ehrenfeucht’s lemma in set theory. Zbl 1455.03065Fuchs, Gunter; Gitman, Victoria; Hamkins, Joel David 2 2018 The logical strength of compositional principles. Zbl 1384.03037Heck, Richard G. jun. 1 2018 Invariance and definability, with and without equality. Zbl 1455.03003Bonnay, Denis; Engström, Fredrik 1 2018 The complexity of primes in computable unique factorization domains. Zbl 1400.03061Dzhafarov, Damir D.; Mileti, Joseph R. 1 2018 Two more characterizations of \(K\)-triviality. Zbl 1453.03041Greenberg, Noam; Miller, Joseph S.; Monin, Benoit; Turetsky, Daniel 1 2018 A problem in Pythagorean arithmetic. Zbl 1404.03033Pambuccian, Victor 1 2018 Nonreduction of relations in the Gromov space to Polish actions. Zbl 1455.03061López, Jesús A. Álvarez; Candel, Alberto 1 2018 Coding and definability in computable structures. Zbl 1455.03056Montalbán, Antonio 1 2018 The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\). Zbl 1455.03034Goudsmit, Jeroen P. 1 2018 Independence of the dual axiom in modal \(\mathbf{K}\) with primitive. Zbl 1396.03038Thomason, Richmond 1 2018 Set mappings on 4-tuples. Zbl 1455.03060Mohsenipour, Shahram; Shelah, Saharon 1 2018 Semigroups in stable structures. Zbl 1455.03046Halevi, Yatir 1 2018 A propositional theory of truth. Zbl 1455.03010Stephanou, Yannis 1 2018 Canjar filters. Zbl 1417.03247Guzmán, Osvaldo; Hrušák, Michael; Martínez-Celis, Arturo 9 2017 Locally finite reducts of Heyting algebras and canonical formulas. Zbl 1417.03198Bezhanishvili, Guram; Bezhanishvili, Nick 8 2017 Universal structures. Zbl 1417.03231Shelah, Saharon 7 2017 Disarming a paradox of validity. Zbl 1360.03028Field, Hartry 7 2017 Computing the number of types of infinite length. Zbl 1417.03232Boney, Will 7 2017 New degree spectra of abelian groups. Zbl 1423.03152Melnikov, Alexander G. 6 2017 Forking and dividing in Henson graphs. Zbl 1417.03229Conant, Gabriel 6 2017 Ramsey algebras and formal orderly terms. Zbl 1355.05244Teh, Wen Chean 6 2017 Prospects for a naive theory of classes. Zbl 1417.03272Field, Hartry; Lederman, Harvey; Øgaard, Tore Fjetland 5 2017 Ekman’s paradox. Zbl 1417.03288Schroeder-Heister, Peter; Tranchini, Luca 5 2017 Infinite computations with random oracles. Zbl 1417.03243Carl, Merlin; Schlicht, Philipp 4 2017 Randomness and semimeasures. Zbl 1417.03242Bienvenu, Laurent; Hölzl, Rupert; Porter, Christopher P.; Shafer, Paul 3 2017 A completed system for Robin Smith’s incomplete ecthetic syllogistic. Zbl 1380.03016Joray, Pierre 3 2017 Nonstandard functional interpretations and categorical models. Zbl 1431.03081Hadzihasanovic, 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.03252Zeman, Martin 3 2017 Infinitesimal comparisons: homomorphisms between Giordano’s ring and the hyperreal field. Zbl 1370.26058Reeder, Patrick 2 2017 Dunn-Priest quotients of many-valued structures. Zbl 1417.03178Ferguson, Thomas Macaulay 2 2017 Strange structures from computable model theory. Zbl 1417.03234Becker, Howard 2 2017 Normal numbers and limit computable Cantor series. Zbl 1417.03240Beros, Achilles; Beros, Konstantinos 1 2017 Why intuitionistic relevant logic cannot be a core logic. Zbl 1417.03128Vidal-Rosset, Joseph 1 2017 On polynomial-time relation reducibility. Zbl 1425.03015Gao, Su; Ziegler, Caleb 1 2017 Club-isomorphisms of Aronszajn trees in the extension with a Suslin tree. Zbl 1417.03267Yorioka, Teruyuki 1 2017 A diamond principle consistent with AD. Zbl 1417.03261Cunningham, Daniel 1 2017 Decidable fragments of the simple theory of types with infinity and NF. Zbl 1417.03271Dawar, Anuj; Forster, Thomas; McKenzie, Zachiri 1 2017 Selective and Ramsey ultrafilters on \(G\)-spaces. Zbl 1368.05150Petrenko, Oleksandr; Protasov, Igor 1 2017 Categoricity spectra for rigid structures. Zbl 1359.03030Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander 18 2016 Degrees that are not degrees of categoricity. Zbl 1436.03229Anderson, Bernard; Csima, Barbara 17 2016 Admissible rules and the Leibniz hierarchy. Zbl 1357.03041Raftery, James G. 8 2016 ...and 1029 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,512 Authors 93 Shelah, Saharon 31 Avron, Arnon 31 Bazhenov, Nikolaĭ Alekseevich 29 Visser, Albert 25 Downey, Rodney Graham 23 Humberstone, Lloyd 21 Baldwin, John T. 21 Montanari, Angelo 20 Patey, Ludovic 18 Dunn, Jon Michael 18 Sanders, Sam 17 Brattka, Vasco 17 Melnikov, Alexander G. 16 Bunder, Martin W. 16 Friedman, Sy-David 16 Hamkins, Joel David 16 Kurahashi, Taishi 16 Laskowski, Michael Chris 15 Iemhoff, Rosalie 15 Wansing, Heinrich Theodor 14 Arieli, Ofer 14 Balbiani, Philippe 14 Bimbó, Katalin 14 Sciavicco, Guido 14 Wolter, Frank 13 Andrews, Uri 13 Barmpalias, George 13 Bezhanishvili, Guram 13 Carnielli, Walter Alexandre 13 Fan, Jie 13 Greenberg, Noam 13 Petrukhin, Yaroslav Igorevich 13 Pillay, Anand 13 Stephan, Frank 13 van Benthem, Johan F. A. K. 13 Vasey, Sebastien 13 Voutsadakis, George 13 Zakharyaschev, Michael Viktorovich 12 Brady, Ross Thomas 12 Düntsch, Ivo 12 Dzhafarov, Damir D. 12 Fitting, Melvin Chris 12 Goldblatt, Robert Ian 12 Kalimullin, Iskander Shagitovich 12 Kesner, Delia 12 Krueger, John 12 Ng, KengMeng 12 Pauly, Arno M. 12 Raftery, James G. 12 Schmerl, James H. 12 Schröder, Lutz 12 van Ditmarsch, Hans Pieter 12 Zamansky, Anna 11 Bezhanishvili, Nick 11 Harrison-Trainor, Matthew 11 Jansana, Ramon 11 Ma, Minghui 11 Mares, Edwin D. 11 Novák, Vilém 11 Omori, Hitoshi 11 Peron, Adriano 11 Rybalov, Aleksandr Nikolaevich 11 Shapiro, Stewart 11 Sorbi, Andrea 11 Subrahmanian, V. S. 11 Tachtsis, Eleftherios 11 Vakarelov, Dimiter 11 van Bakel, Steffen 10 Chernikov, Artem 10 Ciucci, Davide 10 Conant, Gabriel 10 Cox, Sean D. 10 Da Costa, Newton Carneiro Affonso 10 Dezani-Ciancaglini, Mariangiola 10 Došen, Kosta 10 Font, Josep Maria 10 Kaplan, Itay 10 Marcos, João 10 Reynolds, Mark Alexander 10 Sala, Pietro 10 Weber, Zach 10 Zdoms’kyĭ, Lyubomyr Sergiĭovych 9 Andréka, Hajnal 9 Antonelli, Gian Aldo 9 Bagaria, Joan 9 Beall, Jc 9 Béziau, Jean-Yves 9 Csima, Barbara F. 9 Demri, Stéphane P. 9 Dubois, Didier 9 Gabbay, Dov M. 9 Gherardi, Guido 9 Grant, John R. 9 Harizanov, Valentina S. 9 Hodkinson, Ian Martin 9 Hyttinen, Tapani 9 Linnebo, Øystein 9 Macpherson, Dugald 9 Metcalfe, George 9 Meyer, Robert Kenneth ...and 3,412 more Authors all top 5 Cited in 347 Journals 412 The Journal of Symbolic Logic 339 Studia Logica 335 Annals of Pure and Applied Logic 287 Journal of Philosophical Logic 249 Notre Dame Journal of Formal Logic 174 Synthese 167 The Review of Symbolic Logic 163 Archive for Mathematical Logic 116 Theoretical Computer Science 100 Journal of Applied Non-Classical Logics 88 The Bulletin of Symbolic Logic 79 History and Philosophy of Logic 67 Transactions of the American Mathematical Society 64 Logica Universalis 63 Mathematical Logic Quarterly (MLQ) 57 Israel Journal of Mathematics 52 Journal of Logic, Language and Information 51 Information and Computation 49 Algebra Universalis 48 Journal of Applied Logic 46 Journal of Mathematical Logic 46 Logic and Logical Philosophy 45 Artificial Intelligence 42 Proceedings of the American Mathematical Society 38 International Journal of Approximate Reasoning 37 Algebra and Logic 37 Erkenntnis 35 Fuzzy Sets and Systems 34 Annals of Mathematics and Artificial Intelligence 30 Soft Computing 25 Advances in Mathematics 24 Journal of Algebra 24 MSCS. Mathematical Structures in Computer Science 24 Logical Methods in Computer Science 23 Topology and its Applications 21 Bulletin of the Section of Logic 20 Journal of Pure and Applied Algebra 19 Information Sciences 17 Archiv für Mathematische Logik und Grundlagenforschung 17 Journal of Automated Reasoning 13 Order 13 Indagationes Mathematicae. New Series 13 Computability 13 Nôus 12 Fundamenta Mathematicae 12 Siberian Mathematical Journal 12 Theory of Computing Systems 12 Topoi 12 Foundations of Science 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 ACM Transactions on Computational Logic 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 Journal of the European Mathematical Society (JEMS) 6 The Journal of Logic and Algebraic Programming 6 Logicheskie Issledovaniya 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 Institute of Mathematics of Jussieu 5 Journal of Logical and Algebraic Methods in Programming 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 ...and 247 more Journals all top 5 Cited in 57 Fields 4,138 Mathematical logic and foundations (03-XX) 788 Computer science (68-XX) 307 Order, lattices, ordered algebraic structures (06-XX) 206 History and biography (01-XX) 157 General topology (54-XX) 144 Group theory and generalizations (20-XX) 132 General and overarching topics; collections (00-XX) 128 Combinatorics (05-XX) 112 General algebraic systems (08-XX) 94 Category theory; homological algebra (18-XX) 69 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 65 Number theory (11-XX) 58 Field theory and polynomials (12-XX) 58 Quantum theory (81-XX) 47 Geometry (51-XX) 34 Probability theory and stochastic processes (60-XX) 31 Real functions (26-XX) 30 Measure and integration (28-XX) 25 Algebraic geometry (14-XX) 25 Associative rings and algebras (16-XX) 23 Dynamical systems and ergodic theory (37-XX) 23 Functional analysis (46-XX) 19 Commutative algebra (13-XX) 19 Information and communication theory, circuits (94-XX) 17 Statistics (62-XX) 11 Operations research, mathematical programming (90-XX) 11 Systems theory; control (93-XX) 10 Topological groups, Lie groups (22-XX) 10 Convex and discrete geometry (52-XX) 9 Nonassociative rings and algebras (17-XX) 9 Numerical analysis (65-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 8 Several complex variables and analytic spaces (32-XX) 8 Operator theory (47-XX) 8 Biology and other natural sciences (92-XX) 7 Functions of a complex variable (30-XX) 7 Differential geometry (53-XX) 7 Manifolds and cell complexes (57-XX) 6 Ordinary differential equations (34-XX) 6 Difference and functional equations (39-XX) 6 Abstract harmonic analysis (43-XX) 6 Algebraic topology (55-XX) 4 Sequences, series, summability (40-XX) 4 Statistical mechanics, structure of matter (82-XX) 4 Mathematics education (97-XX) 3 Special functions (33-XX) 3 Partial differential equations (35-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