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)

"Actual element relation"[edit]

"A model of set theory is called standard if the element relation of the model is the actual element relation restricted to the model."

This line, I feel, warrants some explanation. What, exactly, is the "actual" element relation?

"Actual" seems to be a needlessly loaded term. I mean, even if we commit to a platonist approach to set theory and stipulate that there is some underlying background model for all mathematics (I believe we really ought to write articles such that this stipulation is not necessary, as it is quite separate from the math itself...), I don't think there's much actual agreement on what that background model really is, so this still makes little sense.

There may well be a way to state this more comprehensibly (from what I can tell, simply re-write it to be in the context of an explicit larger model), but the current wording, I think, is definitely not it. (talk) 02:21, 11 April 2016 (UTC)