We present the method introduced by Neeman of generalized side conditions with two types of models. We then discuss some applications: a variation of the Friedman-Mitchell poset for adding a club with finite conditions, the consistency of the existence of an ω2 increasing chain in (ω1 1 , <fin), originally proved by Koszmider, and the existence of a thin very tall superatomic Boolean algebra, o...

Recently, L. Breiman and l.R. Friedman introduced a non-parametric method for estimating transformations in regression data, the so called ACE-algorithm. This method promises to become one of the most powerful tools in data analysis, if some pitfalls are avoided. We point out some unexpected features in ACE as well as some curiosities in its mathematics which relate to tomography and projection...

In this article we show that any hyperbolic Inoue surface (also called InoueHirzebruch surface of even type) admits anti-self-dual bihermitian structures. The same result holds for any of its small deformations as far as its anti-canonical system is nonempty. Similar results are obtained for parabolic Inoue surfaces. Our method also yields a family of anti-self-dual hermitian metrics on any hal...

Friedman showed how to turn a classical proof of a Σ 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classical proofs of such formulae. In this paper we show how to achieve the same goal efficiently using Krivine realizability with primitive numerals, and prove that the corresponding program is but the direct-style equivalent...

Intrator (1990) proposed a feature extraction method that is related to recent statistical theory (Huber, 1985; Friedman, 1987), and is based on a biologically motivated model of neuronal plasticity (Bienenstock et al., 1982). This method has been recently applied to feature extraction in the context of recognizing 3D objects from single 2D views (Intrator and Gold, 1991). Here we describe expe...