Schmerl decompositions in first order arithmetic

DOI10.1016/J.APAL.2019.102717OpenAlexW2955572746WikidataQ127552383 ScholiaQ127552383MaRDI QIDQ2326427

Zachary Evans, Theodore A. Slaman, François G. Dorais, Seth Harris, Marcia J. Groszek

Publication date: 7 October 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2019.102717

zbMATH Keywords

reverse mathematicsfirst order arithmeticschmerl decomposition

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Recursively (computably) enumerable sets and degrees (03D25) Metamathematics of constructive systems (03F50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reverse Mathematics and Grundy colorings of graphs
• On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction

This page was built for publication: Schmerl decompositions in first order arithmetic