default search action

combined dblp search
author search
venue search
publication search

ask others

Archiv für mathematische Logik und Grundlagenforschung, Volume 25

> Home > Journals > Archiv für mathematische Logik und Grundlagenforschung

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 25, Number 1, December 1985

- view
  authority control:
- export record
  dblp key:
  - journals/aml/Weispfenning85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Weispfenning85
Volker Weispfenning:
Quantifier elimination for modules. 1-11
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Ferbus85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Ferbus85
Marie-Christine Ferbus:
Functorial bounds for cut elimination inL_βω. II. 13-20
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Cantini85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Cantini85
Andrea Cantini:
Majorizing provably recursive functions in fragments of PA. 21-31
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Zahn85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Zahn85
Peter Zahn:
Gilt das Lemma von König "konstruktiv"? 33-35
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Takano85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Takano85
Mitio Takano:
Completeness of a cut-free calculus with equality and function constants. 37-41
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Dalen85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Dalen85
Dirk van Dalen:
Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser. 43-44
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Simpson85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Simpson85
Stephen G. Simpson:
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume. 45-65
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Lopez-Escobar85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Lopez-Escobar85
E. G. K. López-Escobar:
König's lemma, the ω-Rule and primitive recursive arithmetic. 67-74
- view
  authority control:
- export record
  dblp key:
  - journals/aml/SchutteS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/SchutteS85
Kurt Schütte, Stephen G. Simpson:
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. 75-89
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Compton85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Compton85
Kevin J. Compton:
Application of a Tauberian theorem to finite model theory. 91-98
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Clote85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Clote85
Peter Clote:
Optimal bounds for ordinal comparison maps. 99-107
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Ambos-Spies85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Ambos-Spies85
Klaus Ambos-Spies:
Cupping and noncapping in the r.e. weak truth table and turing degrees. 109-126
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Gauthier85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Gauthier85
Yvon Gauthier:
A theory of local negation: The model and some applications. 127-143
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Flum85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Flum85
Jörg Flum:
Maximale monadische Logiken. 145-152
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Dopp85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Dopp85
Klemens Döpp:
Anmerkungen zum Rekursionstheorem. 153-172
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Abian85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Abian85
Alexander Abian:
A fixed point theorem equivalent to the axiom of choice. 173-174
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Bezem85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Bezem85
Marc Bezem:
Strong normalization of barrecursive terms without using infinite terms. 175-181
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Baigger85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Baigger85
Günter Baigger:
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. 183-188

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.