205 citations · 324 across the 22 of their papers we have counts for
22 papers
Object generators, categories, and everyday set theory
Frank Quinn
In "Object generators, relaxed sets, and a foundation for mathematics", we introduced ``object generators'', a logical environment much more general than set theory. Inside this we…
A foundation for deductive mathematics
Frank Quinn
Set theory is widely believed to provide a secure foundation for deductive mathematics, but current set theories do not quite do this. The mainstream essentially uses na\"ıve set t…
A construction of set theory
Frank Quinn
We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring n…
The triangulation of manifolds
Frank Quinn
A mostly expository account of old questions about the relationship between polyhedra and topological manifolds. Topics are old topological results, new gauge theory results (with…
Algebraic K-theory over the infinite dihedral group: a controlled topology approach
James F. Davis, Frank Quinn, Holger Reich
We use controlled topology applied to the action of the infinite dihedral group on a partially compactified plane and deduce two consequences for algebraic K-theory. The first is t…
A controlled-topology proof of the product structure theorem
Frank Quinn
The controlled end and h-cobrodism theorems (Ends of maps I, 1979) are used to give quick proofs of the Top/PL and PL/DIFF product structure theorems.