Ψ₀ (Ω.)ω) - Ψ₀(Ωω) - Wikipedia

Математикада, Ψ0ω) Бұл үлкен реттік өлшеу үшін қолданылады дәлелдеу-теориялық күш кейбір математикалық жүйелер туралы. Атап айтқанда, бұл кіші жүйенің дәлелденген теориялық реттігі -CA0 туралы екінші ретті арифметика; бұл зерттелген «үлкен бестіктің» бірі кері математика (Симпсон 1999).

Анықтама

  • , және үшін n > 0.
  • қамтитын ең кіші реттік жинақтар жиынтығы үшін n ақырлы және құрамында барлық реттік нөмірлер аз , және реттік қосу және дәрежелеу кезінде жабық және құрамында егер jмен және және .
  • ішіндегі ең кіші реттік болып табылады

Әдебиеттер тізімі

  • Г.Такеути, Дәлелдеу теориясы, 1987 жылғы 2-басылым ISBN  0-444-10492-5
  • К.Шютте, Дәлелдеу теориясы, Springer 1977 ISBN  0-387-07911-4
  • Симпсон, Стивен Г. (2009), Екінші ретті арифметиканың ішкі жүйелері, Логикадағы перспективалар (2-ші басылым), Кембридж университетінің баспасы, ISBN  978-0-521-88439-6, МЫРЗА  2517689