Works matching IS 09601295 AND DT 2020 AND VI 30 AND IP 9
Results: 3
A unified approach to some non-Hausdorff topological properties.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 9, p. 997, doi. 10.1017/S0960129521000025
- By:
- Publication type:
- Article
Preserving cardinals and weak forms of Zorn's lemma in realizability models.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 9, p. 976, doi. 10.1017/S0960129521000013
- By:
- Publication type:
- Article
The nominal/FM Yoneda Lemma.
- Published in:
- Mathematical Structures in Computer Science, 2020, v. 30, n. 9, p. 1011, doi. 10.1017/S0960129520000328
- By:
- Publication type:
- Article