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
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité