A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference.
A constructive “Closed subgroup theorem” for localic groups and groupoids
A continuous, constructive solution to Hilbert's 17th problem.
A left compatible coequality relation on a semigroup with apartness.
A note of a family of quasi-antiorders on semigroup
A note on frame distributions
A note on the quasi-antiorder in a semigroup.
A Theorem on Anti-ordered Factor-semigroups
A theory of local negation: the model and some applications.
A well-ordering proof for Feferman's theory To.
Algorithmic Constructions Inspired By Caporaso
Algorithmic constructions inspired by Caporaso.