scholarly journals THE REDUCTS OF THE HOMOGENEOUS BINARY BRANCHING C-RELATION

2016 ◽  
Vol 81 (4) ◽  
pp. 1255-1297 ◽  
Author(s):  
MANUEL BODIRSKY ◽  
PETER JONSSON ◽  
TRUNG VAN PHAM
Keyword(s):  
Homogeneous Structure ◽  
First Order ◽  
Endomorphism Monoids ◽  
Image Position ◽  
Special Case

AbstractLet ($\rm L$;C) be the (up to isomorphism unique) countable homogeneous structure carrying a binary branching C-relation. We study the reducts of ($\rm L$;C), i.e., the structures with domain $\rm L$ that are first-order definable in ($\rm L$;C). We show that up to existential interdefinability, there are finitely many such reducts. This implies that there are finitely many reducts up to first-order interdefinability, thus confirming a conjecture of Simon Thomas for the special case of ($\rm L$;C). We also study the endomorphism monoids of such reducts and show that they fall into four categories.

On Schrödinger's factorization method for Sturm-Liouville operators

1978 ◽  
Vol 80 (1-2) ◽  
pp. 67-84 ◽  
Author(s):  
U.-W. Schmincke
Keyword(s):  
Discrete Spectrum ◽  
Liouville Operator ◽  
Differential Operators ◽  
Factorization Method ◽  
Friedrichs Extension ◽  
First Order ◽  
Sturm Liouville ◽  
Image Position ◽  
Special Case ◽  
Liouville Operators

SynopsisWe consider the Friedrichs extension A of a minimal Sturm-Liouville operator L0 and show that A admits a Schrödinger factorization, i.e. that one can find first order differential operators Bk with where the μk are suitable numbers which optimally chosen are just the lower eigenvalues of A (if any exist). With the help of this theorem we derive for the special case L0u = −u″ + q(x)u with q(x) → 0 (|x| → ∞) the inequalityσd(A) being the discrete spectrum of A. This inequality is seen to be sharp to some extent.

Generalized interpolation theorems

1972 ◽  
Vol 37 (2) ◽  
pp. 343-351
Author(s):  
Stephen J. Garland
Keyword(s):  
Interpolation Theorem ◽  
Second Order ◽  
Cut Elimination ◽  
Real Numbers ◽  
Craig Interpolation ◽  
First Order ◽  
Order Variable ◽  
Analytic Sets ◽  
Image Position ◽  
Special Case

