scholarly journals Some elementary results in intuitionistic model theory

1996 ◽  
Vol 61 (3) ◽  
pp. 745-767
Author(s):  
Wim Veldman ◽  
Frank Waaldijk
Keyword(s):  
Model Theory ◽  
Additive Group ◽  
Real Numbers ◽  
Elementary Model ◽  
The Real

AbstractWe establish constructive refinements of several well-known theorems in elementary model theory. The additive group of the real numbers may be embedded elementarily into the additive group of pairs of real numbers, constructively as well as classically.

A Model of the Real Numbers

1963 ◽  
Vol 6 (2) ◽  
pp. 239-255
Author(s):  
Stanton M. Trott
Keyword(s):  
Irrational Number ◽  
Additive Group ◽  
Linear Ordering ◽  
Real Numbers ◽  
Ordered Group ◽  
The Real ◽  
Linear Orderings ◽  
Positive Elements ◽  
The Law ◽  
Ordered Pairs

The model of the real numbers described below was suggested by the fact that each irrational number ρ determines a linear ordering of J2, the additive group of ordered pairs of integers. To obtain the ordering, we define (m, n) ≤ (m', n') to mean that (m'- m)ρ ≤ n' - n. This order is invariant with group translations, and hence is called a "group linear ordering". It is completely determined by the set of its "positive" elements, in this case, by the set of integer pairs (m, n) such that (0, 0) ≤ (m, n), or, equivalently, mρ < n. The law of trichotomy for linear orderings dictates that only the zero of an ordered group can be both positive and negative.

Additive Functionals on Groups

1962 ◽  
Vol 58 (2) ◽  
pp. 196-205 ◽  
Author(s):  
Allan Hayes
Keyword(s):  
Linear Space ◽  
Linear Functional ◽  
Linear Subspace ◽  
Additive Group ◽  
Real Numbers ◽  
The Real ◽  
Additive Functionals

The kernel of a non-trivial linear functional φ on a linear space E is a maximal proper linear subspace of E which determines φ up to a non-zero multiple. Does a similar result hold for homomorphisms of a group G into the additive group R of the real numbers?

Shuffling of Linear Orders

1995 ◽  
Vol 38 (2) ◽  
pp. 223-229
Author(s):  
John Lindsay Orr
Keyword(s):  
Ordered Set ◽  
Linear Orders ◽  
Real Numbers ◽  
The Real ◽  
Linearly Ordered Set

AbstractA linearly ordered set A is said to shuffle into another linearly ordered set B if there is an order preserving surjection A —> B such that the preimage of each member of a cofinite subset of B has an arbitrary pre-defined finite cardinality. We show that every countable linearly ordered set shuffles into itself. This leads to consequences on transformations of subsets of the real numbers by order preserving maps.

scholarly journals A question of van den Dries and a theorem of Lipshitz and Robinson; Not everything is standard

2007 ◽  
Vol 72 (1) ◽  
pp. 119-122 ◽  
Author(s):  
Ehud Hrushovski ◽  
Ya'acov Peterzil
Keyword(s):  
Real Numbers ◽  
The Real ◽  
First Order ◽  
Real Closed Fields ◽  
Minimal Structure ◽  
Closed Fields ◽  
New Construction ◽  
The Relationship

AbstractWe use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.

On expressible sets and p-adic numbers

2011 ◽  
Vol 54 (2) ◽  
pp. 411-422
Author(s):  
Jaroslav Hančl ◽  
Radhakrishnan Nair ◽  
Simona Pulcerova ◽  
Jan Šustek
Keyword(s):  
Haar Measure ◽  
Real Numbers ◽  
The Real ◽  
Expressible Set

AbstractContinuing earlier studies over the real numbers, we study the expressible set of a sequence A = (an)n≥1 of p-adic numbers, which we define to be the set EpA = {∑n≥1ancn: cn ∈ ℕ}. We show that in certain circumstances we can calculate the Haar measure of EpA exactly. It turns out that our results extend to sequences of matrices with p-adic entries, so this is the setting in which we work.

Models of the Real Numbers

2020 ◽  
pp. 203-221
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf
Keyword(s):  
Real Numbers ◽  
The Real

The Real Numbers

2020 ◽  
pp. 29-54
Author(s):  
Daniel W. Cunningham
Keyword(s):  
Real Numbers ◽  
The Real

scholarly journals On Certain Approximation Problem Connected with the Sums of Subseries

2013 ◽  
Vol 55 (1) ◽  
pp. 37-45
Author(s):  
Roman Wituła ◽  
Konrad Kaczmarek ◽  
Edyta Hetmaniok ◽  
Damian Słota
Keyword(s):  
Approximation Problem ◽  
Real Numbers ◽  
The Real ◽  
The Given

Abstract In this paper a problem of approximating the real numbers by using the series of real numbers is considered. It is proven that if the given family of sequences of real numbers satisfies some conditions of set-theoretical nature, like being closed under initial subsequences and (additionally) possessing properties of adding and removing elements, then it automatically possesses some approximating properties, like, for example, reaching supremum of the set of sums of subseries.

Sign in / Sign up

Export Citation Format

Share Document