Contributions, which should be in English, may be submitted to any editor, preferably in electronic form. Final decision for publication
will be taken by a Managing Editor.
Each paper should be introduced by a (short) self-contained abstract without long formulas.
Upon acceptance of an article, the author(s) will be asked to transfer copyright of the article to the publisher. This transfer will
ensure the widest possible dissemination of information.
No page charge is made. Please note that typesetting costs of author's
corrections in proof, other than the printer's errors, will be charged to the author.
The manuscript should be prepared for publication
in accordance with the instructions given below: ˙ The manuscript must be typed on one side of the paper in double spacing with
wide margins. A duplicate copy should be retained by the author. • Papers submitted to the journal should include short abstracts,
keywords and subject code classifications in accordance with current AMS procedures. The author's postal address, e-mail address, telephone
number and fax number should also be provided. • References should be listed alphabetically, typed in the same format as the
main text, preferably in the same way as the following examples: For a book: Heyting, Intuitionism, 2nd ed. (North-Holland,
Amsterdam, 1966). For a paper in a journal: A. Mostowski, On computable sequences, Fund. Math. 44 (1957) 37-51. For
a contribution to a contributed volume: G. Kreisel, Mathematical logic, in: T.L. Saaty, ed., Lectures on Modern Mathematics, vol.
III (Wiley, New York, 1968). For an unpublished paper: G.E. Reyes, Typical and generic relations in a Baire space of models,
Ph.D. Thesis, Univ. of California, Berkeley, CA (1967). • Please
click here for the Elsevier LaTeX package (including detailed instructions for LaTeX preparation).
The Elsevier package
consists of the files: elsart.cls (use this file if you are using LaTeX2e, the current version of LaTeX), elsart.sty and elsart12.sty
(use these two files if you are using LaTeX2.09, the previous version of LaTeX), instraut.dvi and/or instraut.ps and/or instraut.pdf
(instruction booklet), model-harv.tex or model-num.tex (model files with instructions), template-harv.tex or template-num.tex (template
files).
Papers submitted to Annals of Pure and Applied Logic may also be posted on The Mathematics Preprint Server (http://www.mathpreprints.com).
Posting on The Mathematics Preprint Server is in conformity with Elsevier copyright policy and in no way conflicts with submission to
Annals of Pure and Applied Logic.
