A characterization of Takeuti's ordinal diagrams of finite order.
A Characterization of the Veblen-Schütte Functions by Means of Functionals
A combinatorial analysis of functions provably recursive in
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 constructivist theory of plane curves
A continuous, constructive solution to Hilbert's 17th problem.
A definition of exponentiation by a bounded arithmetical formula
A direct proof of Gödel's incompleteness theorem.
A further restricted ω-rule
A generalization of elementary formal systems
A Godel-Functional Interpretation of the ω-Rule
A left compatible coequality relation on a semigroup with apartness.
A logical analysis of the truth-reaction paradox
A model for HAS. A topological interpretation of the theory of species of natural numbers
A Model of Intuitionistic Analysis.
A modification of Newton's method
A nonstandard approach to arithmetic.
A note of a family of quasi-antiorders on semigroup
A note of definable skolem functions