Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematical Logic, Volume 23

> Home > Journals > Annals of Mathematical Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 23, Number 1, October 1982

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Baudisch82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Baudisch82
Andreas Baudisch:
Decidability and stability of free nilpotent lie algebras and free nilpotent p-groups of finite exponent. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Faust82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Faust82
Don H. Faust:
The Boolean algebra of formulas of first-order logic. 27-53
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Grayson82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Grayson82
Robin J. Grayson:
Concepts of general topology in constructive mathematics and in sheaves, II. 55-98
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Grayson82a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Grayson82a
Robin J. Grayson:
A correction to "concepts of general topology in constructive mathematics and in sheaves". 99

Volume 23, Numbers 2-3, December 1982

- view
  authority control:
- export record
  dblp key:
  - journals/apal/David82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/David82
René David:
A very absolute Π₂¹ real singleton. 101-120
- view
  authority control:
- export record
  dblp key:
  - journals/apal/David82a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/David82a
René David:
Δ³₁ reals. 121-125
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Beeson82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Beeson82
Michael Beeson:
Recursive models for constructive set theories. 127-178
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GurevichS82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GurevichS82
Yuri Gurevich, Saharon Shelah:
Monadic theory of order and topology in ZFC. 179-198
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Velleman82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Velleman82
Daniel J. Velleman:
Morasses, diamond, and forcing. 199-281

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.