Annals of Pure and Applied Logic 1999: Vol 99 Table of Contents

2 Pages·1999·0.28 MB·English

ANNALS OF PURE AND APPLIED LOGIC
Volume 99, Numbers 1-3, 31 August 1999
Abstracted/Indexed in: Current Contents: Physical, Chemical & Earth Sciences, INSPEC Information
Services, Mathematical Reviews, PASCAL, Science Citation Index, The Philosopher's Index,
Zentrallblatt fur Mathematik
Contents
Contributions
O. Chapuis and P. Koiran
Saturation and stability in the theory of computation over the reals 1
S. Solecki
Analytic ideals and their applications 51
K.-H. Niggl
4° considered as a programming language 73
S. Buss and G. Mints
The complexity of the disjunction and existential properties in intuitionistic logic 93
M. Borisavlijevic
A cut-elimination proof in intuitionistic predicate logic 105
K.A. Kearnes, E.W. Kiss and M.A. Valeriote
A geometric consequence of residual smallness 137
A. Louveau and B. Velickovic
Analytic ideals and cofinal types 171
A.A. lvanov and D. Macpherson
Strongly determined types 197
T. Coquand
A Boolean model of ultrafilters 231
Erratum
L.S. Moss
Erratum to “Coalgebraic logic’ [Ann. Pure Appl. Logic 96 (1999) 277-317]
This journal is part of ContentsDirect, the free alerting service which sends
tables of contents by e-mail for Elsevier Science books and journals. The
quickest way to register for ContentsDirect is via the World Wide Web at:
COo\ NpbT ErcN TS+> www.elsevier.nl/locate/ContentsDirect If you don’t have access to the
WWW you can register for this service by sending an e-mail message to
[email protected] specifying the title of the publication you wish to
+
register for. The tables of contents are also available on the Elsevier Science
website at: www.elsevier.nl or www.elsevier.com or www.elsevier.co.jp
WL
Keep track of recently published papers
via the journal’s home page on the WWW:
http://www.elsevier.nl/locate/apal
0168-0072 (19990831 )99:1-3;1-B