Works matching IS 09425616 AND DT 2007 AND VI 53 AND IP 2
Results: 10
Hyper-Archimedean BL-algebras are MV-algebras.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 2, p. 170, doi. 10.1002/malq.200610037
- By:
- Publication type:
- Article
Computing the complexity of the relation of isometry between separable Banach spaces.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 2, p. 128, doi. 10.1002/malq.200610032
- By:
- Publication type:
- Article
Existence of EF-equivalent non-isomorphic models.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 2, p. 111, doi. 10.1002/malq.200610031
- By:
- Publication type:
- Article
Shoenfield is Gödel after Krivine.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 2, p. 176, doi. 10.1002/malq.200610038
- By:
- Publication type:
- Article
Bounded BCK-algebras and their generated variety.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 2, p. 206, doi. 10.1002/malq.200610040
- By:
- Publication type:
- Article
A topology induced by uniformity on BL-algebras.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 2, p. 162, doi. 10.1002/malq.200610035
- By:
- Publication type:
- Article
Non-standard analysis in ACA<sub>0</sub> and Riemann mapping theorem.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 2, p. 132, doi. 10.1002/malq.200610033
- By:
- Publication type:
- Article
Uniform domain representations of ℓ<sup>p</sup>-spaces.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 2, p. 180, doi. 10.1002/malq.200610039
- By:
- Publication type:
- Article
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 2, p. 147, doi. 10.1002/malq.200610034
- By:
- Publication type:
- Article
Corrigendum to “Unique solutions”.
- Published in:
- 2007
- By:
- Publication type:
- Erratum