scientific article; zbMATH DE number 4193657

MaRDI QIDQ5202178zbMATH OpenFDO

Authors Jeff Paris

Publication date 1990

zbMATH Keywords

Peano arithmeticindicatorsindependent statementsapplications in combinatoricssurvey of independence results in arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 3928990
• scientific article; zbMATH DE number 3979054
• Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator)
• scientific article; zbMATH DE number 5013084
• On Gödel incompleteness and finite combinatorics

Cited in

(5)

• scientific article; zbMATH DE number 3979054 (Why is no real title available?)
• Logic, combinatorics and independence results. Abstracts from the mini-workshop held November 25 -- December 2, 2006.
• An Unprovable Ramsey-Type Theorem
• scientific article; zbMATH DE number 3928991 (Why is no real title available?)
• scientific article; zbMATH DE number 3928990 (Why is no real title available?)

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 Q5202178)