Very simple theories without forking.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 6, p. 601, doi. 10.1007/s00153-003-0172-4
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2003 AND VI 42 AND IP 6
Results: 6
1
2
Density of the Medvedev lattice of Π[sup0][sub1].
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 6, p. 583, doi. 10.1007/s00153-002-0166-7
- By:
- Publication type:
- Article
3
On ultraproducts of Boolean algebras and irr.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 6, p. 569, doi. 10.1007/s00153-002-0167-6
- By:
- Publication type:
- Article
4
Relating decision and search algorithms for rational points on curves of higher genus.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 6, p. 563, doi. 10.1007/s00153-002-0163-x
- By:
- Publication type:
- Article
5
Limit lemmas and jump inversion in the enumeration degrees.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 6, p. 553, doi. 10.1007/s00153-002-0161-z
- By:
- Publication type:
- Article
6
Proof-theoretic analysis by iterated reflection.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 6, p. 515, doi. 10.1007/s00153-002-0158-7
- By:
- Publication type:
- Article