Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Journal of Logic and...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Journal of Logic and Analysis
Article . 2012 . Peer-reviewed
Data sources: Crossref
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Journal of Logic and Analysis
Article
License: CC BY
Data sources: UnpayWall
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Journal of Logic and Analysis
Article . 2012
Data sources: DOAJ
DBLP
Article . 2020
Data sources: DBLP
versions View all 3 versions
addClaim

Relative set theory: Strong stability

Authors: Karel Hrbacek;

Relative set theory: Strong stability

Abstract

GRIST is an axiomatic framework for nonstandard set theory with many "levels of standardness." The paper establishes a number of general consequences of GRIST, in particular, a very strong form of Transfer principle. 2010 Mathematics Subject Classification 26E35 (primary); 03E70, 03H05 (sec- ondary) This is the last in a series of three articles devoted to GRIST, an axiomatic presentation of nonstandard analysis with many "levels of standardness." The two previous papers, (4) and (5), will be referred to as RST and RST2, respectively. It is shown in RST that GRIST is complete over ZFC: If an extension of GRIST proves a theorem that is not provable in GRIST, then it proves a theorem in the language of ZFC that is not provable in ZFC (see Proposition 6.5). In other words, no additional principles can be added to GRIST while keeping it conservative over ZFC. Yet in mathematical applications it is sometimes awkward to argue directly from the axioms of GRIST. It is convenient to have at one's disposal other principles, provable in GRIST, but tailor-made for certain kinds of applications. A number of such consequences of GRIST is derived in RST, Section 12; see also RST2, Proposition 1.10. For applications of relative set theory see RST2 and (3, 6, 10). This paper focuses on deducing some further useful principles in GRIST. Foremost among them is Strong Stability, perhaps the ultimate generalization of Transfer. Sec- tion 1 begins with a formulation of Strong Stability. Strong Stability is then used to prove that levels represented by elements of a given set are precisely those from a finite union of singletons and closed intervals (in the ordering of levels by inclusion). Section 2 contains the proof of Strong Stability in GRIST. It relies heavily on the development of GRIST in RST. Counterexamples to some "natural" strengthenings of Strong Stability are also constructed there. Section 3 deals with some variants of Idealization and Choice that are provable in GRIST. It also presents a generalization of Robinson's Lemma due to Andreev.

Related Organizations
Keywords

QA1-939, Mathematics

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    1
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
1
Average
Average
Average
gold