Lattice embeddings and array noncomputable degrees.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 219, doi. 10.1002/malq.200310092
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2004 AND VI 50 AND IP 3
Results: 11
1
2
EM + Ext<sub>-</sub> + AC<sub>int</sub> is equivalent to AC<sub>ext</sub>.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 236
- By:
- Publication type:
- Article
3
On the Boolean algebras of definable sets in weakly o-minimal theories.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 241, doi. 10.1002/malq.200310095
- By:
- Publication type:
- Article
4
An infinitary variant of Metric Temporal Logic over dense time domains.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 249, doi. 10.1002/malq.200310096
- By:
- Publication type:
- Article
5
Variation on a theme of Schütte.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 258, doi. 10.1002/malq.200310097
- By:
- Publication type:
- Article
6
A general approach to fuzzy concepts.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 265, doi. 10.1002/malq.200310098
- By:
- Publication type:
- Article
7
On deciding the non-emptiness of 2SAT polytopes with respect to First Order Queries.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 281, doi. 10.1002/malq.200310099
- By:
- Publication type:
- Article
8
Constructive complements of unions of two closed sets.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 293, doi. 10.1002/malq.200410093
- By:
- Publication type:
- Article
9
A note on Grzegorczyk's logic.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 295
- By:
- Publication type:
- Article
10
Fragments of Martin's Maximum in generic extensions.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 297, doi. 10.1002/malq.200410101
- By:
- Publication type:
- Article
11
On weakening the Deduction Theorem and strengthening Modus Ponens.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 3, p. 303, doi. 10.1002/malq.200410001
- By:
- Publication type:
- Article