Pages that link to "Item:Q3714081"
From MaRDI portal
The following pages link to On nonstandard models in higher order logic (Q3714081):
Displaying 10 items.
- Nonstandard models and Kripke's proof of the Gödel theorem (Q698542) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- Extending standard models of ZFC to models of nonstandard set theories (Q1970591) (← links)
- Number of non-Fregean sentential logics that have adequate models (Q3419665) (← links)
- (Q4285926) (← links)
- Linearly Stratified Models for the Foundations of Nonstandard Mathematics (Q4379634) (← links)
- From Probability Measures to Each Lévy Triplet and Back (Q5013910) (← links)
- Models of PA: Standard Systems without Minimal Ultrafilters (Q5379655) (← links)
- (Q5518351) (← links)
- (Q5585367) (← links)