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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: M. Randall Holmes