Volume 164; Issue 1

Annals of Pure and Applied Logic

Volume 164; Issue 1

1

Integration in algebraically closed valued fields with sections

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 512 KB

english, 2013

2

The isomorphism problem for ω-automatic trees

Dietrich Kuske, Jiamou Liu, Markus Lohrey

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 363 KB

english, 2013

3

Forcing with finite conditions

Gregor Dolinar, Mirna Džamonja

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 370 KB

english, 2013

4

Erratum to “Elimination of unbounded quantifiers for some poly-regular groups of infinite rank” [Ann. Pure Appl. Logic 149 (1–3) (2007) 40–80]

Philip Scowcroft

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 73 KB

english, 2013

5

Editorial Board

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 21 KB

english, 2013