DigiZeitschriften: Table of Contents

You are here:: Table of Contents

Archiv für mathematische Logik und Grundlagenforschung

Archiv für mathematische Logik und Grundlagenforschung

Table of contents-

Category theory based on combinatory logic.M.W. Bunder1

Constructive analysis and thermodynamics formulations.Antonino Drago17

PA-beweisbare ...-Formeln.Werner Mellis23

...-inaccessible ordinals, collapsing functions and a recursive notation system.Gerhard Jäger49

Minimal ...-hyperdegrees.C.T. Chong63

Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.Wolfgang Friedrich73

Eine Logik vager Sätze.Franz v. Kutschera101

Amorphe Potenzen kompakter Räume.Norbert Brunner119

The arithmetic and turing degrees are not elementary equivalent.Richard A. Shore137

Functorial bounds for cut elimination in L... .I.Marie-Christine Ferbus141

A possibility-free logic of descriptions.Ermanno Bencivenga159

Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs.J.Y., Vauzeilles, J. Girard167

DigiZeitschriften is supported by Deutsche Forschungsgemeinschaft