Construction of universal modal worlds based on hyperset theory.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 1, p. 1, doi. 10.1007/s001530050113
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 1999 AND VI 38 AND IP 1
Results: 3
1
2
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 1, p. 19
- By:
- Publication type:
- Article
3
Possible size of an ultrapower of ...
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 1, p. 61, doi. 10.1007/s001530050115
- By:
- Publication type:
- Article