The topic of this paper is relative constructivism. We are concerned with classifying nonconstructive principles from the constructive viewpoint. We compare, up to provability in intuitionistic… Expand

This paper compares, up to provability in intuitionistic arithmetic, subclassical principles like Markov's principle, (a function-free version of) weak Konig's lemma, Post's theorem, excluded middle for simply existential and simply universal statements, and many others.Expand

A consistent learner is required to correctly and completely reflect in its actual hypothesis all data received so far. Though this demand sounds quite plausible, it may lead to the unsolvability of… Expand

Grammars reflect the structure of normal inhabitants in such a way that, when non-terminals are ignored, a derivation tree of the grammars yielding a-termM can be identified with B?hm tree ofM.Expand

In the course of the upper bound proof, this work provides a simple proof of Warren's bound of the number of sign sequences of real polynomials and discusses the distribution of eigenvalues of a data covariance matrix.Expand

This work will construct from every partial combinatory algebra A a PCA a-lim(A) s.t. transfinite times to interpret infinitary λ-calculi and discuss limit structures for A in terms of Barendregt's range property.Expand

It is shown that one step computation of LCHAM is equivalent to that of the linear λ-calculus, and the principal typing theorem of L CHAM is proved, which implies the decidability of type checking.Expand

A divide- and-conquer lemma is presented to infer the SN+CR (Strongly Normalization and Church-Rosser) property of a reduction system from that property of its subsystems, and some relations of the two restricted expansions against traditional reductions are obtained.Expand

This translation provides a simpler SN proof of Godel's λ-calculus by the ordinal number assignment method andconstructs a homomorphism from a conditionally partial combinatory algebra which arises over SN κ-terms to a partial combinators algebra which arose over SN CL-terms.Expand

We will establish that the VC dimension of the class of d-dimensional ellipsoids is (d^2+3d)/2, and that maximum likelihood estimate with N-component d-dimensional Gaussian mixture models induces a… Expand