Related papers: An introduction to b-minimality
In a pair of recent papers (one to appear and one forthcoming), the author develops a general version of small cancellation theory applicable in higher dimensions, and then applies this theory to the Burnside groups of sufficiently large…
Rejoinder to ``Least angle regression'' by Efron et al. [math.ST/0406456]
In this paper, we study VC-minimal theories and explore related concepts. We first define the notion of convex orderablility and show that this lies strictly between VC-minimality and dp-minimality. Next, we define the notion of weak…
This is an extended abstract for a survey talk given in Oberwolfach on 1st December 2022, slightly updated in June 2023. I survey some work around the notion of quasiminimality and some of the progress towards Zilber's conjecture from the…
These short lecture notes provide an introduction to some basic notions of F-theory with some special emphasis on its relation to Type IIB orientifolds with O7/O3-planes.
For the minimization of state-based systems (i.e. the reduction of the number of states while retaining the system's semantics), there are two obvious aspects: removing unnecessary states of the system and merging redundant states in the…
This paper investigates almost o-minimal structures, a weakening of o-minimality introduced by Fujita to capture structures that lie outside the classical o-minimal framework. In contrast to o-minimality and local o-minimality, almost…
A vanishing sum of roots of unity is called minimal if no proper, nonempty sub-sum of it vanishes. This paper classifies all minimal vanishing sums of roots of unity of weight at most 16 by hand, thereby uncovering new phenomena beyond the…
We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.
Fix a language L extending the language of real closed fields by at least one new predicate or function symbol. Call an L-structure R pseudo-o-minimal if it is (elementarily equivalent to) an ultraproduct of o-minimal structures. We show…
We introduce and study weak o-minimality in the context of complete types in an arbitrary first-order theory. A type $p\in S(A)$ is weakly o-minimal if for some relatively $A$-definable linear order, $<$, on $p(\mathfrak{C})$ every…
In this short note I restate and simplify the proof of the impossibility of probabilistic induction from Popper (1992). Other proofs are possible (cf. Popper (1985)).
In this note we study the Petty projection of a log-concave function, which has been recently introduced in [9]. Moreover, we present some new inequalities involving this new notion, partly complementing and correcting some results from…
Here we give a short survey of our new results. References to the complete proofs can be found in the text of this article and in the litterature.
Discussion of "Likelihood Inference for Models with Unobservables: Another View" by Youngjo Lee and John A. Nelder [arXiv:1010.0303]
The notion of minimal complements was introduced by Nathanson in 2011. Since then, the existence or the inexistence of minimal complements of sets have been extensively studied. Recently, the study of inverse problems, i.e., which sets can…
For the minimization of state-based systems (i.e. the reduction of the number of states while retaining the system's semantics), there are two obvious aspects: removing unnecessary states of the system and merging redundant states in the…
A very short proof of G\"odel's second incompleteness theorem (for set theory, second order arithmetic etc.)
This is a shortened version of "The Limits of Mathematics--Course Outline & Software" (IBM Research Report RC 19324, December 1993) in which all Mathematica code has either been deleted or, if absolutely necessary, replaced by C code. The…
Discussion of "Likelihood Inference for Models with Unobservables: Another View" by Youngjo Lee and John A. Nelder [arXiv:1010.0303]