M. Randall Holmes

21 papers Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Synonymy Questions Concerning the Quine Systems.
J. Symb. Log.
Thomas Forster, M. Randall Holmes
2020 J jnl
Acyclic Comprehension is equal to Stratified Comprehension.
CoRR
Zuhair Al-Johar, M. Randall Holmes
2019 J jnl
Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic.
J. Philos. Log.
M. Randall Holmes
2014 J jnl
On hereditarily small sets in ZF.
Math. Log. Q.
M. Randall Holmes
2014 J jnl
The Axiom Scheme of Acyclic Comprehension.
Notre Dame J. Formal Log.
Zuhair Al-Johar, M. Randall Holmes, Nathan J. Bowler
2012 — ch.
Alternative Set Theories.
Sets and Extensions in the Twentieth Century
M. Randall Holmes, Thomas E. Forster, Thierry Libert
2012 J jnl
The Usual Model Construction for NFU Preserves Information.
Notre Dame J. Formal Log.
M. Randall Holmes
2008 J jnl
Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'.
Stud Logica
M. Randall Holmes
2005 J jnl
The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory.
Stud Logica
M. Randall Holmes
2004 J jnl
Paradoxes in Double Extension Set Theories.
Stud Logica
M. Randall Holmes
2003 J jnl
Karel Lambert, Free Logic: Selected Essays.
Stud Logica
M. Randall Holmes
2003 — conf
Polymorphic type checking for the ramified theory of types of Principia Mathematica.
Mathematics, Logic and Computation @ ICALP
M. Randall Holmes
2001 J jnl
Strong Axioms of Infinity in NFU.
J. Symb. Log.
M. Randall Holmes
2001 J jnl
The Watson Theorem Prover.
J. Autom. Reason.
M. Randall Holmes, Jim Alves-Foss
2000 — conf
A Strong and Mechanizable Grand Logic.
TPHOLs
M. Randall Holmes
1999 J jnl
Subsystems of Quine's "New Foundations" with Predicativity Restrictions.
Notre Dame J. Formal Log.
M. Randall Holmes
1995 — conf
Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2.
RTA
M. Randall Holmes
1995 J jnl
The Equivalence of NF-Style Set Theories with "Tangled" Type Theories; The Construction of omega-Models of Predicative NF (and More).
J. Symb. Log.
M. Randall Holmes
1995 — conf
Untyped lambda-Calculus with Relative Typing.
TLCA
M. Randall Holmes
1993 J jnl
Systems of Combinatory Logic Related to Predicative and 'Mildly Impredicative' Fragments of Quine's 'New Foundations'.
Ann. Pure Appl. Log.
M. Randall Holmes
1991 J jnl
Systems of Combinatory Logic Related to Quine's 'New Foundations'.
Ann. Pure Appl. Log.
M. Randall Holmes