The axiom of choice, co-comprehension schema and redundancies in triposes
arXiv:1602.04126
Abstract
We study the role of the axiom of choice and co-comprehention in second order encoding of first order predicates logic
arXiv:1602.04126
We study the role of the axiom of choice and co-comprehention in second order encoding of first order predicates logic