Addendum to “A definable nonstandard enlargement”

Mathematical Logic Quarterly 54 (6):666-667 (2008)
  Copy   BIBTEX

Abstract

Łoś's theorem for bounded D -ultrapowers, D being the ultrafilter introduced by Kanovei and Shelah [4], is established

Categories

Keywords

Reprint years

DOI

10.1002/malq.200810002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A definable nonstandard enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
Consequences of neocompact quantifier elimination.Stefano Baratella & Siu-Ah Ng - 2003 - Mathematical Logic Quarterly 49 (2):150-162.
Standardization principle of nonstandard universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.
Iterated extended ultrapowers and supercompactness without choice.Mitchell Spector - 1991 - Annals of Pure and Applied Logic 54 (2):179-194.
Ultrafilter Extensions of Bounded Graphs are Elementary.Zalán Molnár - forthcoming - Studia Logica:1-23.
Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories.Karel Hrbacek & Mikhail G. Katz - 2023 - Bulletin of Symbolic Logic 29 (1):97-127.
Forcing in nonstandard analysis.Masanao Ozawa - 1994 - Annals of Pure and Applied Logic 68 (3):263-297.
Iterated ultrapowers and prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109-160.

Analytics

Added to PP
2013-12-01

Downloads
20 (#1,027,515)

6 months
3 (#1,465,011)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Aggregating infinitely many probability measures.Frederik Herzberg - 2015 - Theory and Decision 78 (2):319-337.
A Graded Bayesian Coherence Notion.Frederik Herzberg - 2014 - Erkenntnis 79 (4):843-869.

Add more citations

References found in this work

A definable nonstandard model of the reals.Vladimir Kanovei & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (1):159-164.
A definable nonstandard enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.

Add more references