On the <inline-formula> <mml:math id="mm11111111" display="block"> <mml:semantics> <mml:mrow> <mml:msubsup> <mml:mo mathvariant="bold">Δ</mml:mo> <mml:mi mathvariant="bold-italic">n</mml:mi> <mml:mn mathvariant="bold">1</mml:mn> </mml:msubsup> </mml:mrow> </mml:semantics> </mml:math> </inline-formula> Problem of Harvey Friedman

In this paper, we prove the following. If <inline-formula><math display="inline"><semantics><mrow><mi>n</mi><mo>≥</mo><mn>3</mn></mrow></semantics></math></inline-formula>, then there is a generic extension...

Full description

Bibliographic Details
Main Authors: Vladimir Kanovei, Vassily Lyubetsky
Format: Article
Language:English
Published: MDPI AG 2020-09-01
Series:Mathematics
Subjects:
Online Access:https://www.mdpi.com/2227-7390/8/9/1477