Castor quadruplorum (English)
- New search for: Oberschelp, Arnold
- New search for: Schmidt-Göttsch, Karsten
- New search for: Todt, Günter
- New search for: Oberschelp, Arnold
- New search for: Schmidt-Göttsch, Karsten
- New search for: Todt, Günter
In:
Archive for Mathematical Logic
;
27
, 1
; 35-44
;
1988
-
ISSN:
- Article (Journal) / Print
-
Title:Castor quadruplorum
-
Contributors:
-
Published in:Archive for Mathematical Logic ; 27, 1 ; 35-44
-
Publisher:
- New search for: Springer-Verlag
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:1988
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.10 / 08.33 / 31.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 27, Issue 1
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.
- 1
-
Categoricity and generalized model completenessAhlbrandt, G. / Baldwin, John T. et al. | 1988
- 5
-
Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J)Schütte, K. et al. | 1988
- 21
-
Definable sets and expansions of models of Peano arithmeticMurawski, Roman et al. | 1988
- 35
-
Castor quadruplorumOberschelp, Arnold / Schmidt-Göttsch, Karsten / Todt, Günter et al. | 1988
- 45
-
Some local properties of ω-stable groupsTanaka, Katsumi et al. | 1988
- 49
-
Productive sets and constructively nonpartial-recursive functionsKanda, Akira et al. | 1988
- 51
-
Induktive Definitionen und DilatorenBuchholz, Wilfried et al. | 1988
- 61
-
Operating on the universeGarcia, Narciso et al. | 1988
- 69
-
The number of proof lines and the size of proofs in first order logicKrajíček, Jan / Pudlák, Pavel et al. | 1988
- 85
-
Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. JägerSchütte, Kurt et al. | 1988