✦ LIBER ✦

Combinatorial principles in nonstandard analysis

✍ Scribed by Mauro Di Nasso; Karel Hrbacek

Book ID: 104307218
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 279 KB
Volume: 119
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(02)00059-3

No coin nor oath required. For personal study only.

✦ Synopsis

We study combinatorial principles related to the isomorphism property and the special model axiom in nonstandard analysis.

📜 SIMILAR VOLUMES

Some nonstandard methods in combinatoria

Some nonstandard methods in combinatorial number theory

✍ Steven C. Leth 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 616 KB

Transfer principles in nonstandard intui

Transfer principles in nonstandard intuitionistic arithmetic

✍ J. Avigad; J. Helzner 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 172 KB

Nonstandard Analysis in Topology: Nonsta

Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications

✍ S. Salbany and Todor Todorov 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 160 KB

Nonstandard Analysis in ACL2

✍ Ruben A. Gamboa; Matt Kaufmann 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 168 KB

Developments in Constructive Nonstandard

Developments in Constructive Nonstandard Analysis

✍ Erik Palmgren 📂 Article 📅 1998 🏛 JSTOR 🌐 English ⚖ 921 KB

The generic filter property in nonstanda

The generic filter property in nonstandard analysis

✍ Mauro Di Nasso 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 151 KB

In this paper two new combinatorial principles in nonstandard analysis are isolated and applications are given. The second principle provides an equivalent formulation of Henson's isomorphism property.