Papers
Topics
Authors
Recent
Search
2000 character limit reached

Hydras for $ω_{1}$

Published 6 Aug 2015 in math.LO | (1508.01548v3)

Abstract: In this paper we introduce a hydra battle. Each hydra will eventually die out, but the fact is not provable in a set theory with urelements of natural numbers and the assumption that `there exists an uncountable regular ordinal'.

Summary

No one has generated a summary of this paper yet.

Sign Up to Summarize

Paper to Video (Beta)

No one has generated a video about this paper yet.

Sign Up to Generate All Videos Subscribe on YouTube

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Sign Up to Generate

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Generate Now

Continue Learning

We haven't generated follow-up questions for this paper yet.

Generate Now

Authors (1)

  1. Toshiyasu Arai 

Collections

Sign up for free to add this paper to one or more collections.

Sign Up