Quotient Fields of a Model of IΔ0 + Ω1

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200108)47:3<305::AID-MALQ305>3.0.CO;2-4" /><305::AID-MALQ305>3.0.CO;2-4 10.1002/1521-3870(200108)47:3<305::AID-MALQ305>3.0.CO;2-4zbMath0990.03056OpenAlexW2083070908MaRDI QIDQ2743645

Paola D'Aquino

Publication date: 6 November 2001

Full work available at URL: https://doi.org/10.1002/1521-3870(200108)47:3<305::aid-malq305>3.0.co;2-4

zbMATH Keywords

maximal idealprime idealPeano arithmeticexponentialquotient fieldbounded inductiondefinable ultrapower

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Ultraproducts and related constructions (03C20)

This page was built for publication: Quotient Fields of a Model of IΔ0 + Ω1