Difference between revisions of "Talk:Con ZFC"

From Cantor's Attic
Jump to: navigation, search
(Created page with "May I have a clarification on "expressible" in the phrase "whenever \alpha is expressible"? Does this perhaps mean any definable ordinal, or any ordinal at all? I don't quite...")
 
Line 1: Line 1:
 +
== Expressibility ==
 +
 
May I have a clarification on "expressible" in the phrase "whenever \alpha is expressible"? Does this perhaps mean any definable ordinal, or any ordinal at all?
 
May I have a clarification on "expressible" in the phrase "whenever \alpha is expressible"? Does this perhaps mean any definable ordinal, or any ordinal at all?
  
 
I don't quite understand how the consistency statement would be meaningful if \alpha were an infinite ordinal. [[User:Trixie Wolf|Trixie Wolf]] ([[User talk:Trixie Wolf|talk]]) 16:55, 10 January 2017 (PST)
 
I don't quite understand how the consistency statement would be meaningful if \alpha were an infinite ordinal. [[User:Trixie Wolf|Trixie Wolf]] ([[User talk:Trixie Wolf|talk]]) 16:55, 10 January 2017 (PST)

Revision as of 17:56, 10 January 2017

Expressibility

May I have a clarification on "expressible" in the phrase "whenever \alpha is expressible"? Does this perhaps mean any definable ordinal, or any ordinal at all?

I don't quite understand how the consistency statement would be meaningful if \alpha were an infinite ordinal. Trixie Wolf (talk) 16:55, 10 January 2017 (PST)