Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with ordinal-analysis
Search options not deleted
user 2004
6
votes
Accepted
A question about ordinal analysis
First of all, note that we don't (yet) have ordinal analyses of subsystems of second order arithmetic beyond $\Pi^1_2$-CA$_0$.
Still, we can say something about the pattern you indicate using known r …
- 1,467
10
votes
Accepted
Arithmetic strength of Peano + the Howard ordinal
The answer is yes, using the ordinal analysis of KP. See Pohlers' A Short Course in Ordinal Analysis for why the usual ordinal analyses are profound, that is, they imply conservativity of the analyzed …
- 1,467
5
votes
Can the Burgess-Hazen analysis of Predicative Arithmetic be extended to Transfinite Types?
I'm not aware of anyone doing the setup exactly as you describe, although it is very likely that it has been done, because it is very similar to Kreisel's proposed method of analyzing finitism in Ordi …
- 1,467