A simple algebraic characterization of nonstandard extensions

DOI10.1090/S0002-9939-2011-11104-3zbMATH Open1288.03050arXiv1101.0548MaRDI QIDQ2845565FDOQ2845565

Authors: Marco Forti 

Publication date: 2 September 2013

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

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.

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

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

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)

Cites Work

• Model theory.
• Topological and nonstandard extensions
• Internal set theory: A new approach to nonstandard analysis
• Alpha-theory: An elementary axiomatics for nonstandard analysis
• Axiomatic foundations for Nonstandard Analysis
• Title not available (Why is that?)
• The eightfold path to nonstandard analysis
• A purely algebraic characterization of the hyperreal numbers
• Title not available (Why is that?)
• Ultrafilters and Standard Functions in Non-Standard Arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Non-standard extensions of weak presentations
• A definable nonstandard enlargement
• Representations of algebras in varieties generated by infinite primal algebras.
• 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)