Similar Items: Realizability algebras II : new models of ZF + DC
- Realizability algebras: a program to well order R
- Stateful Realizers for Nonstandard Analysis
- Aspects of algebraic Algebras
- The Sierpinski Object in the Scott Realizability Topos
- Randomly Projected Convex Clustering Model: Motivation, Realization, and Cluster Recovery Guarantees
- A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus