The spectrum of partitions of a Boolean algebra.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 4, p. 243, doi. 10.1007/s001530000065
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2001 AND VI 40 AND IP 4
Results: 5
1
2
Explaining the Gentzen-Takeuti reduction steps: a second-order system.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 4, p. 255, doi. 10.1007/s001530000064
- By:
- Publication type:
- Article
3
Trees and Keislers problem.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 4, p. 273, doi. 10.1007/s001530000061
- By:
- Publication type:
- Article
4
Submodels of Kripke models.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 4, p. 277, doi. 10.1007/PL00003842
- By:
- Publication type:
- Article
5
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of ℚ.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 4, p. 297, doi. 10.1007/PL00003843
- By:
- Publication type:
- Article