Some Remarks on the Structure of Expansions

DOI10.1002/MALQ.19800263403zbMath0444.03037OpenAlexW2082030179MaRDI QIDQ3887462

Roman Murawski

Publication date: 1980

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

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

zbMATH Keywords

expansionsPeano arithmeticindicatorrecursive saturationsecond order arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Related Items (1)

Definable sets and expansions of models of Peano arithmetic

This page was built for publication: Some Remarks on the Structure of Expansions