Pages that link to "Item:Q1101109"
From MaRDI portal
The following pages link to The syntax of nonstandard analysis (Q1101109):
Displaying 25 items.
- Nonstandard analysis: its creator and place (Q383351) (← links)
- A decomposition theorem for neutrices (Q636327) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Foundations of fuzzy sets: A nonstandard approach (Q923082) (← links)
- Extended use of IST (Q1194245) (← links)
- Properties of classes of \(\alpha\)-standard elements (Q1364720) (← links)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation (Q1706266) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Ultrapowers as sheaves on a category of ultrafilters (Q1762726) (← links)
- Some extensions of the principles of idealization transfer and choice in the relative internal set theory (Q1902341) (← links)
- Internal approach to external sets and universes. I: Bounded set theory (Q1902552) (← links)
- On flexible sequences (Q2337354) (← links)
- Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
- On the extension principle in internal set theory (Q2366337) (← links)
- The strength of countable saturation (Q2402967) (← links)
- Hyperformulas and classifications (Q2759804) (← links)
- EDWARD NELSON (1932–2014) (Q3195593) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- (Q4037533) (← links)
- Existence and Consistence (Q4344733) (← links)
- A syntactical analysis of normalization (Q4500176) (← links)
- (Q4695119) (← links)
- Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic (Q4836057) (← links)
- Gordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the hyperfinite setting (Q4989720) (← links)
- Realism, nonstandard set theory, and large cardinals (Q5940142) (← links)
