Satisfaction Classes and Combinatorial Sentences Independent From PA

DOI10.1002/malq.19820280804zbMath0522.03043OpenAlexW1968628308MaRDI QIDQ3671966

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

partitionindependencePeano arithmeticRamsey theoremsatisfaction class

Mathematics Subject Classification ID

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

Related Items (3)

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

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