Sheaf toposes for realizability.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 5, p. 465, doi. 10.1007/s00153-008-0090-6
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2008 AND VI 47 AND IP 5
Results: 6
1
2
Applications of the topological representation of the pcf-structure.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 5, p. 517, doi. 10.1007/s00153-008-0098-y
- By:
- Publication type:
- Article
3
Logics with disjunction and proof by cases.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 5, p. 435, doi. 10.1007/s00153-008-0088-0
- By:
- Publication type:
- Article
4
Even more simple cardinal invariants.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 5, p. 503, doi. 10.1007/s00153-008-0094-2
- By:
- Publication type:
- Article
5
G-compactness and groups.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 5, p. 479, doi. 10.1007/s00153-008-0092-4
- By:
- Publication type:
- Article
6
Model theory of the regularity and reflection schemes.
- Published in:
- Archive for Mathematical Logic, 2008, v. 47, n. 5, p. 447, doi. 10.1007/s00153-008-0089-z
- By:
- Publication type:
- Article