M. Randall Holmes

21 papers Journal 16Unranked 4

Year	Rank	Type	Title / 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

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz