Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Saturated_model> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- Saturated_model abstract "In mathematical logic, and particularly in its subfield model theory, a saturated model M is one which realizes as many complete types as may be "reasonably expected" given its size. For example, an ultrapower model of the hyperreals is -saturated, meaning that every descending nested sequence of internal sets has a nonempty intersection, see Goldblatt (1998).".
- Saturated_model wikiPageID "535836".
- Saturated_model wikiPageRevisionID "568547260".
- Saturated_model hasPhotoCollection Saturated_model.
- Saturated_model subject Category:Model_theory.
- Saturated_model subject Category:Non-standard_analysis.
- Saturated_model comment "In mathematical logic, and particularly in its subfield model theory, a saturated model M is one which realizes as many complete types as may be "reasonably expected" given its size. For example, an ultrapower model of the hyperreals is -saturated, meaning that every descending nested sequence of internal sets has a nonempty intersection, see Goldblatt (1998).".
- Saturated_model label "Saturated model".
- Saturated_model label "Saturiertheit (Modelltheorie)".
- Saturated_model label "飽和模型".
- Saturated_model sameAs Saturiertheit_(Modelltheorie).
- Saturated_model sameAs m.02mpdf.
- Saturated_model sameAs Q1473532.
- Saturated_model sameAs Q1473532.
- Saturated_model wasDerivedFrom Saturated_model?oldid=568547260.
- Saturated_model isPrimaryTopicOf Saturated_model.