A simple algebraic characterization of nonstandard extensions

DOI10.1090/S0002-9939-2011-11104-3MaRDI QIDQ2845565zbMATH OpenFDO

Authors Marco Forti

Publication date 2 September 2013

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1101.0548

zbMATH Keywords

nonstandard extensions

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Ultraproducts and related constructions (03C20) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Abstract: We introduce the notion of "functional extension" of a set X, by means of two natural algebraic properties of the operator * on unary functions. We study the connections with ultrapowers of structures with universe X, and we give a simple characterization of those functional extensions that correspond to limit ultrapower extensions. In particular we obtain a purely algebraic proof of Keisler's characterization of nonstandard (= complete elementary) extensions.

Recommendations

• scientific article; zbMATH DE number 3928999
• A set of axioms for nonstandard extensions
• Nonstandard Methods and Finiteness Conditions in Algebra
• Topological and nonstandard extensions
• scientific article; zbMATH DE number 1246471

Cites work

• scientific article; zbMATH DE number 3928999 (Why is no real title available?)
• scientific article; zbMATH DE number 3520681 (Why is no real title available?)
• scientific article; zbMATH DE number 1795223 (Why is no real title available?)
• scientific article; zbMATH DE number 2109779 (Why is no real title available?)
• A purely algebraic characterization of the hyperreal numbers
• Alpha-theory: An elementary axiomatics for nonstandard analysis
• Axiomatic foundations for Nonstandard Analysis
• Internal set theory: A new approach to nonstandard analysis
• Model theory.
• The eightfold path to nonstandard analysis
• Topological and nonstandard extensions
• Ultrafilters and Standard Functions in Non-Standard Arithmetic

Cited in

(7)

• scientific article; zbMATH DE number 31698 (Why is no real title available?)
• scientific article; zbMATH DE number 1795223 (Why is no real title available?)
• Non-standard extensions of weak presentations
• Representations of algebras in varieties generated by infinite primal algebras.
• A definable nonstandard enlargement
• A topological approach to non-Archimedean mathematics
• A topological interpretation of three Leibnizian principles within the functional extensions

This page was built for publication: A simple algebraic characterization of nonstandard extensions

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