Satisfaction Classes and Combinatorial Sentences Independent From PA

DOI10.1002/MALQ.19820280804MaRDI QIDQ3671966zbMATH OpenOpenAlexFDO

Authors Zygmunt Ratajczyk

Publication date 1982

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19820280804

zbMATH Keywords

independencepartitionPeano arithmeticRamsey theoremsatisfaction class

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) First-order arithmetic and fragments (03F30)

Cited in

(3)

• Inductive full satisfaction classes
• The contribution of Zygmunt Ratajczyk to the foundations of arithmetic
• Subsystems of true arithmetic and hierarchies of functions

This page was built for publication: Satisfaction Classes and Combinatorial Sentences Independent From PA

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