default search action

combined dblp search
author search
venue search
publication search

ask others

Archiv für mathematische Logik und Grundlagenforschung, Volume 22

> 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 22, Numbers 1-2, June 1980

- view
  authority control:
- export record
  dblp key:
  - journals/aml/Ebbinghaus080
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Ebbinghaus080
Heinz-Dieter Ebbinghaus, Martin Ziegler:
Interpolation in Logiken monotoner Systeme. 1-17
- view
  authority control:
- export record
  dblp key:
  - journals/aml/CaporasoP80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/CaporasoP80
Salvatore Caporaso, Giovanni Pani:
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets. 19-26
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Vogel80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Vogel80
H. Vogel:
Eine Variante Des OrdinalzahlbezeichnungssystemsΣ. 27-41
- view
  authority control:
- export record
  dblp key:
  - journals/aml/AanderaaBG80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/AanderaaBG80
Stål O. Aanderaa, Egon Börger, Yuri Gurevich:
Prefix classes of krom formulae with identity. 43-49
- view
  authority control:
- export record
  dblp key:
  - journals/aml/DysonJS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/DysonJS80
Verena H. Dyson, James P. Jones, John C. Shepherdson:
Some diophantine forms of gödel's theorem. 51-60
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Mundici80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Mundici80
Daniele Mundici:
Interpolation, compactness and JEP in soft model theory. 61-67
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Pohlers80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Pohlers80
Wolfram Pohlers:
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions. 69-87

Volume 22, Numbers 3-4, September 1980

- view
  authority control:
- export record
  dblp key:
  - journals/aml/Lopez-Escobar80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Lopez-Escobar80
E. G. K. López-Escobar:
Further applications of ultra-conservative ω-rules. 89-102
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Gurevich80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Gurevich80
Yuri Gurevich:
Existential interpretation. II. 103-120
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Jager80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Jager80
Gerhard Jäger:
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen. 121-139
- view
  authority control:
- export record
  dblp key:
  - journals/aml/KrynickiV80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/KrynickiV80
Michal Krynicki, Jouko Väänänen:
On orderings of the family of all logics. 141-158
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Glubrecht80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Glubrecht80
Jürgen-Michael Glubrecht:
Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin. 159-166

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.