Classifying Dini's Theorem

JOURNAL ARTICLE published 1 April 2006 in Notre Dame Journal of Formal Logic

Authors: Josef Berger | Peter Schuster

Self-implications in BCI

JOURNAL ARTICLE published 1 July 2008 in Notre Dame Journal of Formal Logic

Authors: Tomasz Kowalski

Complexity Ranks of Countable Models

JOURNAL ARTICLE published 1 January 2007 in Notre Dame Journal of Formal Logic

Authors: Su Gao

A Note on Counterexamples to the Vaught Conjecture

JOURNAL ARTICLE published 1 January 2007 in Notre Dame Journal of Formal Logic

Authors: Greg Hjorth

Mereology on Topological and Convergence Spaces

JOURNAL ARTICLE published 1 January 2013 in Notre Dame Journal of Formal Logic

Authors: Daniel R. Patten

A Note on Weakly O-Minimal Structures and Definable Completeness

JOURNAL ARTICLE published 1 April 2007 in Notre Dame Journal of Formal Logic

Authors: Alfred Dolich

Characterizing the Join-Irreducible Medvedev Degrees

JOURNAL ARTICLE published 1 January 2011 in Notre Dame Journal of Formal Logic

Authors: Paul Shafer

Numerical Abstraction via the Frege Quantifier

JOURNAL ARTICLE published 1 April 2010 in Notre Dame Journal of Formal Logic

Authors: G. Aldo Antonelli

Metalogic of Intuitionistic Propositional Calculus

JOURNAL ARTICLE published 1 October 2010 in Notre Dame Journal of Formal Logic

Authors: Alex Citkin

Mildness and the Density of Rational Points on Certain Transcendental Curves

JOURNAL ARTICLE published 1 January 2011 in Notre Dame Journal of Formal Logic

Authors: G. O. Jones | D. J. Miller | M. E. M. Thomas

Minimally Congruential Contexts: Observations and Questions on Embedding E in K

JOURNAL ARTICLE published 1 January 2012 in Notre Dame Journal of Formal Logic

Authors: Lloyd Humberstone

Six new sets of independent axioms for distributive lattices with $O$ and $I$.

JOURNAL ARTICLE published 1 January 1962 in Notre Dame Journal of Formal Logic

Authors: Bolesław Sobociński

Corrigendum and addendum to: ``A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice''.

JOURNAL ARTICLE published 1 January 1965 in Notre Dame Journal of Formal Logic

Authors: William J. Frascella

Depth of Boolean Algebras

JOURNAL ARTICLE published 1 July 2011 in Notre Dame Journal of Formal Logic

Authors: Shimon Garti | Saharon Shelah

A Covering Lemma for HOD of K(ℝ)

JOURNAL ARTICLE published 1 October 2010 in Notre Dame Journal of Formal Logic

Authors: Daniel W. Cunningham

Thoroughly Relativistic Perspectives

JOURNAL ARTICLE published 1 January 2012 in Notre Dame Journal of Formal Logic

Authors: Mark Ressler

Programming the functions of formal logic.

JOURNAL ARTICLE published 1 January 1962 in Notre Dame Journal of Formal Logic

Authors: S. Summersbee | A. Walters

On the Symmetric Enumeration Degrees

JOURNAL ARTICLE published 1 April 2007 in Notre Dame Journal of Formal Logic

Authors: Charles M. Harris

An Old Friend Revisited: Countable Models of ω-Stable Theories

JOURNAL ARTICLE published 1 January 2007 in Notre Dame Journal of Formal Logic

Authors: Michael C. Laskowski

Complexity of the $r$-query Tautologies in the Presence of a Generic Oracle

JOURNAL ARTICLE published 1 April 2000 in Notre Dame Journal of Formal Logic

Authors: Toshio Suzuki