Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 121
Volume 121, Number 1, May 2003
- Ulrich Kohlenbach, Paulo Oliva:
Proof mining in L1-approximation. 1-38 - Bas Luttik:
On the expressiveness of choice quantification. 39-87 - Pierre Matet:
Partition relations for kappa-normal ideals on Pkappa(lambda). 89-111
Volume 121, Numbers 2-3, June 2003
- Oleg V. Belegradek, Viktor Verbovskiy
, Frank O. Wagner:
Coset-minimal groups. 113-143 - Wieslaw Kubis, Saharon Shelah:
Analytic colorings. 145-161 - Toshiyasu Arai:
Epsilon substitution method for ID1(Pi10 or Sigma10). 163-208 - Valentina S. Harizanov:
Turing degrees of hypersimple relations on computable structures. 209-226 - Massoud Pourmahdian:
Simple generic structures. 227-260 - F. Lucas:
First-order theories of subgroups of divisible Hahn products. 261-279 - Joseph Y. Halpern, Bruce M. Kapron:
Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193]. 281-283 - Jeremy Avigad:
Erratum to "Saturated models of universal theories": [Ann. Pure Appl. Logic 118 (2002) 219-234]. 285-
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.
last updated on 2024-05-31 18:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
