2000 character limit reached
An inner model proof of the strong partition property of δ^2_1
Published 13 Jun 2012 in math.LO | (1206.2713v1)
Abstract: We prove the strong partition property for \delta2_1 using methods from inner model theory.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.