default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 121

> 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 121, Number 1, May 2003

- view
  authority control:
- export record
  dblp key:
  - journals/apal/KohlenbachO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/KohlenbachO03
Ulrich Kohlenbach, Paulo Oliva:
Proof mining in L₁-approximation. 1-38
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Luttik03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Luttik03
Bas Luttik:
On the expressiveness of choice quantification. 39-87
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Matet03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Matet03
Pierre Matet:
Partition relations for kappa-normal ideals on P_kappa(lambda). 89-111

Volume 121, Numbers 2-3, June 2003

- view
  authority control:
- export record
  dblp key:
  - journals/apal/BelegradekVW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BelegradekVW03
Oleg V. Belegradek, Viktor Verbovskiy, Frank O. Wagner:
Coset-minimal groups. 113-143
- view
  authority control:
- export record
  dblp key:
  - journals/apal/KubisS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/KubisS03
Wieslaw Kubis, Saharon Shelah:
Analytic colorings. 145-161
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Arai03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Arai03
Toshiyasu Arai:
Epsilon substitution method for ID₁(Pi₁⁰ or Sigma₁⁰). 163-208
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Harizanov03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Harizanov03
Valentina S. Harizanov:
Turing degrees of hypersimple relations on computable structures. 209-226
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Pourmahdian03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Pourmahdian03
Massoud Pourmahdian:
Simple generic structures. 227-260
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Lucas03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Lucas03
F. Lucas:
First-order theories of subgroups of divisible Hahn products. 261-279
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HalpernK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HalpernK03
Joseph Y. Halpern, Bruce M. Kapron:
Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193]. 281-283
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Avigad03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Avigad03
Jeremy Avigad:
Erratum to "Saturated models of universal theories": [Ann. Pure Appl. Logic 118 (2002) 219-234]. 285-

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.