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 Shore, Richard A. 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 ...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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,248 Publications have been cited 5,620 times in 4,196 Documents Cited by ▼ Year ▼ On the theory of inconsistent formal systems. Zbl 0236.02022da Costa, Newton C. A. 105 1974 Multiset theory. Zbl 0668.03027Blizard, Wayne D. 72 1989 An extension of basic functionality theory for \(\lambda\)-calculus. Zbl 0423.03010Coppo, Mario; Dezani-Ciancaglini, Mariangiola 64 1980 A calculus of antinomics. Zbl 0145.00508Asenjo, Florencio G. 58 1966 A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Zbl 0695.03009Meyer, J.-J. Ch. 53 1988 On the strength of Ramsey’s theorem. Zbl 0843.03034Seetapun, David; Slaman, Theodore A. 50 1995 Some exact equiconsistency results in set theory. Zbl 0579.03039Harrington, Leo; Shelah, Saharon 41 1985 Degrees of categoricity and the hyperarithmetic hierarchy. Zbl 1311.03070Csima, Barbara F.; Franklin, Johanna N. Y.; Shore, Richard A. 38 2013 Computable models of theories with few models. Zbl 0891.03013Khoussainov, Bakhadyr; Nies, Andre; Shore, Richard A. 36 1997 A calculus of individuals based on ’connection’. Zbl 0438.03032Clarke, Bowman L. 35 1981 Expressiveness and completeness of an interval tense logic. Zbl 0725.03006Venema, Yde 35 1990 A paradox regained. Zbl 0112.00409Kaplan, David; Montague, R. 29 1960 A semantical analysis of the calculi \(C_n\). Zbl 0349.02022Da Costa, Newton C. A.; Alves, Elias H. 28 1977 Irrevocable belief revision in dynamic doxastic logic. Zbl 0972.03015Segerberg, Krister 26 1998 Individuals and points. Zbl 0597.03005Clarke, Bowman L. 26 1985 Intermediate logics and Visser’s rules. Zbl 1102.03032Iemhoff, Rosalie 25 2005 Near coherence of filters. I: Cofinal equivalence of models of arithmetic. Zbl 0622.03040Blass, Andreas 25 1986 Normal forms in modal logic. Zbl 0245.02025Fine, Kit 25 1975 A system of complete and consistent truth. Zbl 0828.03030Halbach, Volker 24 1994 On an implication connective of RM. Zbl 0613.03003Avron, Arnon 24 1986 Classifications for inconsistent theories. Zbl 0305.02040Grant, John 24 1978 In so many possible worlds. Zbl 0205.30306Fine, Kit 24 1972 The logic of non-contingency. Zbl 0833.03004Humberstone, I. L. 22 1995 Probability logic. Zbl 0547.03018Hailperin, Theodore 22 1984 Near coherence of filters. III: A simplified consistency proof. Zbl 0702.03030Blass, Andreas; Shelah, Saharon 22 1989 Notes on singular cardinal combinatorics. Zbl 1121.03053Cummings, James 22 2005 Notes on the axiomatics of the propositional calculus. Zbl 0146.00801Meredith, C. A.; Prior, A. N. 22 1963 Quick completeness proofs for some logics of conditionals. Zbl 0416.03020Burgess, John P. 22 1981 Second-order quantifiers and the complexity of theories. Zbl 0596.03033Baldwin, J. T.; Shelah, S. 21 1985 Incompactness in regular cardinals. Zbl 0617.03025Shelah, Saharon 21 1985 Dp-minimality: basic facts and examples. Zbl 1258.03036Dolich, Alfred; Goodrick, John; Lippel, David 21 2011 How incomputable is the separable Hahn-Banach theorem? Zbl 1223.03052Gherardi, Guido; Marcone, Alberto 21 2009 Impossible worlds: A modest approach. Zbl 0916.03013Nolan, Daniel 20 1997 Dual-intuitionistic logic. Zbl 0869.03008Urbas, Igor 20 1996 Minimal non-contingency logic. Zbl 0833.03005Kuhn, Steven T. 20 1995 Expressive logics for coalgebras via terminal sequence induction. Zbl 1088.03031Pattinson, Dirk 20 2004 On the consistency of the first-order portion of Frege’s logical system. Zbl 0637.03005Parsons, Terence 20 1987 Logic of antinomies. Zbl 0246.02023Asenjo, F. G.; Tamburino, J. 20 1975 The halting problem is decidable on a set of asymptotic probability one. Zbl 1137.03024Hamkins, Joel David; Miasnikov, Alexei 20 2006 On generic structures. Zbl 0768.03010Kueker, D. W.; Laskowski, M. C. 19 1992 The \(K\)-degrees, low for \(K\) degrees, and weakly low for \(K\) sets. Zbl 1213.03053Miller, Joseph S. 19 2009 Completeness of relevant quantification theories. Zbl 0272.02028Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues 19 1974 Forcing with sequences of models of two types. Zbl 1352.03054Neeman, Itay 19 2014 On interpretations of arithmetic and set theory. Zbl 1137.03019Kaye, Richard; Wong, Tin Lok 18 2007 Some embedding theorems for modal logic. Zbl 0193.29301Makinson, D. 18 1971 Ontology in the Tractatus of L. Wittgenstein. Zbl 0198.32001Suszko, R. 18 1968 Basic predicate calculus. Zbl 0967.03005Ruitenburg, Wim 17 1998 Limits for paraconsistent calculi. Zbl 1007.03028Carnielli, Walter A.; Marcos, João 17 1999 A closer look at some subintuitionistic logics. Zbl 1034.03007Celani, Sergio; Jansana, Ramon 17 2001 Logical constants as punctuation marks. Zbl 0692.03003Došen, Kosta 17 1989 Modal definability in enriched languages. Zbl 0706.03016Goranko, Valentin 17 1990 Inaccessible worlds. Zbl 0487.03007Humberstone, I. L. 17 1983 Tableau methods of proof for modal logics. Zbl 0184.28102Fitting, Melvin 17 1972 Equational classes of relative Stone algebras. Zbl 0212.01601Hecht, T.; Katriňak, T. 17 1972 Vapnik-Chervonenkis density in some theories without the independence property. II. Zbl 1436.03185Aschenbrenner, Matthias; Dolich, Alf; Haskell, Deirdre; Macpherson, Dugald; Starchenko, Sergei 17 2013 On a quasi-set theory. Zbl 0774.03032Krause, Décio 17 1992 Completeness and definability in the logic of noncontingency. Zbl 0989.03019Zolin, Evgeni E. 16 1999 Degrees that are not degrees of categoricity. Zbl 1436.03229Anderson, Bernard; Csima, Barbara 16 2016 Analytic implication. Zbl 0621.03006Fine, Kit 16 1986 An exposition of Shelah’s ’main gap’: counting uncountable models of \(\omega\)-stable and superstable theories. Zbl 0589.03015Harrington, L.; Makkai, M. 16 1985 Unsolvable problems for equational theories. Zbl 0197.28201Perkins, Peter 16 1967 Is Hume’s principle analytic? Zbl 0968.03009Wright, Crispin 15 1999 Logic, logics, and logicism. Zbl 0972.03005Feferman, Solomon 15 1999 A new semantics for positive modal logic. Zbl 0889.03014Celani, S.; Jansana, R. 15 1997 Tarski on logical consequences. Zbl 0855.03004Gómez-Torrente, Mario 15 1996 Categoricity spectra for rigid structures. Zbl 1359.03030Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander 15 2016 The decision problem for linear temporal logic. Zbl 0573.03004Burgess, John P.; Gurevich, Yuri 15 1985 Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003Fitting, Melvin 15 1986 Nominal tense logic. Zbl 0789.03018Blackburn, Patrick 14 1993 Extending intuitionistic linear logic with knotted structural rules. Zbl 0812.03008Hori, R.; Ono, H.; Schellinx, Harold 14 1994 Connection structures: Grzegorczyk’s and Whitehead’s definitions of point. Zbl 0877.51006Biacino, Loredana; Gerla, Giangiacomo 14 1996 The price of universality. Zbl 0865.03032Hemaspaandra, Edith 14 1996 Peano’s smart children: A provability logical study of systems with built-in consistency. Zbl 0686.03033Visser, Albert 14 1989 A note on naive set theory in LP. Zbl 0768.03033Restall, Greg 14 1992 On the logic of ”few”, ”many”, and ”most”. Zbl 0299.02012Peterson, Philip L. 14 1979 Upward stability transfer for tame abstract elementary classes. Zbl 1113.03028Baldwin, John; Kueker, David; VanDieren, Monica 14 2006 Material implications in orthomodular (and Boolean) lattices. Zbl 0438.03060Hardegree, Gary M. 14 1981 Some puzzles of ground. Zbl 1256.03034Fine, Kit 14 2010 Growing commas. A study of sequentiality and concatenation. Zbl 1190.03052Visser, Albert 14 2009 Subintuitionistic logics. Zbl 0811.03005Restall, Greg 13 1994 A smart child of Peano’s. Zbl 0815.03011Shavrukov, V. Yu. 13 1994 The predicate modal logic of provability. Zbl 0549.03013Montagna, Franco 13 1984 Connection structures. Zbl 0749.06004Biacino, Loredana; Gerla, Giangiacomo 13 1991 A certain conception of the calculus of rough sets. Zbl 0762.04001Bonikowski, Zbigniew 13 1992 A remark on negation in dependence logic. Zbl 1216.03048Kontinen, Juha; Väänänen, Jouko 13 2011 The modal logic of agreement and noncontingency. Zbl 1046.03008Humberstone, Lloyd 12 2002 A decidable temporal logic of parallelism. Zbl 0904.03010Reynolds, Mark 12 1997 From classical to intuitionistic probability. Zbl 1069.60002Weatherson, Brian 12 2003 Modality and possibility in some intuitionistic modal logics. Zbl 0638.03017Font, Josep M. 12 1986 Reflections on Church’s thesis. Zbl 0649.03001Kleene, Stephen C. 12 1987 Some results on intermediate constructive logics. Zbl 0692.03014Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele 12 1989 Embedding Brouwer algebra in the Medvedev lattice. Zbl 0737.06009Sorbi, Andrea 12 1991 On type definable subgroups of a stable group. Zbl 0747.03015Newelski, L. 12 1991 The simple consistency of a set theory based on the logic CSQ. Zbl 0488.03026Brady, Ross T. 12 1983 A modal extension of intuitionist logic. Zbl 0137.24905Bull, R. A. 12 1965 Investigations into the sentential calculus with identity. Zbl 0188.01203Bloom, Stephen L.; Suszko, Roman 12 1972 Implication connectives in orthomodular lattices. Zbl 0262.02030Herman, L.; Marsden, E.; Piziak, R. 12 1975 Negative membership. Zbl 0731.03027Blizard, Wayne D. 12 1990 Which modal logic is the right one? Zbl 0972.03018Burgess, John P. 11 1999 A minimal predicative set theory. Zbl 0816.03023Montagna, Franco; Mancini, Antonella 11 1994 On the proof of elimination of imaginaries in algebraically closed valued fields. Zbl 07319330Johnson, Will 2 2020 Splittings and disjunctions in reverse mathematics. Zbl 1462.03009Sanders, Sam 2 2020 The complexity of radicals and socles of modules. Zbl 07196096Wu, Huishan 2 2020 Short proofs for slow consistency. Zbl 1455.03078Freund, Anton; Pakhomov, Fedor 1 2020 Questions and dependency in intuitionistic logic. Zbl 1453.03025Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan 1 2020 A remark on probabilistic measures of coherence. Zbl 1437.81010Oms, Sergi 1 2020 Effective domination and the bounded jump. Zbl 1461.03035Ng, Keng Meng; Yu, Hongyuan 1 2020 Uniformly bounded arrays and mutually algebraic structures. Zbl 07222691Laskowski, Michael C.; Terry, Caroline A. 1 2020 A note on FDE “all the way up”. Zbl 07222692Beall, Jc; Camrud, Caleb 1 2020 On the degree structure of equivalence relations under computable reducibility. Zbl 07167766Ng, Keng Meng; Yu, Hongyuan 3 2019 Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories. Zbl 07060311Kruckman, Alex 3 2019 More notions of forcing add a Souslin tree. Zbl 07120749Brodsky, Ari Meir; Rinot, Assaf 3 2019 Adding a nonreflecting weakly compact set. Zbl 07120753Cody, Brent 3 2019 Noncontractive classical logic. Zbl 07167758Rosenblatt, Lucas 2 2019 Layered posets and Kunen’s universal collapse. Zbl 07060307Cox, Sean 2 2019 \({\Pi}_1^0\)-encodability and omniscient reductions. Zbl 07060305Monin, Benoit; Patey, Ludovic 1 2019 Tame topology over dp-minimal structures. Zbl 07060308Simon, Pierre; Walsberg, Erik 1 2019 Abstraction principles and the classification of second-order equivalence relations. Zbl 07060309Ebels-Duggan, Sean C. 1 2019 Tame expansions of \({\omega}\)-stable theories and definable groups. Zbl 07096535Göral, Haydar 1 2019 On \(n\)-dependence. Zbl 07096536Chernikov, Artem; Palacin, Daniel; Takeuchi, Kota 1 2019 Closed maximality principles and generalized Baire spaces. Zbl 07096538Lücke, Philipp 1 2019 A modal logic of supervenience. Zbl 07096539Fan, Jie 1 2019 Residue field domination in real closed valued fields. Zbl 07120745Ealy, Clifton; Haskell, Deirdre; Maříková, Jana 1 2019 Strong noncontingency: on the modal logics of an operator expressively weaker than necessity. Zbl 1441.03019Fan, Jie 1 2019 Conditionals and conditional probabilities without triviality. Zbl 1455.60007Pruss, Alexander R. 1 2019 On superstable expansions of free abelian groups. Zbl 1455.03042Palacín, Daniel; Sklinos, Rizos 6 2018 Classifications of computable structures. Zbl 1455.03044Lange, Karen; Miller, Russell; Steiner, Rebecca M. 3 2018 Stable formulas in intuitionistic logic. Zbl 1456.03052Bezhanishvili, Nick; de Jongh, Dick 3 2018 On the spectrum of characters of ultrafilters. Zbl 1455.03059Garti, Shimon; Magidor, Menachem; Shelah, Saharon 3 2018 Second-order logic of paradox. Zbl 1455.03032Hazen, Allen P.; Pelletier, Francis Jeffry 3 2018 Blurring: an approach to conflation. Zbl 1455.03037Ripley, David 3 2018 Negation-free and contradiction-free proof of the Steiner-Lehmus theorem. Zbl 1455.03076Pambuccian, Victor 2 2018 Refining the taming of the reverse mathematics zoo. Zbl 1455.03015Sanders, Sam 2 2018 On the uniform computational content of the Baire category theorem. Zbl 1455.03080Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P. 2 2018 Ostrowski numeration systems, addition, and finite automata. Zbl 1431.11017Hieronymi, Philipp; Terry, Alonza jun. 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 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 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 Locally finite reducts of Heyting algebras and canonical formulas. Zbl 1417.03198Bezhanishvili, Guram; Bezhanishvili, Nick 8 2017 Canjar filters. Zbl 1417.03247Guzmán, Osvaldo; Hrušák, Michael; Martínez-Celis, Arturo 7 2017 Computing the number of types of infinite length. Zbl 1417.03232Boney, Will 6 2017 Forking and dividing in Henson graphs. Zbl 1417.03229Conant, Gabriel 5 2017 Ramsey algebras and formal orderly terms. Zbl 1355.05244Teh, Wen Chean 5 2017 Universal structures. Zbl 1417.03231Shelah, Saharon 5 2017 New degree spectra of abelian groups. Zbl 1423.03152Melnikov, Alexander G. 4 2017 Infinite computations with random oracles. Zbl 1417.03243Carl, Merlin; Schlicht, Philipp 4 2017 Prospects for a naive theory of classes. Zbl 1417.03272Field, Hartry; Lederman, Harvey; Øgaard, Tore Fjetland 3 2017 Ekman’s paradox. Zbl 1417.03288Schroeder-Heister, Peter; Tranchini, Luca 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 Disarming a paradox of validity. Zbl 1360.03028Field, Hartry 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 Randomness and semimeasures. Zbl 1417.03242Bienvenu, Laurent; Hölzl, Rupert; Porter, Christopher P.; Shafer, Paul 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 Strange structures from computable model theory. Zbl 1417.03234Becker, Howard 1 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 Degrees that are not degrees of categoricity. Zbl 1436.03229Anderson, Bernard; Csima, Barbara 16 2016 Categoricity spectra for rigid structures. Zbl 1359.03030Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander 15 2016 Admissible rules and the Leibniz hierarchy. Zbl 1357.03041Raftery, James G. 6 2016 Algebraicity and implicit definability in set theory. Zbl 1436.03264Hamkins, Joel David; Leahy, Cole 4 2016 Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor. Zbl 1358.68272Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara 3 2016 End extensions of models of weak arithmetic theories. Zbl 1436.03302Dimitracopoulos, Costas; Paschalis, Vasileios S. 3 2016 Restriction by noncontraction. Zbl 1417.03110Zardini, Elia 3 2016 Modal consequence relations extending S4.3: an application of projective unification. Zbl 1403.03029Dzik, Wojciech; Wojtylak, Piotr 2 2016 Note on extending congruential modal logics. Zbl 1350.03018Humberstone, Lloyd 2 2016 Hyperreal-valued probability measures approximating a real-valued measure. Zbl 1385.60008Hofweber, Thomas; Schindler, Ralf 2 2016 A syntactic approach to unification in transitive reflexive modal logics. Zbl 1436.03133Iemhoff, Rosalie 2 2016 Non-Fregean propositional logic with quantifiers. Zbl 1396.03070Golińska-Pilarek, Joanna; Huuskonen, Taneli 2 2016 An abelian rule for BCI – and variations. Zbl 1403.03039Kowalski, Tomasz; Humberstone, Lloyd 1 2016 Reverse mathematics and Ramsey properties of partial orderings. Zbl 1353.03007Corduan, Jared; Groszek, Marcia 1 2016 Controlling effective packing dimension of \(\Delta_2^0\) degrees. Zbl 1352.03048Stephenson, Jonathan 1 2016 Rule-irredundancy and the sequent calculus for core logic. Zbl 1403.03117Tennant, Neil 1 2016 Boolean algebras in Visser algebras. Zbl 1347.03105Alizadeh, Majid; Ardeshir, Mohammad; Ruitenburg, Wim 1 2016 Implicit definability in arithmetic. Zbl 1401.03082Simpson, Stephen G. 1 2016 Functional dependence in strategic games. Zbl 1397.91020Harjes, Kristine; Naumov, Pavel 1 2016 Finiteness classes and small violations of choice. Zbl 1436.03255Herrlich, Horst; Howard, Paul; Tachtsis, Eleftherios 1 2016 A lifting argument for the generalized Grigorieff forcing. Zbl 1350.03036Honzík, Radek; Verner, Jonathan 1 2016 Semantic completeness of first-order theories in constructive reverse mathematics. Zbl 1403.03122Espíndola, Christian 1 2016 Why ramify? Zbl 1322.03010Hodes, Harold T. 5 2015 Indiscernibles, EM-types, and Ramsey classes of trees. Zbl 1334.03035Scow, Lynn 4 2015 Rudimentary recursion, gentle functions and provident sets. Zbl 1371.03061Mathias, A. R. D.; Bowler, N. J. 3 2015 Varieties of indefinite extensibility. Zbl 1372.03015Uzquiano, Gabriel 3 2015 The thin set theorem for pairs implies DNR. Zbl 1372.03028Rice, Brian 3 2015 Pseudofinite and pseudocompact metric structures. Zbl 1334.03036Goldbring, Isaac; Lopes, Vinicius Cifú 3 2015 The arithmetics of a theory. Zbl 1350.03045Visser, Albert 2 2015 Naive infinitism: the case for an inconsistency approach to infinite collections. Zbl 1371.03011Meadows, Toby 2 2015 Semi-isolation and the strict order property. Zbl 1372.03058Sudoplatov, Sergey; Tanović, Predrag 2 2015 Vapnik-Chervonenkis density on indiscernible sequences, stability, and the maximum property. Zbl 1372.03064Johnson, Hunter 2 2015 ...and 971 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,120 Authors 87 Shelah, Saharon 29 Avron, Arnon 27 Bazhenov, Nikolaĭ Alekseevich 27 Visser, Albert 22 Downey, Rodney Graham 21 Humberstone, Lloyd 20 Baldwin, John T. 19 Montanari, Angelo 16 Dunn, Jon Michael 16 Melnikov, Alexander G. 15 Brattka, Vasco 15 Bunder, Martin W. 15 Patey, Ludovic 15 Wansing, Heinrich Theodor 14 Hamkins, Joel David 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 Iemhoff, Rosalie 12 Kurahashi, Taishi 12 Petrukhin, Yaroslav Igorevich 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 Pillay, Anand 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 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 Greenberg, Noam 9 Harizanov, Valentina S. 9 Hodkinson, Ian Martin 9 Hyttinen, Tapani 9 Meyer, Robert Kenneth 9 Mildenberger, Heike 9 Montalbán, Antonio 9 Peron, Adriano 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 Csima, Barbara F. 8 Gabbay, Dov M. 8 Gherardi, Guido 8 Gitik, Moti 8 Hansson, Sven Ove 8 Horsten, Leon 8 Katz, Mikhail G. 8 Knight, Julia F. 8 Kurucz, Agi 8 Leitgeb, Hannes ...and 3,020 more Authors all top 5 Cited in 313 Journals 375 The Journal of Symbolic Logic 321 Studia Logica 303 Annals of Pure and Applied Logic 253 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 96 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 36 Proceedings of the American Mathematical Society 35 Fuzzy Sets and Systems 33 Algebra and Logic 33 Journal of Mathematical 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 16 Journal of Automated Reasoning 14 Logical Methods in Computer Science 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 213 more Journals all top 5 Cited in 56 Fields 3,639 Mathematical logic and foundations (03-XX) 682 Computer science (68-XX) 269 Order, lattices, ordered algebraic structures (06-XX) 192 History and biography (01-XX) 143 General topology (54-XX) 128 Group theory and generalizations (20-XX) 117 General and overarching topics; collections (00-XX) 110 Combinatorics (05-XX) 104 General algebraic systems (08-XX) 81 Category theory; homological algebra (18-XX) 62 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 Dynamical systems and ergodic theory (37-XX) 21 Associative rings and algebras (16-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) Citations by Year