M. Randall Holmes

According to our database, M. Randall Holmes authored at least 20 papers between 1991 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2020

Acyclic Comprehension is equal to Stratified Comprehension.

Zuhair Al-Johar, M. Randall Holmes

CoRR, 2020

2019

Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic.

M. Randall Holmes

J. Philos. Log., 2019

2014

The Axiom Scheme of Acyclic Comprehension.

Zuhair Al-Johar, M. Randall Holmes, Nathan J. Bowler

Notre Dame J. Formal Log., 2014

On hereditarily small sets in ZF.

M. Randall Holmes

Math. Log. Q., 2014

2012

Alternative Set Theories.

M. Randall Holmes, Thomas E. Forster, Thierry Libert

Proceedings of the Sets and Extensions in the Twentieth Century, 2012

The Usual Model Construction for NFU Preserves Information.

M. Randall Holmes

Notre Dame J. Formal Log., 2012

2008

Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'.

M. Randall Holmes

Stud Logica, 2008

2005

The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory.

M. Randall Holmes

Stud Logica, 2005

2004

Paradoxes in Double Extension Set Theories.

M. Randall Holmes

Stud Logica, 2004

2003

Karel Lambert, Free Logic: Selected Essays.

M. Randall Holmes

Stud Logica, 2003

Polymorphic type checking for the ramified theory of types of Principia Mathematica.

M. Randall Holmes

Proceedings of the Mathematics, 2003

2001

Strong Axioms of Infinity in NFU.

M. Randall Holmes

J. Symb. Log., 2001

The Watson Theorem Prover.

M. Randall Holmes, Jim Alves-Foss

J. Autom. Reason., 2001

2000

A Strong and Mechanizable Grand Logic.

M. Randall Holmes

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999

Subsystems of Quine's "New Foundations" with Predicativity Restrictions.

M. Randall Holmes

Notre Dame J. Formal Log., 1999

1995

The Equivalence of NF-Style Set Theories with "Tangled" Type Theories; The Construction of omega-Models of Predicative NF (and More).

M. Randall Holmes

J. Symb. Log., 1995

Untyped lambda-Calculus with Relative Typing.

M. Randall Holmes

Proceedings of the Typed Lambda Calculi and Applications, 1995

Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2.

M. Randall Holmes

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1993

Systems of Combinatory Logic Related to Predicative and 'Mildly Impredicative' Fragments of Quine's 'New Foundations'.

M. Randall Holmes

Ann. Pure Appl. Log., 1993

1991

Systems of Combinatory Logic Related to Quine's 'New Foundations'.

M. Randall Holmes

Ann. Pure Appl. Log., 1991