Pages that link to "Item:Q4032655"
From MaRDI portal
The following pages link to Standard foundations for nonstandard analysis (Q4032655):
Displaying 10 items.
- Definable predicates of standardness in internal set theory (Q1582807) (← links)
- Combinatorial principles in nonstandard analysis (Q1861543) (← links)
- Internal approach to external sets and universes. I: Bounded set theory (Q1902552) (← links)
- Internal approach to external sets and universes. II: External universes over the universe of bounded set theory (Q1908856) (← links)
- Internal approach to external sets and universes. III. Partially saturated universes (Q1919980) (← links)
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485) (← links)
- On the strength of nonstandard analysis (Q3762318) (← links)
- (Q4552745) (← links)
- Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem (Q5179343) (← links)
- Foundations of iterated star maps and their use in combinatorics (Q6614046) (← links)