Computational complexity on computable metric spaces.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 3, doi. 10.1002/malq.200310001
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2003 AND VI 49 AND IP 1
Results: 10
1
2
Index sets for ω-languages.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 22, doi. 10.1002/malq.200310002
- By:
- Publication type:
- Article
3
Approximate decidability in euclidean spaces.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 34, doi. 10.1002/malq.200310003
- By:
- Publication type:
- Article
4
Products of compact spaces and the axiom of choice II.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 57, doi. 10.1002/malq.200310004
- By:
- Publication type:
- Article
5
Expansions of ordered fields without definable gaps.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 72, doi. 10.1002/malq.200310005
- By:
- Publication type:
- Article
6
The shortest definition of a number in Peano arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 83, doi. 10.1002/malq.200310006
- By:
- Publication type:
- Article
7
On translations of complete first order theories.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 87, doi. 10.1002/malq.200310007
- By:
- Publication type:
- Article
8
The Fraenkel-Carnap question for Dedekind algebras.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 92, doi. 10.1002/malq.200310008
- By:
- Publication type:
- Article
9
On the axiom of extensionality in the positive set theory.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 97, doi. 10.1002/malq.200310009
- By:
- Publication type:
- Article
10
Strongly maximal subgroups determined by elements in interstices.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 101, doi. 10.1002/malq.200310010
- By:
- Publication type:
- Article