|
Journals in DBLP
- V. Baleva
The jump operation for structure degrees. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2006, v:45, n:3, pp:249-265 [Journal]
- Alexej P. Pynko
A relative interpolation theorem for infinitary universal Horn logic and its applications. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2006, v:45, n:3, pp:267-305 [Journal]
- Arthur W. Apter, Grigor Sargsyan
Identity crises and strong compactness III: Woodin cardinals. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2006, v:45, n:3, pp:307-322 [Journal]
- Armin Hemmerling
The Hausdorff-Ershov Hierarchy in Euclidean Spaces. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2006, v:45, n:3, pp:323-350 [Journal]
- Luminita Simona Vîta
Extending strongly continuous functions between apartness spaces. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2006, v:45, n:3, pp:351-356 [Journal]
- Karim Nour, Khelifa Saber
A semantical proof of the strong normalization theorem for full propositional classical natural deduction. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2006, v:45, n:3, pp:357-364 [Journal]
- Yongcheng Wu, Decheng Ding
Computability of measurable sets via effective topologies. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2006, v:45, n:3, pp:365-379 [Journal]
|