Works matching IS 09335846 AND DT 2006 AND VI 45 AND IP 3
Results: 7
Extending strongly continuous functions between apartness spaces.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 3, p. 351, doi. 10.1007/s00153-005-0299-6
- By:
- Publication type:
- Article
The jump operation for structure degrees.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 3, p. 249, doi. 10.1007/s00153-004-0245-z
- By:
- Publication type:
- Article
A semantical proof of the strong normalization theorem for full propositional classical natural deduction.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 3, p. 357, doi. 10.1007/s00153-005-0314-y
- By:
- Publication type:
- Article
Computability of measurable sets via effective topologies.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 3, p. 365, doi. 10.1007/s00153-005-0315-x
- By:
- Publication type:
- Article
Identity crises and strong compactness III: Woodin cardinals.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 3, p. 307, doi. 10.1007/s00153-005-0316-9
- By:
- Publication type:
- Article
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 3, p. 323, doi. 10.1007/s00153-005-0317-8
- By:
- Publication type:
- Article
A relative interpolation theorem for infinitary universal Horn logic and its applications.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 3, p. 267, doi. 10.1007/s00153-005-0302-2
- By:
- Publication type:
- Article