Truth in V for (Part of the article not published in ASCII) *W-sentences is decidable (Englisch)
- Neue Suche nach: Bellé, D.
- Neue Suche nach: Bellé, D.
- Neue Suche nach: Parlamento, F.
In:
The journal of symbolic logic
;
71
, 4
; 1200-1222
;
2006
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Truth in V for (Part of the article not published in ASCII) *W-sentences is decidable
-
Beteiligte:Bellé, D. ( Autor:in ) / Parlamento, F.
-
Erschienen in:The journal of symbolic logic ; 71, 4 ; 1200-1222
-
Verlag:
- Neue Suche nach: Cambridge Univ. Press
-
Erscheinungsort:Cambridge
-
Erscheinungsdatum:2006
-
ISSN:
-
ZDBID:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 770/3110
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
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 S1-structural differences among finite levels of the Ershov hierarchyYang, Yue et al. | 2006
- 1223
-
On Sigma~1-structural differences among finite levels of the Ershov hierarchyYang, Y. / Yu, L. et al. | 2006
- 1237
-
A Buchholz derivation system for the ordinal analysis of KP + Π~3-reflectionMichelbrink, M. et al. | 2006
- 1237
-
A Buchholz derivation system for the ordinal analysis of KP + P3-reflectionMichelbrink, Markus 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