More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 41

> 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 41, Number 1, 10 January 1989

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Downey89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Downey89
Rodney G. Downey:
Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part I: Density. 1-26
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HatzikiriakouS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HatzikiriakouS89
Kostas Hatzikiriakou, Stephen G. Simpson:
Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic. 27-32
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Pitts89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Pitts89
Andrew M. Pitts:
Conceptual Completeness for First-Order Intuitionistic Logic: An Application of Categorical Logic. 33-81
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Scowcroft89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Scowcroft89
Philip Scowcroft:
More on Brouwer's Refutations. 83-91

Volume 41, Number 2, 6 February 1989

- view
  authority control:
- export record
  dblp key:
  - journals/apal/ApterDHZ89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ApterDHZ89
Arthur W. Apter, Carlos DiPrisco, James M. Henle, William S. Zwicker:
Filter Spaces: Toward a Unified Theory of Large Cardinals and Embedding Axioms. 93-106
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BeigelGO89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BeigelGO89
Richard Beigel, William I. Gasarch, James C. Owings:
Nondeterministic Bounded Query Reducibilities. 107-118
- view
  authority control:
- export record
  dblp key:
  - journals/apal/DowneyS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DowneyS89
Rodney G. Downey, Theodore A. Slaman:
Completely Mitotic r.e. Degrees. 119-152
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Krajicek89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Krajicek89
Jan Krajícek:
On the Number of Steps in Proofs. 153-178
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Miller89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Miller89
Arnold W. Miller:
Infinite Combinatorics and Definability. 179-203

Volume 41, Number 3, 1 March 1989

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Bouscaren89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Bouscaren89
Elisabeth Bouscaren:
Dimensional Order Property and Pairs of Models. 205-231
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Friedman89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Friedman89
Sy D. Friedman:
Minimal Coding. 233-297

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.