The Sierpinski Object in the Scott Realizability Topos

04/30/2019
by   Tom de Jong, et al.
0

We study the Sierpinski Object in the Scott Realizability Topos.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset
Success!
Error Icon An error occurred

Sign in with Google

×

Use your Google Account to sign in to DeepAI

×

Consider DeepAI Pro