ω-categorical weakly o-minimal expansions of Boolean lattices.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 394, doi. 10.1002/malq.200310042
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2003 AND VI 49 AND IP 4
Results: 13
1
2
The discrete parts of approximately decidable sets in Euclidean spaces.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 428, doi. 10.1002/malq.200310046
- By:
- Publication type:
- Article
3
On two questions about feasibly constructive arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 425, doi. 10.1002/malq.200310045
- By:
- Publication type:
- Article
4
A probabilistic extension of intuitionistic logic.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 415, doi. 10.1002/malq.200310044
- By:
- Publication type:
- Article
5
On semilattice relevant logics.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 401, doi. 10.1002/malq.200310043
- By:
- Publication type:
- Article
6
Arithmetical definability over finite structures.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 385, doi. 10.1002/malq.200310041
- By:
- Publication type:
- Article
7
Characterizing strong compactness via strongness.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 375, doi. 10.1002/malq.200310040
- By:
- Publication type:
- Article
8
Some weak forms of the Baire category theorem.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 369, doi. 10.1002/malq.200310039
- By:
- Publication type:
- Article
9
Expanding the additive reduct of a model of Peano arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 363, doi. 10.1002/malq.200310038
- By:
- Publication type:
- Article
10
Generic separations and leaf languages.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 353, doi. 10.1002/malq.200310037
- By:
- Publication type:
- Article
11
Categorical abstract algebraic logic: The criterion for deductive equivalence.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 347, doi. 10.1002/malq.200310036
- By:
- Publication type:
- Article
12
Negation and BCK-algebras.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 336, doi. 10.1002/malq.200310035
- By:
- Publication type:
- Article
13
A splitting theorem for the Medvedev and Muchnik lattices.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 4, p. 327, doi. 10.1002/malq.200310034
- By:
- Publication type:
- Article