Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 64

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Annals of Pure and Applied Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 64, Number 1, 6 October 1993

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ignatiev93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ignatiev93
Konstantin N. Ignatiev:
The Provability Logic for sigma₁-Interpolability. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Kohlenbach93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Kohlenbach93
Ulrich Kohlenbach:
Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation. 27-94

Volume 64, Number 2, 14 October 1993

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ratajczyk93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ratajczyk93
Zygmunt Ratajczyk:
Subsystems of True Arithmetic and Hierarchies of Functions. 95-152
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Schlindwein93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Schlindwein93
Chaz Schlindwein:
Suslin's Hypothesis Does Not Imply Stationary Antichains. 153-167
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ShelahLH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ShelahLH93
Saharon Shelah, Claude Laflamme, Bradd Hart:
Models with Second Order Properties V: A General Principle. 169-194

Volume 64, Number 3, 11 November 1993

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ambos-SpiesLS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ambos-SpiesLS93
Klaus Ambos-Spies, Alistair H. Lachlan, Robert I. Soare:
The Continuity of Cupping to 0'. 195-209
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Farmer93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Farmer93
William M. Farmer:
A Simple Type Theory with Partial Functions and Subtypes. 211-240
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Huberich93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Huberich93
Markus Huberich:
Large Ideals on Small Cardinals. 241-271
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HylandP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HylandP93
Martin Hyland, Valeria de Paiva:
Full Intuitionistic Linear Logic (extended abstract). 273-291

a service of

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.