On two problems concerning end extensions

DOI10.1007/S00153-007-0055-1zbMath1147.03017OpenAlexW2026277548MaRDI QIDQ937209

Ch. Cornaros, Costas Dimitracopoulos

Publication date: 20 August 2008

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-007-0055-1

zbMATH Keywords

surveyweak saturationfragments of arithmeticoverspillend extension problem

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (1)

Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• A note on the Mac Dowell-Specker theorem
• On parameter free induction schemas
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On two problems concerning end extensions