Talk:Inner model

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Mid-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Mid Priority
 Field: Foundations, logic, and set theory

The statement

A model of set theory is assumed to be standard unless it is explicitly stated that it is non-standard. Inner models are usually standard because their ordinals are actual ordinals.

is confusing to me. If the definition did not mean to imply that the membership relations coincided, then the ordinals of N could have nothing to do with the ordinals of M. I think it would be in accordance with standard usage to require inner models to be standard, but at the very least we should require them to be submodels so that "containing all the ordinals" makes sense. Quux0r 00:01, 26 March 2007 (UTC)

Understandable explanation??[edit]

Would it be possible to reformulate that article in a way that you don't need a PhD in mathematics to understand it? — Preceding unsigned comment added by (talk) 12:29, 15 July 2012 (UTC)

The lede is barely comprehensible to a layman. Could someone who _really_ understands the subject provide a lede that is lucid? MrDemeanour (talk) 10:51, 18 August 2012 (UTC)