scientific article; zbMATH DE number 4123732

zbMATH Open0686.03040MaRDI QIDQ4204151FDOQ4204151

Roman Murawski

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• Nonstandard definability
• scientific article; zbMATH DE number 3882428
• Nonstandard characterizations of recursive saturation and resplendency
• scientific article
• On some uses of nonstandard models

zbMATH Keywords

surveyPeano arithmeticrecursive saturationinitial segmentsnonstandard semanticsexpandability of models of arithmeticnonstandard satisfaction classes for models of arithmetic

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Cited In (3)

• Arithmetic with satisfaction
• Strong initial segments of models of IΔ₀
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4204151)