Article ID Journal Published Year Pages File Type
8904304 Annals of Pure and Applied Logic 2018 21 Pages PDF
Abstract
We prove several results about recognizable sets and their variants for other types of machines. Notably, we show the following results from large cardinals.
Keywords
Related Topics
Physical Sciences and Engineering Mathematics Logic
Preview
Recognizable sets and Woodin cardinals: computation beyond the constructible universe
Authors
, , ,