English
Related papers

Related papers: A formula for any real number, maybe

200 papers

In [arXiv:1006.4939] the enumeration order reducibility is defined on natural numbers. For a c.e. set A, [A] denoted the class of all subsets of natural numbers which are co-order with A. In definition 5 we redefine co-ordering for rational…

Logic in Computer Science · Computer Science 2011-02-15 Saeed Asaeedi , Farzad Didehvar

We mainly investigate model of set theory with restricted choice, e.g., ZF + DC + "the family of countable subsets of lambda is well ordered for every lambda" (really local version for a given lambda). In this frame much of pcf theory can…

Logic · Mathematics 2019-01-29 Saharon Shelah

It is shown how Dedekind cuts can be used to introduce the extended real numbers along with sound arithmetic laws via one simple rule for the addition of sets. The crucial idea is that the use of the lower and the upper part of the cuts,…

Optimization and Control · Mathematics 2026-01-06 Andreas H Hamel

For a positive integer $m>1$, if the generalized Markoff equation $a^2+b^2+c^2=3abc+m$ has a solution triple, then it has infinitely many solutions. We show that all positive solution triples are generated by a finite set of triples that we…

Number Theory · Mathematics 2023-07-21 A. Srinivasan , L. A. Calvo

Let $n_1,\cdots,n_r$ be any finite sequence of integers and let $S$ be the set of all natural numbers $n$ for which there exists a divisor $d(x)=1+\sum_{i=1}^{deg(d)}c_ix^i$ of $x^n-1$ such that $c_i=n_i$ for $1\leq i \leq r$. In this paper…

Number Theory · Mathematics 2015-11-11 Sai Teja Somu

A code of the natural numbers is a uniquely-decodable binary code of the natural numbers with non-decreasing codeword lengths, which satisfies Kraft's inequality tightly. We define a natural partial order on the set of codes, and show how…

Logic in Computer Science · Computer Science 2015-07-01 Yuval Filmus

Those lectures revolve around the following problem: given a system of n real polynomials in n variables, count the number of real roots. The first lecture is a course on Newton iteration and alpha-theory. The second describes an…

Numerical Analysis · Mathematics 2012-11-12 Gregorio Malajovich

Let $\Bbb Z$ and $\Bbb N$ be the set of integers and the set of positive integers, respectively. For $a,b,c,d,n\in\Bbb N$ let $t(a,b,c,d;n)$ be the number of representations of $n$ by $ax(x-1)/2+by(y-1)/2+cz(z-1)/2 +dw(w-1)/2$…

Number Theory · Mathematics 2015-11-03 Min Wang , Zhi-Hong Sun

While non-contextual hidden-variable theories are proved to be impossible, contextual ones are possible. In a contextual hidden-variable theory, an observable is called a beable if the hidden-variable assigns its value in a given…

Quantum Physics · Physics 2023-11-17 Masanao Ozawa

Every continuous function of two or more real variables can be written as the superposition of continuous functions of one real variable along with addition.

Classical Analysis and ODEs · Mathematics 2009-09-28 Ziqin Feng , Paul Gartside

This work presents a formalization of analogy on numbers that relies on generalized means. It is motivated by recent advances in artificial intelligence and applications of machine learning, where the notion of analogy is used to infer…

Artificial Intelligence · Computer Science 2024-07-29 Yves Lepage , Miguel Couceiro

In this work, we study a numeral system with a natural base $s \geq 2$ and a redundant alphabet $A_r=\{0,1, \dots, r\}$, where $s \leq r \leq 2s-2$. We investigate the topological, metric, and fractal properties of the set of numbers in the…

Number Theory · Mathematics 2026-01-08 Mykola Pratsiovytyi , Oleh Vynnyshyn

The following work is written in easy language for college level students. It shows how the first digit probabilities of a group of continuous real-valued functions can be calculated. Thus, examples explaining how the probabilities are…

History and Overview · Mathematics 2021-03-15 Irina Pashchenko

In this article, we prove some subsets of the set of natural numbers $\mathbb{N}$ and any non-zero ideals of an order of imaginary quadratic fields are fractionally dense in $\mathbb{R}_{>0}$ and $\mathbb{C}$ respectively.

Number Theory · Mathematics 2018-10-02 Jaitra Chattopadhyay , Bidisha Roy , Subha Sarkar

Let $m\ge3$ be an integer. The polygonal numbers of order $m+2$ are given by $p_{m+2}(n)=m\binom n2+n$ $(n=0,1,2,\ldots)$. A famous claim of Fermat proved by Cauchy asserts that each nonnegative integer is the sum of $m+2$ polygonal numbers…

Number Theory · Mathematics 2017-10-06 Xiang-Zi Meng , Zhi-Wei Sun

For any set $A$ of natural numbers with positive upper Banach density, we show the existence of an infinite set $B$ and sequences $(t_k)_{k\in \mathbb{N}}, (s_k)_{k\in \mathbb{N}}$ of natural numbers such that $\left\{ \sum_{n \in F}n : F…

Dynamical Systems · Mathematics 2025-10-22 Felipe Hernández , Ioannis Kousek , Tristán Radić

We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of…

Logic · Mathematics 2007-05-23 David Marker , Theodore A. Slaman

In this work, we introduce $(r,i)$-regular fat linear sets, which are defined as linear sets containing exactly $r$ points of weight $i$ and all other points of weight one. This notion generalizes and unifies existing constructions;…

Combinatorics · Mathematics 2025-11-07 Valentino Smaldore , Corrado Zanella , Ferdinando Zullo

We consider compositions of natural numbers when there are different types of each natural number. Several recursions as well as some closed formulas for the number of compositions is derived. We also find its relationships with some known…

Combinatorics · Mathematics 2010-12-17 Milan Janjic

To a definable subset of Z_p^n (or to a scheme of finite type over Z_p) one can associate a tree in a natural way. It is known that the corresponding Poincare series P(X) = \sum_i N_i X^i is rational, where N_i is the number of nodes of the…

Algebraic Geometry · Mathematics 2010-09-20 Immanuel Halupczok