Loading [MathJax]/extensions/MathZoom.js

Sommaire

Interpolation in Logiken monotoner Systeme.

Ebbinghaus, H.-D. ; Ziegler, M.

Access to full text
p. 1-18

Göttinger Digitalisierungszentrum
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets.

Caporaso, S. ; Pani, G.

Access to full text
p. 19-26

Göttinger Digitalisierungszentrum
Eine Variante des Ordinalzahlbezeichnungssystems ... .

Vogel, H.

Access to full text
p. 27-42

Göttinger Digitalisierungszentrum
Prefix classes of Krom formulae with identity.

Aanderaa, S.O. ; Börger, E.

Access to full text
p. 43-50

Göttinger Digitalisierungszentrum
Some diophantine forms of Gödel's theorem.

Dyson, V.H. ; Jones, J.P.

Access to full text
p. 51-60

Göttinger Digitalisierungszentrum
Interpolation, compactness and jep in soft model theory.

Mundici, Daniele

Access to full text
p. 61-68

Göttinger Digitalisierungszentrum
Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.

Pohlers, W.

Access to full text
p. 69-88

Göttinger Digitalisierungszentrum
Further applications of ultra-conservative ...-rules.

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

Access to full text
p. 89-102

Göttinger Digitalisierungszentrum
Existential interpretation. II.

Gurevich, Yuri

Access to full text
p. 103-120

Göttinger Digitalisierungszentrum
Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natürlichen Zahlen.

Jäger, Gerhard

Access to full text
p. 121-140

Göttinger Digitalisierungszentrum
On orderings of the family of all logics.

Krynicki, M. ; Väänänen, J.

Access to full text
p. 141-158

Göttinger Digitalisierungszentrum
Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin.

Glubrecht, Jürgen-Michael

Access to full text
p. 159-166

Göttinger Digitalisierungszentrum
A proof theoretical fine structure in systems of ramified analysis.

Schmerl, Ulf R.

Access to full text
p. 167-186

Göttinger Digitalisierungszentrum
Solving algebraic problems in propositional logic by tableau.

Cowen, R.H.

Access to full text
p. 187-190

Göttinger Digitalisierungszentrum