A computably stable structure with no Scott family of finitary formulas.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 5, p. 519, doi. 10.1007/s00153-005-0326-7
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2006 AND VI 45 AND IP 5
Results: 7
1
2
On two fragments with negation and without implication of the logic of residuated lattices.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 5, p. 615, doi. 10.1007/s00153-005-0324-9
- By:
- Publication type:
- Article
3
On the rules of intermediate logics.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 5, p. 581, doi. 10.1007/s00153-006-0320-8
- By:
- Publication type:
- Article
4
On interplay of quantifiers in Gödel-Dummett fuzzy logics.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 5, p. 569, doi. 10.1007/s00153-005-0322-y
- By:
- Publication type:
- Article
5
Almost complemented Π<sup>0</sup><sub>1</sub> classes.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 5, p. 555, doi. 10.1007/s00153-005-0293-z
- By:
- Publication type:
- Article
6
No Escape from Vardanyan's theorem.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 5, p. 539, doi. 10.1007/s00153-006-0328-0
- By:
- Publication type:
- Article
7
Conservative extension of polyadic MV-algebras to polyadic pavelka algebras.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 5, p. 601, doi. 10.1007/s00153-005-0277-z
- By:
- Publication type:
- Article