default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 27
Volume 27, Number 1, August 1984
- Harvey M. Friedman, Andrej Scedrov
:
Large sets in intuitionistic set theory. 1-24 - Jon Pearce:
A constructive consistency proof of a fragment of set theory. 25-62 - Gerrit van Der Hoeven, Ieke Moerdijk:
Sheaf models for choice sequences. 63-107
Volume 27, Number 2, October 1984
- Matt Kaufmann, James H. Schmerl:
Saturation and simple extensions of models of peano arithmetic. 109-136 - Terrence Millar:
Decidability and the number of countable models. 137-153 - Andrej Scedrov:
On some non-classical extensions of second-order intuitionistic propositional calculus. 155-164 - John Kenneth Truss:
Cancellation laws for surjective cardinals. 165-208
Volume 27, Number 3, November 1984
- Matt Kaufmann, Saharon Shelah:
A nonconservativity result on global choice. 209-214 - L. A. S. Kirby:
Ultrafilters and types on models of arithmetic. 215-252 - Michael Moses:
Recursive linear orders with recursive successivities. 253-264 - Daniele Mundici:
Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity. 265-273 - Philip Scowcroft:
The real-algebraic structure of Scott's model of intuitionistic analysis. 275-308
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.
last updated on 2024-12-27 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
