5 citations · 5 across the 2 of their papers we have counts for
2 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…