Archive for mathematical logic (English)
In:
Archiv für mathematische Logik und Grundlagenforschung
;
26
, 1
; 107-107
;
1987
-
ISSN:
- Article (Journal) / Print
-
Title:Archive for mathematical logic
-
Published in:Archiv für mathematische Logik und Grundlagenforschung ; 26, 1 ; 107-107
-
Publisher:
- New search for: Springer-Verlag
- New search for: Kohlhammer
-
Place of publication:Stuttgart
-
Publication date:1987
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 020/3110
-
Keywords:
-
Classification:
Local classification TIB: 020/3110 -
Source:
Table of contents – Volume 26, 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.
- 5
-
Some generalizations to two systems of set theory based on combinatory logicBunder, M. W. et al. | 1987
- 13
-
Combinatorial principles concerning approximations of functionsHájek, Petr / Paris, Jeff et al. | 1987
- 29
-
Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. JägerSchütte, Kurt et al. | 1987
- 57
-
Natural well-orderingsCrossley, John N. / Kister, Jane Bridge et al. | 1987
- 77
-
Parallelizable algebrasRagaz, Matthias et al. | 1987
- 101
-
Coding in the existential theory of concatenationBüchi, J. Richard / Senger, Steven et al. | 1987
- 107
-
Archive for mathematical logic| 1987
- 111
-
Model existence theorem in superrelevant predicate logicsSzatkowski, Mirosław et al. | 1987
- 123
-
Garnir's dream spaces with Hamel basesBrunner, Norbert et al. | 1987
- 127
-
Localization of a theorem of Ambos-Spies and the strong anti-splitting propertyDowney, R. G. et al. | 1987
- 137
-
Degree-theoretic bounds on the morley rankChong, C. T. et al. | 1987
- 147
-
On cut elimination in the presence of perice ruleGordeev, L. et al. | 1987
- 165
-
A note on forking and normalizationVaughn, John B. et al. | 1987
- 169
-
A note on proofs of falsehoodKrajíček, Jan et al. | 1987
- 177
-
Unramified forcing preserving the law of double negationAbian, Alexander / Keremedis, Kyriakos et al. | 1987
- i
-
Professor Dr. Wolfram Schwabhäuser 1931–1985| 1987