A characterization of the $\Sigma_1$ -definable functions of $KP\omega + (uniform\; AC)$ (English)
National licence
- New search for: Burr, Wolfgang
- New search for: Hartung, Volker
- New search for: Burr, Wolfgang
- New search for: Hartung, Volker
In:
Archive for Mathematical Logic
;
37
, 3
;
199-214
;
1998
- Article (Journal) / Electronic Resource
-
Title:A characterization of the $\Sigma_1$ -definable functions of $KP\omega + (uniform\; AC)$
-
Contributors:Burr, Wolfgang ( author ) / Hartung, Volker ( author )
-
Published in:Archive for Mathematical Logic ; 37, 3 ; 199-214
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin Heidelberg
-
Publication date:1998-04-01
-
Size:16 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 37, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 143
-
Two applications of Boolean modelsCoquand, Thierry et al. | 1998
- 149
-
Consistency proof via pointwise inductionArai, Toshiyasu et al. | 1998
- 167
-
All finitely axiomatizable subframe logics containing the provability logic CSM $_{0}$ are decidableWolter, Frank et al. | 1998
- 183
-
Mob families and mad familiesBrendle, Jörg et al. | 1998
- 199
-
A characterization of the $\Sigma_1$ -definable functions of $KP\omega + (uniform\; AC)$Burr, Wolfgang / Hartung, Volker et al. | 1998
- 199
-
A characterization of the ~1-definable functions of KP omega + (uniform AC)Burr, W. / Hartung, V. et al. | 1998