Volume 43; Issue 3

Archive for Mathematical Logic

Volume 43; Issue 3
1

Embeddings into the Medvedev and Muchnik lattices of

Year:
2004
Language:
english
File:
PDF, 167 KB
english, 2004
2

Quasimaximality and principal filters isomorphism between

Year:
2004
Language:
english
File:
PDF, 132 KB
english, 2004
4

Adding Skolem functions to simple theories

Year:
2004
Language:
english
File:
PDF, 122 KB
english, 2004
5

Matrix identities and the pigeonhole principle

Year:
2004
Language:
english
File:
PDF, 83 KB
english, 2004
7

Forcing axiom failure for any λ>ℵ1

Year:
2004
Language:
english
File:
PDF, 149 KB
english, 2004
8

Proof-theoretical analysis of order relations

Year:
2004
Language:
english
File:
PDF, 109 KB
english, 2004
9

Generic compactness reformulated

Year:
2004
Language:
english
File:
PDF, 168 KB
english, 2004
10

The isomorphism problem for classes of computable fields

Year:
2004
Language:
english
File:
PDF, 105 KB
english, 2004