Generic compactness reformulated.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 311, doi. 10.1007/s00153-003-0211-1
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2004 AND VI 43 AND IP 3
Results: 10
1
2
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 337, doi. 10.1007/s00153-003-0206-y
- By:
- Publication type:
- Article
3
Matrix identities and the pigeonhole principle.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 351, doi. 10.1007/s00153-003-0205-z
- By:
- Publication type:
- Article
4
Quasimaximality and principal filters isomorphism between.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 415, doi. 10.1007/s00153-003-0196-9
- By:
- Publication type:
- Article
5
Proof-theoretical analysis of order relations.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 297, doi. 10.1007/s00153-003-0209-8
- By:
- Publication type:
- Article
6
The isomorphism problem for classes of computable fields.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 327, doi. 10.1007/s00153-004-0219-1
- By:
- Publication type:
- Article
7
Forcing axiom failure for any λ>ℵ<sub>1</sub>.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 285, doi. 10.1007/s00153-003-0208-9
- By:
- Publication type:
- Article
8
Adding Skolem functions to simple theories.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 359, doi. 10.1007/s00153-003-0201-3
- By:
- Publication type:
- Article
9
On the quantifier complexity of Δ<sub> n+1</sub> (T)– induction.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 371, doi. 10.1007/s00153-003-0198-7
- By:
- Publication type:
- Article
10
Embeddings into the Medvedev and Muchnik lattices of Π<sup>0</sup><sub>1</sub> classes.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 3, p. 399, doi. 10.1007/s00153-003-0195-x
- By:
- Publication type:
- Article