Proof theoretic ordinal of zfc, and other formal systems

  • #1
120
0
what is the proof-theoretic strength (largest ordinal whose existence can be proved) for ZFC set theory?
 
Last edited:

Answers and Replies

  • #2
607
0
If an ordinal [tex]\alpha[/tex] can be proved to exist, so can [tex]\alpha+1[/tex]

So in fact you probably want least ordinal whose existence cannot be proved
 
  • #3
120
0
If an ordinal [tex]\alpha[/tex] can be proved to exist, so can [tex]\alpha+1[/tex]

So in fact you probably want least ordinal whose existence cannot be proved

oops, my bad. what is it?
 
  • #4
120
0
could someone answer this question? please?
What is the least ordinal whose existence can't be proven in ZFC?
 
  • #5
120
0
what is the proof theoretic strenght of zfc? please help, i want to know!

plz, hurkyl, don't make me wait!!!
 
Last edited:
  • #6
607
0
Why not research the question elsewhere on the Internet?
 
  • #7
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
plz, hurkyl, don't make me wait!!!
What? All I can do is make the obvious guess, and I'm not even sure that's well-defined, let alone the answer you seek.
 
  • #8
120
0
What? All I can do is make the obvious guess, and I'm not even sure that's well-defined, let alone the answer you seek.

if the smallest ordinal that can't be proven is well-defined: what determines that? that a stronger set theory is not known?

so we just call the ordinal "the proof theoretic ordinal of zfc"? ok. might not be an oridnal with a name, like kripke-platek ordinal
 
Last edited:
  • #9
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
if the smallest ordinal that can't be proven is well-defined: what is the guess?
The obvious guess would (IMHO) be something like the supremum of all of the ordinals in the constructible hierarchy.

However, I'm not sure the question is well-defined: why should "ZFC proves the existence of [itex]\beta[/itex]" and "[itex]\alpha < \beta[/itex]" should imply "ZFC proves the existence of [itex]\alpha[/itex]".
 
  • #10
CRGreathouse
Science Advisor
Homework Helper
2,820
0
Perhaps it isn't well defined. What is known, then, about the supremum of the set of definable ordinals in ZFC, and the infimum of undefinable ordinals in ZFC?
 
  • #11
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
Perhaps it isn't well defined. What is known, then, about the supremum of the set of definable ordinals in ZFC, and the infimum of undefinable ordinals in ZFC?
And that's where the extent of my knowledge ends. :smile: Although now that I think about it, the continuum hypotheses probably tells us some interesting information.
 

Related Threads on Proof theoretic ordinal of zfc, and other formal systems

Replies
1
Views
1K
  • Last Post
Replies
10
Views
4K
Replies
7
Views
14K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
4
Views
3K
Replies
10
Views
970
Replies
4
Views
1K
  • Last Post
Replies
13
Views
7K
Replies
14
Views
2K
  • Last Post
2
Replies
25
Views
4K
Top