Jensen <inline-formula><math display="inline"><semantics><mrow><msubsup><mo>Δ</mo><mi>n</mi><mn>1</mn></msubsup></mrow></semantics></math></inline-formula> Reals by Means of ZFC and Second-Order Peano Arithmetic

Jensen <inline-formula><math display="inline"><semantics><mrow><msubsup><mo>Δ</mo><mi>n</mi><mn>1</mn></msubsup></mrow></semantics></math></inline-formula> Reals by Means of ZFC and Second-Order Peano Arithmetic

It was established by Jensen in 1970 that there is a generic extension <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi mathvariant="bold">L</mi><mo>[</mo><mi>a&l...

Full description

Bibliographic Details
Main Authors: Vladimir Kanovei, Vassily Lyubetsky
Format: Article
Language:English
Published: MDPI AG 2024-01-01
Series:Axioms
Subjects:
forcing
projective well-orderings
projective classes
Peano arithmetic
Online Access:https://www.mdpi.com/2075-1680/13/2/96

Internet

https://www.mdpi.com/2075-1680/13/2/96

Similar Items