Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Archiv für mathematische Logik und Grundlagenforschung
Tome 26 (1987)
Précédent
Some generalizations to two systems of set theory based on combinatory logic.
M.W. Bunder
p. 5-12
Combinatorial principles concerning approximations of functions.
Petr Hájek
;
Jeff Paris
p. 13-28
Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.
Kurt Schütte
p. 29-56
Natural well-orderings.
J.N. Crossley
;
J.B. Kister
p. 57-76
Parallelizable algebras.
Matthias Ragaz
p. 77-100
Coding in the existential theory of concatenation.
J. R. Büchi
;
St. Senger
p. 101-108
Model existence theorem in superrelevant predicate logics.
Miroslaw Szatkowski
p. 111-122
Garnir's dream spaces with Hamel bases.
Norbert Brunner
p. 123-126
Localization o a theorem of Ambos-Spies and the strong anti-splitting property.
R.G. Downey
p. 127-136
Degree-theoretic bounds on the Morley rank.
C.T. Chong
p. 137-146
On cut elimination in the presence of peirce rule.
L. Gordeev
p. 147-164
A note on forking and normalization.
John B. Vaughn
p. 165-168
A note on proofs of falsehood.
Jan Krajicek
p. 169-176
Unramified forcing preserving the law of double negation.
A. Abian
;
K. Keremedis
p. 177-180