Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Inner model
open-in-new
<p>In <a href="/facts/Set_theory/1ptfsvUP">set theory</a>, a branch of <a href="/facts/Mathematical_logic/SaI7Y3wN">mathematical logic</a>, an inner model for a <a href="/facts/Theory_(mathematical_logic)/mYe5gQpI">theory</a> <i>T</i> is a <a href="/facts/Substructure_(mathematics)/HqHnHKo1">substructure</a> of a <a href="/facts/Model_(mathematical_logic)/GsMx1fEb">model</a> <i>M</i> of a <a href="/facts/Set_theory/1ptfsvUP">set theory</a> that is both a model for <i>T</i> and contains all the ordinals of <i>M</i>. </p>