Sommaire

Predicate calculus of arbitrarily high finite order.

Bunder, M.W.

Access to full text
p. 1-10

Göttinger Digitalisierungszentrum
Bases of ZF...-models.

Rimscha, Michael v.

Access to full text
p. 11-20

Göttinger Digitalisierungszentrum
...-definable functionals and ... Conversion.

Statman, R.

Access to full text
p. 21-26

Göttinger Digitalisierungszentrum
A lower bound for the complexity of Craig's interpolants in sentinential logic.

Mundici, Daniele

Access to full text
p. 27-36

Göttinger Digitalisierungszentrum
Natural limitations of decisions procedures for arithmetic with bounded quantifiers.

Mundici, Daniele

Access to full text
p. 37-54

Göttinger Digitalisierungszentrum
A note on a proof of Sherpherdson.

Flannagan, T.B.

Access to full text
p. 55-60

Göttinger Digitalisierungszentrum
Variants of Robinson's essentially undecidable theory R.

Shepherdson, J.C. ; Jones, J.P.

Access to full text
p. 61-64

Göttinger Digitalisierungszentrum
A well-ordering proof for Feferman's theory To.

Jäger, Gerhard

Access to full text
p. 65-78

Göttinger Digitalisierungszentrum
R.E. degrees of continuous functionals.

Normann, Dag

Access to full text
p. 79-98

Göttinger Digitalisierungszentrum
A one axiom set theory based on higher order predicate calculus.

Bunder, M.W.

Access to full text
p. 99-108

Göttinger Digitalisierungszentrum
Set theory in predicate calculus with equality

Bunder, M.W.

Access to full text
p. 109-114

Göttinger Digitalisierungszentrum
Definable Ramsey and definable Erdös ordinals.

Kranakis, Evangelos

Access to full text
p. 115-128

Göttinger Digitalisierungszentrum
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik.

Ragaz, Matthias

Access to full text
p. 129-140

Göttinger Digitalisierungszentrum
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre.

Ragaz, Matthias

Access to full text
p. 141-146

Göttinger Digitalisierungszentrum
A Note on tight stable theories.

Pillay, Anand

Access to full text
p. 147-152

Göttinger Digitalisierungszentrum
On a weakening of Markov's principle.

Scedrov, A. ; Vesley, R.

Access to full text
p. 153-160

Göttinger Digitalisierungszentrum
A classification of the one-argument primitive recursive functions.

Naumovic, Jovan

Access to full text
p. 161-174

Göttinger Digitalisierungszentrum
A classification of an iterative hierarchy.

Kleine Büning, Hans

Access to full text
p. 175-186

Göttinger Digitalisierungszentrum