The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Notre Dame Journal of Formal Logic"( http://dblp.L3S.de/Venues/Notre_Dame_Journal_of_Formal_Logic )

URL (DBLP): http://dblp.uni-trier.de/db/journals/ndjfl

Publication years (Num. hits)
1960 (21) 1961 (31) 1962 (41) 1963 (37) 1964 (38) 1965 (34) 1966 (38) 1967 (47) 1968 (42) 1969 (45) 1970 (53) 1971 (58) 1972 (80) 1973 (85) 1974 (82) 1975 (86) 1976 (86) 1977 (81) 1978 (85) 1979 (104) 1980 (65) 1981 (37) 1982 (40) 1983 (49) 1984 (36) 1985 (31) 1986 (46) 1987 (41) 1988 (48) 1989 (42) 1990 (45) 1991 (41) 1992 (51) 1993 (41) 1994 (39) 1995 (40) 1996 (34) 1997 (34) 1998 (41) 1999 (41) 2000 (21) 2001 (16) 2002 (17) 2003 (16) 2004 (15) 2005 (36) 2006 (38) 2007 (31) 2008 (29) 2009 (28) 2010 (32) 2011 (27) 2012 (36) 2013 (34) 2014 (32) 2015 (30) 2016 (34) 2017 (33) 2018 (35) 2019 (7)
Publication types (Num. hits)
article(2563)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 2563 publication records. Showing 2563 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alex Kruckman Disjoint n-Amalgamation and Pseudofinite Countably Categorical Theories. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sean Cox Layered Posets and Kunen's Universal Collapse. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Achilles Beros, Colin de la Higuera Teachers, Learners, and Oracles. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rutger Kuyper Levels of Uniformity. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sean Ebels-Duggan Abstraction Principles and the Classification of Second-Order Equivalence Relations. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre Simon, Erik Walsberg Tame Topology over dp-Minimal Structures. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benoit Monin, Ludovic Patey Π1-Encodability and Omniscient Reductions. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Allen P. Hazen, Francis Jeffry Pelletier Second-Order Logic of Paradox. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Liliana Badillo, Charles M. Harris, Mariya Ivanova Soskova Enumeration 1-Genericity in the Local Enumeration Degrees. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yatir Halevi Semigroups in Stable Structures. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Ripley Blurring: An Approach to Conflation. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 Errata. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shimon Garti, Menachem Magidor, Saharon Shelah On the Spectrum of Characters of Ultrafilters. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sam Sanders Refining the Taming of the Reverse Mathematics Zoo. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Noam Greenberg, Joseph S. Miller, Benoit Monin, Daniel Turetsky Two More Characterizations of K-Triviality. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeroen P. Goudsmit The Admissible Rules of BD2 and GSc. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1William H. Hanson Actualism, Serious Actualism, and Quantified Modal Logic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1James H. Schmerl More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roy T. Cook, Øystein Linnebo Cardinality and Acceptable Abstraction. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jesús A. Álvarez López, Alberto Candel Nonreduction of Relations in the Gromov Space to Polish Actions. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Karen Lange, Russell G. Miller, Rebecca M. Steiner Classifications of Computable Structures. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claribet Piña A Partition Theorem of ωωα. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Damir D. Dzhafarov, Joseph R. Mileti The Complexity of Primes in Computable Unique Factorization Domains. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Richmond Thomason Independence of the Dual Axiom in Modal K with Primitive ◊. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeffrey R. Schatz On the Status of Reflection and Conservativity in Replacement Theories of Truth. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer On the Uniform Computational Content of the Baire Category Theorem. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Thomas Hewitt A Note on Gabriel Uzquiano's "Varieties of Indefinite Extensibility". Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Hieronymi, Alonza Terry Jr. Ostrowski Numeration Systems, Addition, and Finite Automata. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Palacín, Rizos Sklinos On Superstable Expansions of Free Abelian Groups. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio Montalbán Coding and Definability in Computable Structures. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David R. Bélanger, Richard A. Shore On the Jumps of the Degrees Below a Recursively Enumerable Degree. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Enrique Casanovas, Joris Potier Stable Forking and Imaginaries. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Victor Pambuccian A Problem in Pythagorean Arithmetic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shahram Mohsenipour, Saharon Shelah Set Mappings on 4-Tuples. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Richard G. Heck Jr. The Logical Strength of Compositional Principles. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Denis Bonnay, Fredrik Engström Invariance and Definability, with and without Equality. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nick Bezhanishvili, Dick de Jongh Stable Formulas in Intuitionistic Logic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Farmer Schlutzenberg A Long Pseudo-Comparison of Premice in L[x]. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yannis Stephanou A Propositional Theory of Truth. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gunter Fuchs, Victoria Gitman, Joel David Hamkins Ehrenfeucht's Lemma in Set Theory. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Victor Pambuccian Negation-Free and Contradiction-Free Proof of the Steiner-Lehmus Theorem. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Neil Tennant On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Agi Kurucz Bimodal Logics with a "Weakly Connected" Component without the Finite Model Property. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tim Button Grades of Discrimination: Indiscernibility, Symmetry, and Relativity. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1 Editorial Notice. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pierre Joray A Completed System for Robin Smith's Incomplete Ecthetic Syllogistic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wen Chean Teh Ramsey Algebras and Formal Orderly Terms. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph Vidal-Rosset Why Intuitionistic Relevant Logic Cannot Be a Core Logic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hartry Field Disarming a Paradox of Validity. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Thomas Forster, Zachiri McKenzie Decidable Fragments of the Simple Theory of Types with Infinity and NF. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oleksandr Petrenko, Igor Protasov Selective and Ramsey Ultrafilters on G-spaces. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1 Erratum. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hartry Field, Harvey Lederman, Tore Fjetland Øgaard Prospects for a Naive Theory of Classes. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander G. Melnikov New Degree Spectra of Abelian Groups. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saharon Shelah Universal Structures. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Teruyuki Yorioka Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Brice Halimi Models as Universes. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Howard Becker Strange Structures from Computable Model Theory. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Osvaldo Guzmán González, Michael Hrusák, Arturo Martínez-Celis Canjar Filters. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guram Bezhanishvili, Nick Bezhanishvili Locally Finite Reducts of Heyting Algebras and Canonical Formulas. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ruggero Pagnan Concrete Fibrations. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patrick Reeder Infinitesimal Comparisons: Homomorphisms between Giordano's Ring and the Hyperreal Field. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Su Gao, Caleb Ziegler On Polynomial-Time Relation Reducibility. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Zeman Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Macaulay Ferguson Dunn-Priest Quotients of Many-Valued Structures. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laurent Bienvenu, Rupert Hölzl 0001, Christopher P. Porter, Paul Shafer Randomness and Semimeasures. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Achilles Beros, Konstantinos Beros Normal Numbers and Limit Computable Cantor Series. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Schroeder-Heister, Luca Tranchini Ekman's Paradox. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Merlin Carl, Philipp Schlicht Infinite Computations with Random Oracles. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastien Vasey Indiscernible Extraction and Morley Sequences. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel W. Cunningham A Diamond Principle Consistent with AD. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Owen Griffiths Inferentialism and Quantification. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gabriel Conant Forking and Dividing in Henson Graphs. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amar Hadzihasanovic, Benno van den Berg Nonstandard Functional Interpretations and Categorical Models. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Will Boney Computing the Number of Types of Infinite Length. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rosalie Iemhoff, George Metcalfe Special Issue on Admissible Rules and Unification. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Horst Herrlich, Paul E. Howard, Eleftherios Tachtsis Finiteness Classes and Small Violations of Choice. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radek Honzik, Jonathan Verner A Lifting Argument for the Generalized Grigorieff Forcing. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tomoyuki Suzuki The Distributivity on Bi-Approximation Semantics. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Florian Pelupessy Phase Transition Results for Three Ramsey-Like Theorems. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sune Kristian Jakobsen, Jakob Grue Simonsen Some Remarks on Real Numbers Induced by First-Order Spectra. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Neil Tennant Rule-Irredundancy and the Sequent Calculus for Core Logic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Costas Dimitracopoulos, Vasileios S. Paschalis End Extensions of Models of Weak Arithmetic Theories. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jafar S. Eivazloo, Somayyeh Tari SCE-Cell Decomposition and OCP in Weakly O-Minimal Structures. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg Boolean Algebras in Visser Algebras. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bernard A. Anderson, Barbara F. Csima Degrees That Are Not Degrees of Categoricity. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wojciech Dzik, Piotr Wojtylak Modal Consequence Relations Extending S4.3: An Application of Projective Unification. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Wintein From Closure Games to Strong Kleene Truth. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jared Corduan, Marcia J. Groszek Reverse Mathematics and Ramsey Properties of Partial Orderings. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1James G. Raftery Admissible Rules and the Leibniz Hierarchy. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rosalie Iemhoff A Syntactic Approach to Unification in Transitive Reflexive Modal Logics. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jonathan Stephenson Controlling Effective Packing Dimension of Δ02 Degrees. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Hofweber, Ralf Schindler Hyperreal-Valued Probability Measures Approximating a Real-Valued Measure. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joanna Golinska-Pilarek, Taneli Huuskonen Non-Fregean Propositional Logic with Quantifiers. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christina Goddard Improving a Bounding Result That Constructs Models of High Scott Rank. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alex Citkin Algebraic Logic Perspective on Prucnal's Substitution. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elia Zardini Restriction by Noncontraction. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lloyd Humberstone Note on Extending Congruential Modal Logics. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ekaterina B. Fokina, Andrey Frolov, Iskander Sh. Kalimullin Categoricity Spectra for Rigid Structures. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kristine Harjes, Pavel Naumov Functional Dependence in Strategic Games. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2563 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license