Orderings of Types of Countable Arithmetic

DOI10.1002/MALQ.19780240702zbMath0414.03040OpenAlexW2018903474MaRDI QIDQ3048833

Klaus Potthoff

Publication date: 1978

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

orderingStone spaceultrafilterscountable atomic Boolean algebracountable expansion of the standard model for arithmeticultraproducts of definable functions

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Ultraproducts and related constructions (03C20) Model theory of denumerable and separable structures (03C15)

This page was built for publication: Orderings of Types of Countable Arithmetic