Hamel-isomorphic images of the unit ball.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 625, doi. 10.1002/malq.200910113
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2010 AND VI 56 AND IP 6
Results: 11
1
2
The Bounded Axiom A Forcing Axiom.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 659, doi. 10.1002/malq.200810163
- By:
- Publication type:
- Article
3
Contents: Math. Log. Quart. 6/2010.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 561, doi. 10.1002/malq.201060000
- Publication type:
- Article
4
Contents of Volume 56.
- Published in:
- 2010
- Publication type:
- Table of Contents
5
Proof interpretations with truth.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 591, doi. 10.1002/malq.200910112
- By:
- Publication type:
- Article
6
The quantifier complexity of polynomial-size iterated definitions in first-order logic.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 573, doi. 10.1002/malq.200910111
- By:
- Publication type:
- Article
7
Subquasivarieties of implicative locally-finite quasivarieties.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 643, doi. 10.1002/malq.200810161
- By:
- Publication type:
- Article
8
Refinement is equivalent to Fullness.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 666, doi. 10.1002/malq.200910115
- By:
- Publication type:
- Article
9
Relative arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 564, doi. 10.1002/malq.200910110
- By:
- Publication type:
- Article
10
Consistency of Heyting arithmetic in natural deduction.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 611, doi. 10.1002/malq.200910118
- By:
- Publication type:
- Article
11
Substandard models of finite set theory.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 6, p. 631, doi. 10.1002/malq.200910114
- By:
- Publication type:
- Article