5 citations · 5 across the 3 of their papers we have counts for
3 papers
math.LO2020★ 5 cited
Acyclic Comprehension is equal to Stratified Comprehension
Zuhair Al-Johar, M. Randall Holmes
A new criterion of comprehension is defined, initially termed by myself as "connected" and finally as "Acyclic" by Mr. Randall Holmes. Acyclic comprehension simply asserts that for…
math.LO2016
A System of Dependent Types, with an Implementation and a Philosophy
M. Randall Holmes
This is my working paper on a proposed logical framework for the practice of mathematics, which is paralleled by philosophical considerations and a computer implementation (a varia…
math.LO2015
NF is Consistent
M. Randall Holmes, Sky Wilshaw
In this paper we will present a proof of the consistency of Quine's set theory "New Foundations" (hereinafter NF), so-called after the title of the 1937 paper in which it was intro…