Scholarly Search Engine

All real numbers


An Axiomatization of the Temporal Logic with Until and Since over the RealNumbers

ABSTRACT A Hilbert style axiomatization of the temporal logic with connectives F (in the future) and P (in the past) and a stronger logic with binary c...

Stars: 105 Updated: March 23rd,2018

Recursive realnumbers

In this paper, we are concerned with the use of representation in basis β for realnumbers in the computational theory of recursive analysis. The main results state: •the existence of realnumbers of low complexity in each represent...

Stars: 27 Updated: March 23rd,2018

PCF extended with realnumbers: A domain-theoretic approach to higher-order exact realnumber computation

We develop a theory of higher-order exact realnumber computation based on Scott domain theory. Our main object of investigation is a higher-order funct...

Stars: 134 Updated: March 23rd,2018

Belief functions on realnumbers

We generalize the TBM (transferable belief model) to the case where the frame of discernment is the extended set of realnumbers R = [ - ∞ , ∞ ], unde...

Stars: 40 Updated: March 23rd,2018

Unique representations of realnumbers in non-integer bases

ABSTRACT this paper we return to the case of general x in (1). Given q 2 (1; 2) we aim todescribe some properties of the set of all x 0 for which the r...

Stars: 75 Updated: March 23rd,2018

RealNumber Graph Labellings with Distance Conditions

The theory of integer $\lambda$-labellings of a graph, introduced by Griggs and Yeh [J. R. Griggs and R. K.-C. Yeh, SIAM J. Discrete Math., 5 (1992), pp...

Stars: 68 Updated: March 23rd,2018

Using RealNumbers as Vertex Invariants for Third-Generation Topological Indexes

Abstract First-generation topological indexes (TI's) were integer numbers obtained by simple ("bookkeeping") operations from local vertex invariants (LOVI's), which were integer numbers. Second-generation TI's were realnumbers obtain...

Stars: 103 Updated: March 23rd,2018

On Finite Sequences of RealNumbers

ABSTRACT The notion of the statistical convergence of sequences of realnumbers was introduced in papers [1] and [5]. In the present paper we shall show...

Stars: 44 Updated: March 23rd,2018

On approximation of realnumbers by real algebraic numbers

ABSTRACT 1. Introduction. In this paper we consider several related problems of the theory of Diophantine approximation. The following notation will be used. We denote by #S the number of elements in a finite set S. The Lebesgue meas...

Stars: 74 Updated: March 23rd,2018

Unique expansions of realnumbers

It was discovered some years ago that there exist non-integer realnumbers q > 1 for which only one sequence ( c i ) of integers c i ∈ [ 0 , q ) satisf...

Stars: 42 Updated: March 23rd,2018

matched results. Showing page 4 of 5.