Axiomatization of local-global principles for pp-formulas in spaces of orderings.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 1, p. 77, doi. 10.1007/s00153-004-0236-0
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2005 AND VI 44 AND IP 1
Results: 6
1
2
The problem of the formalization of constructive topology.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 1, p. 115, doi. 10.1007/s00153-004-0243-1
- By:
- Publication type:
- Article
3
A note on extensions of infinitary logic.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 1, p. 63, doi. 10.1007/s00153-004-0212-8
- By:
- Publication type:
- Article
4
An ordinal analysis of stability.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 1, p. 1, doi. 10.1007/s00153-004-0226-2
- By:
- Publication type:
- Article
5
On the predicate logics of continuous t-norm BL-algebras.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 1, p. 97, doi. 10.1007/s00153-004-0231-5
- By:
- Publication type:
- Article
6
Diamond and antichains.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 1, p. 71, doi. 10.1007/s00153-004-0247-x
- By:
- Publication type:
- Article