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 27

> 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 27, Number 1, August 1984

- view
  authority control:
- export record
  dblp key:
  - journals/apal/FriedmanS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/FriedmanS84
Harvey M. Friedman, Andrej Scedrov:
Large sets in intuitionistic set theory. 1-24
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Pearce84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Pearce84
Jon Pearce:
A constructive consistency proof of a fragment of set theory. 25-62
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HoevenM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HoevenM84
Gerrit van Der Hoeven, Ieke Moerdijk:
Sheaf models for choice sequences. 63-107

Volume 27, Number 2, October 1984

- view
  authority control:
- export record
  dblp key:
  - journals/apal/KaufmannS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/KaufmannS84
Matt Kaufmann, James H. Schmerl:
Saturation and simple extensions of models of peano arithmetic. 109-136
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Millar84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Millar84
Terrence Millar:
Decidability and the number of countable models. 137-153
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Scedrov84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Scedrov84
Andrej Scedrov:
On some non-classical extensions of second-order intuitionistic propositional calculus. 155-164
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Truss84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Truss84
John Kenneth Truss:
Cancellation laws for surjective cardinals. 165-208

Volume 27, Number 3, November 1984

- view
  authority control:
- export record
  dblp key:
  - journals/apal/KaufmannS84a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/KaufmannS84a
Matt Kaufmann, Saharon Shelah:
A nonconservativity result on global choice. 209-214
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Kirby84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Kirby84
L. A. S. Kirby:
Ultrafilters and types on models of arithmetic. 215-252
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Moses84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Moses84
Michael Moses:
Recursive linear orders with recursive successivities. 253-264
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Mundici84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Mundici84
Daniele Mundici:
Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity. 265-273
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Scowcroft84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Scowcroft84
Philip Scowcroft:
The real-algebraic structure of Scott's model of intuitionistic analysis. 275-308

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.