M. Randall Holmes

Available identifiers

zbMath Open holmes.m-randallMaRDI QIDQ190346

List of research outcomes

Publication	Date of Publication	Type
Acyclic Comprehension is equal to Stratified Comprehension	2020-10-07	Paper
Representation of functions and total antisymmetric relations in monadic third order logic	2019-06-17	Paper
A System of Dependent Types, with an Implementation and a Philosophy	2016-07-06	Paper
NF is Consistent	2015-03-04	Paper
On hereditarily small sets in ZF	2014-06-06	Paper
The axiom scheme of acyclic comprehension	2014-04-04	Paper
Polymorphic type-checking for the ramified theory of types of Principia Mathematica	2013-06-06	Paper
The usual model construction for NFU preserves information	2012-11-29	Paper
Alternative Set Theories	2012-10-12	Paper
The Urysohn space embeds in Banach spaces in just one way	2008-08-06	Paper
Symmetry as a criterion for comprehension motivating Quine's `New Foundations'	2008-04-23	Paper
The structure of the ordinals and the interpretation of ZF in double extension set theory	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q3024838	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4664923	2005-04-09	Paper
Paradoxes in double extension set theories	2004-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4428892	2003-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4781606	2003-07-02	Paper
Foundations of mathematics in polymorphic type theory	2002-09-16	Paper
Strong axioms of infinity in NFU	2002-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q2754050	2001-11-11	Paper
Subsystems of Quine's ``New Foundations with predicativity restrictions	2001-07-17	Paper
The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more)	1995-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4289237	1995-01-24	Paper
Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4020553	1993-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4004707	1992-09-27	Paper
Systems of combinatory logic related to Quine's `New Foundations'	1991-01-01	Paper

Research outcomes over time

This page was built for person: M. Randall Holmes