en-de
en-es
en-fr
en-pt
en-sl
en
en-zh
0.25
0.5
0.75
1.25
1.5
1.75
2
Three Aspects of Gödel's Program: Supercompactness, Forcing axioms, Omega-logic
Published on May 20, 20113778 Views
Related categories
Chapter list
Three Aspects of Göodel's Program00:00
The π 1/2 -statement OCA* - 100:52
The π 1/2 -statement OCA* - 201:36
The π 1/2 -statement OCA* - 301:37
The π 1/2 -statement OCA* - 401:47
Open partitions of H. - 102:04
Open partitions of H. - 202:38
Open partitions of H. - 302:53
Open partitions of H. - 403:24
Open partitions of H. - 504:33
Corollary of what???05:34
Theorem (Shoen eld, 1961) - 106:47
Theorem (Shoen eld, 1961) - 207:12
Theorem (Shoen eld, 1961) - 307:23
Theorem (Shoen eld, 1961) - 407:24
Theorem (Shoen eld, 1961) - 507:26
Theorem (Shoen eld, 1961) - 607:27
Theorem (Shoen eld, 1961) - 708:07
Theorem (Shoen eld, 1961) - 808:23
Theorem (Baumgartner, 1984)08:35
OCA* - 109:06
OCA* - 209:33
OCA* - 309:35
OCA* - 409:50
OCA* - 509:52
OCA* - 609:54
OCA* - 709:55
OCA* - 809:58
"Platonistic" proof of the Corollary - 110:00
"Platonistic" proof of the Corollary - 210:06
"Platonistic" proof of the Corollary - 310:07
"Platonistic" proof of the Corollary - 410:16
"Platonistic" proof of the Corollary - 510:25
"Platonistic" proof of the Corollary - 610:35
"Platonistic" proof of the Corollary - 710:40
Forcing axioms11:53
Forcing axioms solve problems! - 112:19
Forcing axioms solve problems! - 212:24
Some examples from cardinal arithmetic - 112:54
Some examples from cardinal arithmetic - 213:01
Some examples from cardinal arithmetic - 313:05
The singular cardinal hypothesis SCH - 113:20
The singular cardinal hypothesis SCH - 213:24
Some examples from general topology - 113:28
Some examples from general topology - 213:32
Some examples from general topology - 313:36
The S-space problem - 113:45
The S-space problem - 213:55
The S-space problem - 314:03
The S-space problem - 414:10
The fi ve element basis for the uncountable linear orders - 114:22
The fi ve element basis for the uncountable linear orders - 214:27
Examples from functional analysis and algebra - 114:39
Examples from functional analysis and algebra - 214:44
Examples from functional analysis and algebra - 314:48
Examples from functional analysis and algebra - 414:53
Examples from functional analysis and algebra - 515:02
How far can one transfer Shoen eld's absoluteness result for π 1/2-properties to more complex ones? - 115:24
How far can one transfer Shoen eld's absoluteness result for π 1/2-properties to more complex ones? - 215:43
How far can one transfer Shoen eld's absoluteness result for π 1/2-properties to more complex ones? - 315:48
How far can one transfer Shoen eld's absoluteness result for π 1/2-properties to more complex ones? - 416:36
How far can one transfer Shoen eld's absoluteness result for π 1/2-properties to more complex ones? - 516:54
How far can one transfer Shoen eld's absoluteness result for π 1/2-properties to more complex ones? - 617:01
Ω - Logic - 117:27
Ω - Logic - 217:34
Ω - Logic - 317:37
Theorem (Woodin, late eighties (in print 1999)) - 117:46
Theorem (Woodin, late eighties (in print 1999)) - 217:55
Theorem (Woodin, late eighties (in print 1999)) - 318:26
Theorem (Woodin, late eighties) - 118:28
Theorem (Woodin, unpublished) 19:09
Theorem (Woodin, late eighties) - 219:36
Theorem (Woodin, late eighties) - 319:50
Why large cardinals settle the theory of L(R)? - 119:53
gWhy large cardinals settle the theory of L(R)? - 220:08
Why large cardinals settle the theory of L(R)? - 320:13
Why large cardinals settle the theory of L(R)? - 420:22
What about mathematical problems? - 120:42
What about mathematical problems? - 220:53
What about mathematical problems? - 321:20
What about mathematical problems? - 421:43
What about mathematical problems? - 522:00
What about mathematical problems? - 622:09
What about mathematical problems? - 722:49
What about mathematical problems? - 822:58
My research project focuses on the second option, forcing axioms. - 123:19
My research project focuses on the second option, forcing axioms. - 323:24
My research project focuses on the second option, forcing axioms. - 223:25
My research project focuses on the second option, forcing axioms. - 423:41
My research project focuses on the second option, forcing axioms. - 523:45
To what extent the converse is true? - 123:52
To what extent the converse is true? - 224:27
To what extent the converse is true? - 324:33
With Christoph Weiß we have promising positive partial answers to this problem. - 124:34
With Christoph Weiß we have promising positive partial answers to this problem. - 224:37
With Christoph Weiß we have promising positive partial answers to this problem. - 324:44
The relevance of this problem is not only purely mathematical. - 125:03
The relevance of this problem is not only purely mathematical. - 225:05
The relevance of this problem is not only purely mathematical. - 325:39