scientific article; zbMATH DE number 3825807

MaRDI QIDQ3671980zbMATH OpenFDO

Authors Tassilo von der Twer

Publication date 1981

zbMATH Keywords

independencePeano arithmeticprimitive recursive arithmeticrecursive modelindiscerniblesParis- Harrington sequencestrong partition relation

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Cited in

(1)

• Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3671980)