default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 102

> 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 102, Numbers 1-2, 3 March 2000

- view
  authority control:
- export record
  dblp key:
  - journals/apal/DafaJL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DafaJL00
Dafa Li, Peifa Jia, Xinxin Li:
Simplifying von Plato's Axiomatization of Constructive Apartness Geometry. 1-26
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Appenzeller00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Appenzeller00
Fred Appenzeller:
Classification Theory through Stationary Logic. 27-68
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Kanovei00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Kanovei00
Vladimir Kanovei:
Linearization of Definable Order Relations. 69-100
- view
  authority control:
- export record
  dblp key:
  - journals/apal/JensenZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/JensenZ00
Ronald B. Jensen, Martin Zeman:
Smooth Categories and Global square. 101-138
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HamkinsT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HamkinsT00
Joel David Hamkins, Simon Thomas:
Changing the Heights of Automorphism Towers. 139-157
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Edmundo00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Edmundo00
Mário J. Edmundo:
Structure Theorems for o-Minimal Expansions of Groups. 159-181

Volume 102, Number 3, 15 April 2000

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ghilardi00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ghilardi00
Silvio Ghilardi:
Best Solving Modal Equations. 183-198
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ApterC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ApterC00
Arthur W. Apter, James Cummings:
A Global Version of a Theorem of Ben-David and Magidor. 199-222
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Kohlenbach00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Kohlenbach00
Ulrich Kohlenbach:
Things That Can and Things That Cannot Be Done in PRA. 223-245
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BucciarelliE00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BucciarelliE00
Antonio Bucciarelli, Thomas Ehrhard:
On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. 247-282
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Pynko00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Pynko00
Alexej P. Pynko:
Erratum to "Definitional Equivalence and Algebraizability of Generalized Logical Systems". 283-284

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.