scientific article; zbMATH DE number 3825807

zbMATH Open0522.03056MaRDI QIDQ3671980FDOQ3671980

Authors: Tassilo von der Twer 

Publication date: 1981

Title of this publication is not available (Why is that?)

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)