Loading [MathJax]/extensions/MathZoom.js

Sommaire

Quantifier elimination for modules.

Weispfennig, Volker

Access to full text
p. 1-12

Göttinger Digitalisierungszentrum
Functorial bounds for cut elimination in L.. .II.

Ferbus, Marie-Christine

Access to full text
p. 13-20

Göttinger Digitalisierungszentrum
Majorizing provably recursive functions in fragments of PA.

Cantini, Andrea

Access to full text
p. 21-32

Göttinger Digitalisierungszentrum
Gilt das Lemma von König "konstruktiv"?

Zahn, Peter

Access to full text
p. 33-36

Göttinger Digitalisierungszentrum
Completeness of a cut-free calculus with equality and function constants.

Takano, Mitio

Access to full text
p. 37-42

Göttinger Digitalisierungszentrum
Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser.

Dalen, D. van

Access to full text
p. 43-44

Göttinger Digitalisierungszentrum
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.

Simpson, Stephen G.

Access to full text
p. 45-66

Göttinger Digitalisierungszentrum
König's Lemma, the ...-rule and primitive recursive arithmetic.

López-Escobar, E.G.K.

Access to full text
p. 67-74

Göttinger Digitalisierungszentrum
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen.

Schütte, K. ; Simpson, S.G.

Access to full text
p. 75-90

Göttinger Digitalisierungszentrum
Application of a Tauberian theorem to finite model theory.

Compton, Kevin J.

Access to full text
p. 91-98

Göttinger Digitalisierungszentrum
Optimal bounds for ordinal comparison maps.

Clote, Peter

Access to full text
p. 99-108

Göttinger Digitalisierungszentrum
Cupping and noncapping in the R.E. weak truth table and turing degrees.

Ambos-Spies, Klaus

Access to full text
p. 109-126

Göttinger Digitalisierungszentrum
A theory of local negation: the model and some applications.

Gauthier, Yvon

Access to full text
p. 127-144

Göttinger Digitalisierungszentrum
Maximale monadische Logiken.

Flum, Jörg

Access to full text
p. 145-152

Göttinger Digitalisierungszentrum
Anmerkungen zum Rekursionstheorem.

Döpp, Klemens

Access to full text
p. 153-172

Göttinger Digitalisierungszentrum
A fixed point theorem equivalent to the axiom of choice.

Abian, Alexander

Access to full text
p. 173-174

Göttinger Digitalisierungszentrum
Strong normalization of barrecursive terms without using infinite terms.

Bezem, Marc

Access to full text
p. 175-182

Göttinger Digitalisierungszentrum
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes.

Baigger, Günter

Access to full text
p. 183-188

Göttinger Digitalisierungszentrum