M. Randall Holmes - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2019

Representation of Functions and Total Antisymmetric Relations in Monadic Third Order LogicM. Randall Holmes. jphil, 48(2):263-278, 2019. [doi]

2014

The Axiom Scheme of Acyclic ComprehensionZuhair Al-Johar, M. Randall Holmes, Nathan Bowler. ndjfl, 55(1):11-24, 2014. [doi]

On hereditarily small sets in ZFM. Randall Holmes. mlq, 60(3):228-229, 2014. [doi]

2012

The Usual Model Construction for NFU Preserves InformationM. Randall Holmes. ndjfl, 53(4):571-580, 2012. [doi]

Alternative Set TheoriesM. Randall Holmes, Thomas E. Forster, Thierry Libert. In Dov M. Gabbay, Akihiro Kanamori, John Woods, editors, Sets and Extensions in the Twentieth Century. Volume 6 of Handbook of the History of Logic, pages 559-632, Elsevier, 2012. [doi]

2008

Symmetry as a Criterion for Comprehension Motivating Quine s New Foundations M. Randall Holmes. sLogica, 88(2):195-213, 2008. [doi]

2005

The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set TheoryM. Randall Holmes. sLogica, 79(3):357-372, 2005. [doi]

2004

Paradoxes in Double Extension Set TheoriesM. Randall Holmes. sLogica, 77(1):41-57, 2004. [doi]

2003

Karel Lambert, Free Logic: Selected EssaysM. Randall Holmes. sLogica, 75(3):413-419, 2003. [doi]

Polymorphic type checking for the ramified theory of types of Principia MathematicaM. Randall Holmes. ENTCS, 85(7):125-145, 2003. [doi]

2001

Strong Axioms of Infinity in NFUM. Randall Holmes. JSYML, 66(1):87-116, 2001.

The Watson Theorem ProverM. Randall Holmes, Jim Alves-Foss. JAR, 26(4):357-408, 2001.

2000

A Strong and Mechanizable Grand LogicM. Randall Holmes. tphol 2000: 283-300

1999

Subsystems of Quine s New Foundations with Predicativity RestrictionsM. Randall Holmes. ndjfl, 40(2):183-196, 1999.

1995

Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2M. Randall Holmes. RTA 1995: 432-437

Untyped lambda-Calculus with Relative TypingM. Randall Holmes. tlca 1995: 235-248

The Equivalence of NF-Style Set Theories with Tangled Type Theories; The Construction of omega-Models of Predicative NF (and More)M. Randall Holmes. JSYML, 60(1):178-190, 1995.

1993

Systems of Combinatory Logic Related to Predicative and Mildly Impredicative Fragments of Quine s New Foundations M. Randall Holmes. APAL, 59(1):45-53, 1993.

1991

Systems of Combinatory Logic Related to Quine s New Foundations M. Randall Holmes. APAL, 53(2):103-133, 1991.

Sign in or sign up to see more results.

runs on WebDSL