Editing Inner model (section)

{{About|models of mathematical set theory|the standard effective temperature (SET) model |Thermal comfort#Standard effective temperature}}

In [[set theory]], a branch of [[mathematical logic]], an '''inner model'''<ref>{{cite document | last = Shepherdson | first = J.C. |title = Inner Models for Set Theory |publisher = Journal of Symbolic Logic |year = 1951–53 }} </ref> for a [[Theory (mathematical logic)|theory]] ''T'' is a [[substructure (mathematics)|substructure]] of a [[model (mathematical logic)|model]] ''M'' of a [[set theory]] that is both a model for ''T'' and contains all the ordinals of ''M''.