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

Four-valued Logic

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

Authors: Katalin Bimbó | J. Michael Dunn

Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic

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

Authors: M. W. Bunder | W. J. M. Dekkers

On Non-wellfounded Sets as Fixed Points of Substitutions

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

Authors: Tapani Hyttinen | Matti Pauna

Neat Embeddings, Omitting Types, and Interpolation: An Overview

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

Authors: Tarek Sayed Ahmed

BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas.

JOURNAL ARTICLE published 1 September 1993 in Notre Dame Journal of Formal Logic

Authors: Robert Cowen | Katherine Wyatt

Recursive Models and the Divisibility Poset

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

Authors: James H. Schmerl

The 3-Stratifiable Theorems of $mathit{NFU} infty$

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

Authors: Marcel Crabbé

Book Review: Stewart Shapiro. Foundations with foundationalism.

JOURNAL ARTICLE published 1 June 1993 in Notre Dame Journal of Formal Logic

Authors: Nino b. Cocchiarella

Book Review: Raymond Bradley. The nature of all being: A study of Wittgenstein's modal atomism.

JOURNAL ARTICLE published 1 December 1992 in Notre Dame Journal of Formal Logic

Authors: D. M. Armstrong

Two remarks on: The logic of significance and context. Vol. I [Halsted, New York, 1973].

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

Authors: Ross T. Brady

Saying It with Numerals

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

Authors: David Auerbach

A linearly ordered topological space that is not normal.

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

Authors: Melven Krom

Finite axiomatizability and theories with trivial algebraic closure.

JOURNAL ARTICLE published 1 March 1991 in Notre Dame Journal of Formal Logic

Authors: Dugald Macpherson

Book review: David H. Sanford. If P, then Q: Conditionals and the foundations of reasoning.

JOURNAL ARTICLE published 1 March 1992 in Notre Dame Journal of Formal Logic

Authors: Robert Stalnaker