Related papers: An introduction to b-minimality

We introduce a new notion of tame geometry for structures admitting an abstract notion of balls. The notion is named b-minimality and is based on definable families of points and balls. We develop a dimension theory and prove a cell…

We study the notion of dp-minimality, beginning by providing several essential facts, establishing several equivalent definitions, and comparing dp-minimality to other minimality notions. The rest of the paper is dedicated to examples. We…

A new understanding of the notion of regularizer is proposed. It is argued that this new notion is more realistic than the old one and better fits the practical computational needs. An example of the regularizer in the new sense is given. A…

We study propositional logical systems arising from the language of Johansson's minimal logic and obtained by weakening the requirements for the negation operator. We present their semantics as a variant of neighbourhood semantics. We use…

This paper is a continuation of our recent paper with the same title, arXiv:0806.1596v1 [math.NT], where a number of integral equalities involving integrals of the logarithm of the Riemann zeta-function were introduced and it was shown that…

The first papers on o-minimal structures appeared in the mid 1980s, since then the subject has grown into a wide ranging generalisation of semialgebraic, subanalytic and subpfaffian geometry. In these notes we try to show that this is in…

These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone…

This unpublished note is an alternate, shorter (and hopefully more readable) proof of the decidability of all minimal models. The decidability follows from a proof of the existence of a cellular term in each observational equivalence class…

Starting with the Brezis-Browder principle, we give stronger versions of many variational principles and minimal element theorems which appeared in the recent literature. Relationships among the elements of different sets of assumptions are…

A simple proof of a key inequality required by the paper's analysis is presented. An introductory section discussing the paper's setup may be helpful to some readers. An alternative statistical analysis is suggested.

Simple continued fractions, base-b expansions, Dedekind cuts and Cauchy sequences are common notations for number systems. In this note, first, it is proven that both simple continued fractions and base-b expansions fail to denote real…

We present some new lower bound estimates for certain numbers in Laver table theory and introduce several related structures of interest.

We discuss a possible generalization of a result by the third-named author on the rationality of non-admissible minimal W-algebras. We then apply this generalization to finding rational non-admissible principal W-algebras.

Recently, Cluckers, Halupczok and Rideau-Kikuchi developed a new axiomatic framework for tame non-Archimedean geometry, called Hensel minimality. It was extended to mixed characteristic together with the author. Hensel minimality aims to…

The paper is devoted to the introduction of natural deduction systems for some weak subintuitionistic logics, along with proofs of normalization theorems for these systems.

We study d-minimal expansions of ordered fields, and dense pairs thereof. We also consider other generalizations of o-minimality.

The notion off-ideals is recent and has been studied in the papers[1] [2], [5], [10], [11], [12], [13], [14] and [15]. In this paper, we have generalized the idea off-ideals to quasi f-ideals. This extended class of ideals is much bigger…

In this paper, we present an analysis expression of p(A,b) such that the unique solution to l_0-minimization also can be the unique solution to l_p-minimization for any 0<p<p(A,b). Furthermore, the main contribution of this paper isn't only…

These lecture notes, to be completed in a later version, offer a short and rigorous introduction to Nostandard Analysis, mainly aimed to reach to a presentation of the basics of Loeb integration, and in particular, Loeb measures. The…

In this note we give generalizations and prove 'minimalistic' refinements of the t-birational Section Conjecture (t-BSC), cf. [Be], by doing both: First, by extending the class of base fields over which the t-BSC holds, and second, by…