2 citations · 3 across the 4 of their papers we have counts for
4 papers
Mitchell rank for supercompactness
Erin Carmody
This paper defines a Mitchell rank for supercompact cardinals. If is a -supercompact cardinal then , where is…
Nondeterministic infinite time Turing machines
Erin Carmody
This paper analyzes infinitary nondeterministic computability theory. The main result is D ND coND where D is the class of sets decidable by infinite time Turing machi…
A Mitchell-like order for Ramsey and Ramsey-like cardinals
Erin Carmody, Victoria Gitman, Miha E. Habič
Smallish large cardinals are often characterized by the existence of a collection of filters on , each of which is an ultrafilter on the subsets of of some transitive $\…
Force to change large cardinal strength
Erin Carmody
This dissertation includes many theorems which show how to change large cardinal properties with forcing. I consider in detail the degrees of inaccessible cardinals (an analogue of…