Combinatorial principles in nonstandard analysis (Q1861543)

From MaRDI portal
Revision as of 09:23, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Combinatorial principles in nonstandard analysis
scientific article

    Statements

    Combinatorial principles in nonstandard analysis (English)
    0 references
    0 references
    0 references
    9 March 2003
    0 references
    One of the more significant concepts within nonstandard analysis is the notion of \(\kappa\)-saturation. Associated with \(\kappa\)-saturation is the Henson isomorphism property \(\text{IP}(\kappa)\). Another saturation principle is the special model axiom \(\text{SMA}(\kappa).\) The first author of this paper initiated the study of combinatorial principles \(\Delta_0\) and \(\Delta_1\) where these might replace \(\text{IP}(\kappa)\) or \(\text{SMA}(\kappa)\) for \(\kappa = \aleph_0.\) Indeed, \(\text{IP}(\aleph_0)\) if and only if \(\Delta_1.\) In this paper, the authors continue this sort of investigation using superstructure Robinson-styled nonstandard analysis. They give equivalent formulations for \(\Delta_0\), \(\Delta_1\) and generalize them so that they imply \(\kappa\)-saturation for any cardinal \(\kappa.\) They show that many results previously established from \(\text{IP}(\kappa)\) follow from weaker assumptions. They then show how to use these combinatorial principles in practical work.
    0 references
    nonstandard analysis
    0 references
    isomorphism property
    0 references
    generic filter
    0 references

    Identifiers