On the Π 1 1 ‐separation principle

Antonio Montalbán

Source record

Source: Crossref

Published: Nov 4, 2008

DOI: 10.1002/malq.200710049

Open original source ↗

Source abstract

Abstract We study the proof‐theoretic strength of the Π 1 1 ‐separation axiom scheme, and we show that Π 1 1 ‐separation lies strictly in between the Δ 1 1 ‐comprehension and Σ 1 1 ‐choice axiom schemes over RCA 0 . (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.