default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 94

> 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 94, Number 1-3, 5 October 1998

Conference on Computability Theory, 27 January - 3 February 1996, Oberwolfach, Germany

- view
  authority control:
- export record
  dblp key:
  - journals/apal/BeckmannP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BeckmannP98
Arnold Beckmann, Wolfram Pohlers:
Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory. 7-19
- view
  authority control:
- export record
  dblp key:
  - journals/apal/CenzerR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/CenzerR98
Douglas A. Cenzer, Jeffrey B. Remmel:
Feasible Graphs with Standard Universe. 21-35
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Cholak98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Cholak98
Peter Cholak:
The Dense Simple Sets are Orbit Complete with Respect to the Simple Sets. 37-44
- view
  authority control:
- export record
  dblp key:
  - journals/apal/DowneyS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DowneyS98
Rodney G. Downey, Richard A. Shore:
Splitting Theorems and the Jump Operator. 45-52
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Fejer98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Fejer98
Peter A. Fejer:
Lattice Representations for Computability Theory. 53-74
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Goncharov98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Goncharov98
Sergei S. Goncharov:
Decidable Boolean Algebras of Low Level. 75-95
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HarringtonS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HarringtonS98
Leo Harrington, Robert I. Soare:
Definable Properties of the Computably Enumerable Sets. 97-125
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Knight98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Knight98
Julia F. Knight:
Coding a Family of Sets. 127-142
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Lerman98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Lerman98
Manuel Lerman:
A Necessary and Sufficient Condition for Embedding Ranked Finite Partial Lattices into the Computably Enumerable Degrees. 143-180
- view
  authority control:
- export record
  dblp key:
  - journals/apal/RathjenGP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/RathjenGP98
Michael Rathjen, Edward R. Griffor, Erik Palmgren:
Inaccessibility in Constructive Set Theory and Type Theory. 181-200
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Schwichtenberg98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Schwichtenberg98
Helmut Schwichtenberg:
Finite Notations for Infinite Terms. 201-222
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Shlapentokh98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Shlapentokh98
Alexandra Shlapentokh:
Weak Presentations of Non-Finitely Generated Fields. 223-252
- view
  authority control:
- export record
  dblp key:
  - journals/apal/SlamanW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/SlamanW98
Theodore A. Slaman, W. Hugh Woodin:
Extending Partial Orders to Dense Linear Orders. 253-261
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Sorbi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Sorbi98
Andrea Sorbi:
Sets of Generators and Automorphism Bases for the Enumeration Degrees. 263-272
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Stephan98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Stephan98
Frank Stephan:
Learning via Queries and Oracles. 273-296

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.