default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 59

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 59, Number 1, 1 January 1993

- view
  authority control:
- export record
  dblp key:
  - journals/apal/AbrahamS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/AbrahamS93
Uri Abraham, Saharon Shelah:
A Delta²₂ Well-Order of the Reals and Incompactness of L(Q^MM). 1-32
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Caicedo93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Caicedo93
Xavier Caicedo:
Compactness and Normality in Abstract Logics. 33-43
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Holmes93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Holmes93
M. Randall Holmes:
Systems of Combinatory Logic Related to Predicative and 'Mildly Impredicative' Fragments of Quine's 'New Foundations'. 45-53
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Love93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Love93
John Love:
Stability among r.e. Quotient Algebras. 55-63
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Yu93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Yu93
Xiaokang Yu:
Riesz Representation Theorem, Borel Measures and Subsystems of Second-Order Arithmetic. 65-78

Volume 59, Number 2, 5 January 1993

- view
  authority control:
- export record
  dblp key:
  - journals/apal/CenzerDJS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/CenzerDJS93
Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore:
Countable Thin Pi⁰₁ Classes. 79-139
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Lano93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Lano93
Kevin Lano:
The Intuitionistic Alternative Set Theory. 141-156

Volume 59, Number 3, 16 February 1993

A Selection of Papers Presented at the Fourth Asian Logic Conference

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Buss93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Buss93
Samuel R. Buss:
Intuitionistic Validity in T-Normal Kripke Structures. 159-173
- view
  authority control:
- export record
  dblp key:
  - journals/apal/DowneyS93a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DowneyS93a
Rodney G. Downey, Michael Stob:
Friedberg Splittings of Recursively Enumerable Sets. 175-199
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Girard93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Girard93
Jean-Yves Girard:
On the Unity of Logic. 201-217
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GitikS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GitikS93
Moti Gitik, Saharon Shelah:
More on Simple Forcing Notions and Forcings with Ideals. 219-238
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Koppelberg93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Koppelberg93
Sabine Koppelberg:
A Construction of Boolean Algebras from First-Order Structures. 239-256
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Kumabe93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Kumabe93
Masahiro Kumabe:
Generic Degrees are Complemented. 257-272
- view
  authority control:
- export record
  dblp key:
  - journals/apal/LiLL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/LiLL93
Lian Li, Huilin Li, Yixun Liu:
A Decision Algorithm for Linear Sentences on a PFM. 273-286

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.