Satisfaction Classes and Combinatorial Sentences Independent From PA

DOI10.1002/MALQ.19820280804zbMATH Open0522.03043OpenAlexW1968628308MaRDI QIDQ3671966FDOQ3671966

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)