A Buchholz derivation system for the ordinal analysis of KP + Π~3-reflection (Englisch)
- Neue Suche nach: Michelbrink, M.
- Neue Suche nach: Michelbrink, M.
In:
JOURNAL OF SYMBOLIC LOGIC
;
71
, 4
;
1237-1283
;
2006
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:A Buchholz derivation system for the ordinal analysis of KP + Π~3-reflection
-
Beteiligte:Michelbrink, M. ( Autor:in )
-
Erschienen in:JOURNAL OF SYMBOLIC LOGIC ; 71, 4 ; 1237-1283
-
Verlag:
- Neue Suche nach: ASSOCIATION FOR SYMBOLIC LOGIC, INC.
-
Erscheinungsdatum:01.01.2006
-
Format / Umfang:47 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 164 / 510
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 71, Ausgabe 4
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1081
-
Diagonal actions and Borel equivalence relationsDing, Longyun et al. | 2006
- 1097
-
Local-global properties of positive primitive formulas in the theory of spaces of orderingsMarshall, M. et al. | 2006
- 1108
-
A metamathematical condition equivalent to the existence of a complete left invariant metric for a Polish group.Thompson, Alex et al. | 2006
- 1125
-
Properly Sigma~2^0 enumeration degrees and the high/low hierarchyGiorgi, M. / Sorbi, A. / Yang, Y. et al. | 2006
- 1125
-
Properly S02 enumeration degrees and the high-low hierarchy.Giorgi, Matthew et al. | 2006
- 1145
-
Core models in the presence of Woodin cardinalsSchindler, Ralf et al. | 2006
- 1155
-
Epsilon substitution method forΠ~2^0-FIXArai, T. et al. | 2006
- 1155
-
Epsilon substitution method for P02-FIXArai, Toshiyasu et al. | 2006
- 1189
-
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistencyWillard, Dan E. et al. | 2006
- 1200
-
Truth in V for ^*-sentences is decidableBelle, D. / Parlamento, F. et al. | 2006
- 1200
-
Truth in V for (Part of the article not published in ASCII) *W-sentences is decidableBellé, D. et al. | 2006
- 1223
-
On Sigma~1-structural differences among finite levels of the Ershov hierarchyYang, Y. / Yu, L. et al. | 2006
- 1223
-
On S1-structural differences among finite levels of the Ershov hierarchyYang, Yue et al. | 2006
- 1237
-
A Buchholz derivation system for the ordinal analysis of KP + P3-reflectionMichelbrink, Markus et al. | 2006
- 1237
-
A Buchholz derivation system for the ordinal analysis of KP + Π~3-reflectionMichelbrink, M. et al. | 2006
- 1284
-
The Π~3-theory of the Sigma~2^0-enumeration degrees is undecidableKent, T. F. et al. | 2006
- 1284
-
The P3-theory of the S02-enumeration degrees is undecidableKent, Thomas F. et al. | 2006
- 1303
-
Bounds for covering numbersLiu, Andreas et al. | 2006
- 1311
-
Predicate logics of constructive arithmetical theories.Visser, Albert et al. | 2006
- 1327
-
Degrees of monotone complexity.Calhoun, William C. et al. | 2006
- 1342
-
A polarized partition relation for weakly compact cardinals using elementary substructuresJones, Albin L. et al. | 2006
- 1353
-
Glivenko theorems for substructural logics over FLGalatos, Nikolaos et al. | 2006
- 1385
-
Every 1-generic computes a properly 1-genericCsima, Barbara F. et al. | 2006
- 1394
-
Computability results used in differential geometryCsima, Barbara F. et al. | 2006
- 1411
-
Randomness and halting probabilitiesBecher, Verónica et al. | 2006
- 1431
-
Corrigendum to: 'A constructive view on ergodic theorems'Spitters, Bas et al. | 2006