default search action

combined dblp search
author search
venue search
publication search

ask others

Archiv für mathematische Logik und Grundlagenforschung, Volume 23

> 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 23, Number 1, December 1983

- view
  authority control:
- export record
  dblp key:
  - journals/aml/Bunder83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Bunder83
Martin W. Bunder:
Predicate calculus of arbitrarily high finite order. 1-10
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Rimscha83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Rimscha83
Michael von Rimscha:
Bases of ZF⁰-models. 11-19
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Statman83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Statman83
Richard Statman:
λ-definable functionals andβη conversion. 21-26
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Mundici83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Mundici83
Daniele Mundici:
A lower bound for the complexity of Craig's interpolants in sentential logic. 27-36
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Mundici83a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Mundici83a
Daniele Mundici:
Natural limitations of decision procedures for arithmetic with bounded quantifiers. 37-54
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Flannagan83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Flannagan83
T. B. Flannagan:
A note on a proof of Shepherdson. 55-60
- view
  authority control:
- export record
  dblp key:
  - journals/aml/JonesS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/JonesS83
James P. Jones, John C. Shepherdson:
Variants of Robinson's essentially undecidable theoryR. 61-64
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Jager83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Jager83
Gerhard Jäger:
A well-ordering proof for Feferman's theoryT₀. 65-77
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Normann83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Normann83
Dag Normann:
R.E. degrees of continuous functionals. 79-98
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Bunder83a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Bunder83a
Martin W. Bunder:
A one axiom set theory based on higher order predicate calculus. 99-107
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Bunder83b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Bunder83b
Martin W. Bunder:
Set theory in predicate calculus with equality. 109-113
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Kranakis83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Kranakis83
Evangelos Kranakis:
Definable Ramsey and definable Erdös ordinals. 115-128
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Ragaz83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Ragaz83
Matthias Ragaz:
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik. 129-139
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Ragaz83a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Ragaz83a
Matthias Ragaz:
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre. 141-146
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Pillay83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Pillay83
Anand Pillay:
A note on tight stable theorie. 147-152
- view
  authority control:
- export record
  dblp key:
  - journals/aml/ScedrovV83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/ScedrovV83
Andre Scedrov, Richard Vesley:
On a weakening of Markov's Principle. 153-160
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Naumovic83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Naumovic83
Jovan Naumovic:
A classification of the one-argument primitive recursive functions. 161-174
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Buning83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Buning83
Hans Kleine Büning:
A classification of an iterative hierarchy. 175-186

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.