This HTML5 document contains 28 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Mouse_(set_theory)
rdf:type
dbo:Person
rdfs:label
Mouse (set theory)
rdfs:comment
In set theory, a mouse is a small model of (a fragment of) Zermelo–Fraenkel set theory with desirable properties. The exact definition depends on the context. In most cases, there is a technical definition of "premouse" and an added condition of iterability (referring to the existence of wellfounded iterated ultrapowers): a mouse is then an iterable premouse. The notion of mouse generalizes the concept of a level of Gödel's constructible hierarchy while being able to incorporate large cardinals.
dcterms:subject
dbc:Inner_model_theory
dbo:wikiPageID
3781877
dbo:wikiPageRevisionID
951513076
dbo:wikiPageWikiLink
dbr:Gödel dbc:Inner_model_theory dbr:Ronald_Jensen dbr:Core_model dbr:Zermelo–Fraenkel_set_theory dbr:Ultraproduct dbr:Springer-Verlag dbr:Constructible_universe dbr:Set_theory dbr:Wellfounded dbr:Model_theory dbr:Large_cardinal
owl:sameAs
freebase:m.09_phr wikidata:Q33510 n16:35Kns
dbp:wikiPageUsesTemplate
dbt:Cite_book dbt:Cite_journal
dbo:abstract
In set theory, a mouse is a small model of (a fragment of) Zermelo–Fraenkel set theory with desirable properties. The exact definition depends on the context. In most cases, there is a technical definition of "premouse" and an added condition of iterability (referring to the existence of wellfounded iterated ultrapowers): a mouse is then an iterable premouse. The notion of mouse generalizes the concept of a level of Gödel's constructible hierarchy while being able to incorporate large cardinals. Mice are important ingredients of the construction of core models. The concept was isolated by Ronald Jensen in the 1970s and has been used since then in core model constructions of many authors.
gold:hypernym
dbr:Model
prov:wasDerivedFrom
wikipedia-en:Mouse_(set_theory)?oldid=951513076&ns=0
dbo:wikiPageLength
1547
foaf:isPrimaryTopicOf
wikipedia-en:Mouse_(set_theory)