Volume 25; Issue 1

Archive for Mathematical Logic

Volume 25; Issue 1
1

Quantifier elimination for modules

Volker Weispfenning
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 622 KB
english, 1985
2

Functorial bounds for cut elimination inLβω. II

Marie-Christine Ferbus
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 297 KB
english, 1985
3

Majorizing provably recursive functions in fragments of PA

Andrea Cantini
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 575 KB
english, 1985
4

Gilt das Lemma von König „konstruktiv“?

Peter Zahn
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
german
File:
PDF, 107 KB
german, 1985
5

Completeness of a cut-free calculus with equality and function constants

Mitio Takano
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 174 KB
english, 1985
8

König's lemma, the ω-Rule and primitive recursive arithmetic

E. G. K. López-Escobar
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 389 KB
english, 1985
10

Application of a Tauberian theorem to finite model theory

Kevin J. Compton
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 396 KB
english, 1985
11

Optimal bounds for ordinal comparison maps

Peter Clote
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 419 KB
english, 1985
12

Cupping and noncapping in the r.e. weak truth table and turing degrees

Klaus Ambos-Spies
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 930 KB
english, 1985
13

A theory of local negation: The model and some applications

Yvon Gauthier
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 893 KB
english, 1985
14

Maximale monadische Logiken

Jörg Flum
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
german
File:
PDF, 384 KB
german, 1985
15

Anmerkungen zum Rekursionstheorem

Klemens Döpp
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
german
File:
PDF, 846 KB
german, 1985
16

A fixed point theorem equivalent to the axiom of choice

Alexander Abian
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 53 KB
english, 1985
17

Strong normalization of barrecursive terms without using infinite terms

Marc Bezem
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 337 KB
english, 1985
18

Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes

Günter Baigger
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
german
File:
PDF, 214 KB
german, 1985