Chang [1], [2] has proved the following generalization of the Craig interpolation theorem [3]: For any first-order formulas φ and ψ with free first- and second-order variables among ν1, …, νn, R and ν1, …, νn, S respectively, and for any sequence Q1, …, Qn of quantifiers such that Q1 is universal whenever ν1 is a second-order variable, ifthen there is a first-order formula θ with free variables among ν1, …, νn such that(Note that the Craig interpolation theorem is the special case of Chang's theorem in which Q1, …, Qn are all universal quantifiers.) Chang also raised the question [2, Remark (k)] as to whether the Lopez-Escobar interpolation theorem [6] for the infinitary language Lω1ω possesses a similar generalization. In this paper, we show that the answer to Chang's question is affirmative and, moreover, that several interpolation theorems for applied second-order languages for number theory also possess such generalizations.Maehara and Takeuti [7] have established independently proof-theoretic interpolation theorems for first-order logic and Lω1ω which have as corollaries both Chang's theorem and its analog for Lω1ω. Our proofs are quite different from theirs and rely on model-theoretic techniques stemming from the analogy between the theory of definability in Lω1ω and the theory of Borel and analytic sets of real numbers, rather than the technique of cut-elimination.

Relativized realizability in intuitionistic arithmetic of all finite types

1978 ◽  
Vol 43 (1) ◽  
pp. 23-44 ◽  
Author(s):  
Nicolas D. Goodman
Keyword(s):  
Extension Theorem ◽  
General Notion ◽  
Conservative Extension ◽  
First Order ◽  
New Information ◽  
Reflection Theorem ◽  
Order Arithmetic ◽  
Special Case ◽  
Dependent Choice ◽  
Intuitionistic Arithmetic

In this paper we introduce a new notion of realizability for intuitionistic arithmetic in all finite types. The notion seems to us to capture some of the intuition underlying both the recursive realizability of Kjeene [5] and the semantics of Kripke [7]. After some preliminaries of a syntactic and recursion-theoretic character in §1, we motivate and define our notion of realizability in §2. In §3 we prove a soundness theorem, and in §4 we apply that theorem to obtain new information about provability in some extensions of intuitionistic arithmetic in all finite types. In §5 we consider a special case of our general notion and prove a kind of reflection theorem for it. Finally, in §6, we consider a formalized version of our realizability notion and use it to give a new proof of the conservative extension theorem discussed in Goodman and Myhill [4] and proved in our [3]. (Apparently, a form of this result is also proved in Mine [13]. We have not seen this paper, but are relying on [12].) As a corollary, we obtain the following somewhat strengthened result: Let Σ be any extension of first-order intuitionistic arithmetic (HA) formalized in the language of HA. Let Σω be the theory obtained from Σ by adding functionals of finite type with intuitionistic logic, intensional identity, and axioms of choice and dependent choice at all types. Then Σω is a conservative extension of Σ. An interesting example of this theorem is obtained by taking Σ to be classical first-order arithmetic.

Shelah's work on non-semi-proper iterations, II

2001 ◽  
Vol 66 (4) ◽  
pp. 1865-1883 ◽  
Author(s):  
Chaz Schlindwein
Keyword(s):  
Closed Subset ◽  
Stationary Subset ◽  
Finite Support ◽  
Countable Support ◽  
Final Model ◽  
Axiom A ◽  
Mahlo Cardinal ◽  
The One ◽  
Image Position ◽  
Special Case

One of the main goals in the theory of forcing iteration is to formulate preservation theorems for not collapsing ω1 which are as general as possible. This line leads from c.c.c. forcings using finite support iterations to Axiom A forcings and proper forcings using countable support iterations to semi-proper forcings using revised countable support iterations, and more recently, in work of Shelah, to yet more general classes of posets. In this paper we concentrate on a special case of the very general iteration theorem of Shelah from [5, chapter XV]. The class of posets handled by this theorem includes all semi-proper posets and also includes, among others, Namba forcing.In [5, chapter XV] Shelah shows that, roughly, revised countable support forcing iterations in which the constituent posets are either semi-proper or Namba forcing or P[W] (the forcing for collapsing a stationary co-stationary subset ofwith countable conditions) do not collapse ℵ1. The iteration must contain sufficiently many cardinal collapses, for example, Levy collapses. The most easily quotable combinatorial application is the consistency (relative to a Mahlo cardinal) of ZFC + CH fails + whenever A ∪ B = ω2 then one of A or B contains an uncountable sequentially closed subset. The iteration Shelah uses to construct this model is built using P[W] to “attack” potential counterexamples, Levy collapses to ensure that the cardinals collapsed by the various P[W]'s are sufficiently well separated, and Cohen forcings to ensure the failure of CH in the final model.In this paper we give details of the iteration theorem, but we do not address the combinatorial applications such as the one quoted above.These theorems from [5, chapter XV] are closely related to earlier work of Shelah [5, chapter XI], which dealt with iterated Namba and P[W] without allowing arbitrary semi-proper forcings to be included in the iteration. By allowing the inclusion of semi-proper forcings, [5, chapter XV] generalizes the conjunction of [5, Theorem XI.3.6] with [5, Conclusion XI.6.7].

scholarly journals Radially symmetric solutions of a class of singular elliptic equations

1990 ◽  
Vol 33 (2) ◽  
pp. 169-180 ◽  
Author(s):  
Juan A. Gatica ◽  
Gaston E. Hernandez ◽  
P. Waltman
Keyword(s):  
Boundary Value Problem ◽  
Elliptic Equations ◽  
Boundary Value ◽  
Open Unit ◽  
Open Unit Ball ◽  
Singular Elliptic Equations ◽  
Existence Of Positive Solutions ◽  
Radially Symmetric Solutions ◽  
Image Position ◽  
Special Case

The boundary value problemis studied with a view to obtaining the existence of positive solutions in C1([0, 1])∩C2((0, 1)). The function f is assumed to be singular in the second variable, with the singularity modeled after the special case f(x, y) = a(x)y−p, p>0.This boundary value problem arises in the search of positive radially symmetric solutions towhere Ω is the open unit ball in ℝN, centered at the origin, Γ is its boundary and |x| is the Euclidean norm of x.

Resolution of T. Ward's Question and the Israel–Finch Conjecture: Precise Analysis of an Integer Sequence Arising in Dynamics

2014 ◽  
Vol 24 (1) ◽  
pp. 195-215
Author(s):  
JEFFREY GAITHER ◽  
GUY LOUCHARD ◽  
STEPHAN WAGNER ◽  
MARK DANIEL WARD
Keyword(s):  
Weighted Average ◽  
Analytic Number Theory ◽  
Combinatorial Structure ◽  
Asymptotic Growth ◽  
First Order ◽  
Integer Sequence ◽  
Precise Analysis ◽  
Formula Group ◽  
Fourth Author ◽  
Image Position

We analyse the first-order asymptotic growth of \[ a_{n}=\int_{0}^{1}\prod_{j=1}^{n}4\sin^{2}(\pi jx)\, dx. \] The integer an appears as the main term in a weighted average of the number of orbits in a particular quasihyperbolic automorphism of a 2n-torus, which has applications to ergodic and analytic number theory. The combinatorial structure of an is also of interest, as the ‘signed’ number of ways in which 0 can be represented as the sum of ϵjj for −n ≤ j ≤ n (with j ≠ 0), with ϵj ∈ {0, 1}. Our result answers a question of Thomas Ward (no relation to the fourth author) and confirms a conjecture of Robert Israel and Steven Finch.

scholarly journals ON PRODUCTS OF ELEMENTARILY INDIVISIBLE STRUCTURES

2016 ◽  
Vol 81 (3) ◽  
pp. 951-971
Author(s):  
NADAV MEIR
Keyword(s):  
New Products ◽  
Elementary Substructure ◽  
First Order ◽  
Order Language ◽  
Image Position

AbstractWe say a structure ${\cal M}$ in a first-order language ${\cal L}$ is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure ${\cal M}\prime \subseteq {\cal M}$ such that ${\cal M}\prime \cong {\cal M}$. Additionally, we say that ${\cal M}$ is symmetrically indivisible if ${\cal M}\prime$ can be chosen to be symmetrically embedded in ${\cal M}$ (that is, every automorphism of ${\cal M}\prime$ can be extended to an automorphism of ${\cal M}$). Similarly, we say that ${\cal M}$ is elementarily indivisible if ${\cal M}\prime$ can be chosen to be an elementary substructure. We define new products of structures in a relational language. We use these products to give recipes for construction of elementarily indivisible structures which are not transitive and elementarily indivisible structures which are not symmetrically indivisible, answering two questions presented by A. Hasson, M. Kojman, and A. Onshuus.

On the estimation of a harmonic component in a time series with stationary dependent residuals

1973 ◽  
Vol 5 (02) ◽  
pp. 217-241 ◽  
Author(s):  
A. M. Walker
Keyword(s):  
Time Series ◽  
Least Squares ◽  
Least Squares Method ◽  
Harmonic Component ◽  
Asymptotic Distributions ◽  
Finite Variance ◽  
Rigorous Derivation ◽  
Image Position ◽  
Vector Valued ◽  
Special Case

Let observations (X 1, X 2, …, Xn ) be obtained from a time series {Xt } such that where the ɛt are independently and identically distributed random variables each having mean zero and finite variance, and the gu (θ) are specified functions of a vector-valued parameter θ. This paper presents a rigorous derivation of the asymptotic distributions of the estimators of A, B, ω and θ obtained by an approximate least-squares method due to Whittle (1952). It is a sequel to a previous paper (Walker (1971)) in which a similar derivation was given for the special case of independent residuals where gu (θ) = 0 for u > 0, the parameter θ thus being absent.

scholarly journals Existence of nonoscillatory solutions of first order nonlinear neutral equations

1990 ◽  
Vol 32 (2) ◽  
pp. 180-192 ◽  
Author(s):  
Lu Wudu
Keyword(s):  
Nonoscillatory Solution ◽  
Sufficient Condition ◽  
Neutral Equation ◽  
Necessary And Sufficient Condition ◽  
Nonoscillatory Solutions ◽  
Neutral Equations ◽  
First Order ◽  
Image Position ◽  
Necessary And Sufficient

AbstractConsider the nonlinear neutral equationwhere pi(t), hi(t), gj(t), Q(t) Є C[t0, ∞), limt→∞hi(t) = ∞, limt→∞gj(t) = ∞ i Є Im = {1, 2, …, m}, j Є In = {1, 2, …, n}. We obtain a necessary and sufficient condition (2) for this equation to have a nonoscillatory solution x(t) with limt→∞ inf|x(t)| > 0 (Theorems 5 and 6) or to have a bounded nonoscillatory solution x(t) with limt→∞ inf|x(t)| > 0 (Theorem 7).

A note on the undefinability of cuts

1983 ◽  
Vol 48 (3) ◽  
pp. 564-569 ◽  
Author(s):  
J.B. Paris ◽  
C. Dimitracopoulos
Keyword(s):  
First Order ◽  
Nonstandard Model ◽  
Image Position

The results in this paper were motivated by the following result due to R. Solovay.Theorem 1 (Solovay). Let M be a nonstandard model of Peano's first order axioms P and let I ⊂e M (i.e. ϕ ≠ ⊂ M and I is closed under < and successor). Then for each of the functions we can define J ⊆e I in ‹M, I› such that J is closed under that function. (∣x∣ denotes [log2(x)].)Proof. Just notice that the cuts defined byare successively closed under In view of Theorem 1, the following question was raised by R. Solovay: Can we define J ⊆ I in ‹M, I› such that J is closed under exponentiation? In Theorem 2 we show that the answer is “no”. Theorem 3 is based on Theorem 2 and extends the technique to cuts which are models of subsystems of P.To prove both theorems we shall need an estimate due to R. Parikh (see [1], especially the proof of Theorem 2.2a). For the sake of completeness, and also to introduce some notation we shall sketch Parikh's estimate in the next section. At all times we shall give the easiest estimates which still work rather than the sharpest ones.

Sign in / Sign up

Export Citation Format

Share Document