scholarly journals THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT

2017 ◽  
Vol 82 (2) ◽  
pp. 590-607 ◽  
Author(s):  
MARTÍN ESCARDÓ ◽  
PAULO OLIVA
Keyword(s):  
Double Negation ◽  
Functional Interpretation ◽  
Image Position ◽  
Special Case ◽  
Double Negation Shift

AbstractThis paper considers a generalisation of selection functions over an arbitrary strong monad T, as functionals of type $J_R^T X = (X \to R) \to TX$. It is assumed throughout that R is a T-algebra. We show that $J_R^T$ is also a strong monad, and that it embeds into the continuation monad $K_R X = (X \to R) \to R$. We use this to derive that the explicitly controlled product of T-selection functions is definable from the explicitly controlled product of quantifiers, and hence from Spector’s bar recursion. We then prove several properties of this product in the special case when T is the finite powerset monad ${\cal P}_{\rm{f}} \left( \cdot \right)$. These are used to show that when $TX = {\cal P}_{\rm{f}} \left( X \right)$ the explicitly controlled product of T-selection functions calculates a witness to the Herbrand functional interpretation of the double negation shift.

The bounded functional interpretation of the double negation shift

2010 ◽  
Vol 75 (2) ◽  
pp. 759-773 ◽  
Author(s):  
Engrácia Patrícia ◽  
Fernando Ferreira
Keyword(s):  
Finite Type ◽  
Classical Case ◽  
Double Negation ◽  
Functional Interpretation ◽  
Double Negation Shift

AbstractWe prove that the (non-intuitionistic) law of the double negation shift has a bounded functional interpretation with bar recursive functional of finite type. As an application, we show that full numerical comprehension is compatible with the uniformities introduced by the characteristic principles of the bounded functional interpretation for the classical case.

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.

scholarly journals THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES

2018 ◽  
Vol 83 (04) ◽  
pp. 1667-1679
Author(s):  
MATÍAS MENNI
Keyword(s):  
Differential Geometry ◽  
Algebraic Geometry ◽  
Algebraic Topology ◽  
Full Subcategory ◽  
Sufficient Conditions ◽  
Double Negation ◽  
Synthetic Differential Geometry ◽  
Simplicial Sets ◽  
Image Position

AbstractLet ${\cal E}$ be a topos, ${\rm{Dec}}\left( {\cal E} \right) \to {\cal E}$ be the full subcategory of decidable objects, and ${{\cal E}_{\neg \,\,\neg }} \to {\cal E}$ be the full subcategory of double-negation sheaves. We give sufficient conditions for the existence of a Unity and Identity ${\cal E} \to {\cal S}$ for the two subcategories of ${\cal E}$ above, making them Adjointly Opposite. Typical examples of such ${\cal E}$ include many ‘gros’ toposes in Algebraic Geometry, simplicial sets and other toposes of ‘combinatorial’ spaces in Algebraic Topology, and certain models of Synthetic Differential Geometry.

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.

On Certain Functional Identities in EN

1971 ◽  
Vol 23 (2) ◽  
pp. 315-324 ◽  
Author(s):  
A. McD. Mercer
Keyword(s):  
Euclidean Space ◽  
Taylor Series ◽  
Dimensional Space ◽  
The Real ◽  
Higher Dimensional ◽  
Isolated Points ◽  
Functional Identities ◽  
Image Position ◽  
Special Case ◽  
Real Euclidean Space

1. If f is a real-valued function possessing a Taylor series convergent in (a — R, a + R), then it satisfies the following operational identity1.1in which D2 = d2/du2. Furthermore, when g is a solution of y″ + λ2y = 0 in (a – R, a + R), then g is such a function and (1.1) specializes to1.2In this note we generalize these results to the real Euclidean space EN, our conclusions being Theorems 1 and 2 below. Clearly, (1.2) is a special case of (1.1) but in higher-dimensional space it is of interest to allow g, now a solution of1.3to possess singularities at isolated points away from the origin. It is then necessary to consider not only a neighbourhood of the origin but annular regions also.

On a Theorem of Hayman Concerning Quasi-Bounded Functions

1959 ◽  
Vol 11 ◽  
pp. 593-600
Author(s):  
P. B. Kennedy
Keyword(s):  
Meromorphic Functions ◽  
Bounded Function ◽  
Fatou Theorem ◽  
Regular Functions ◽  
Bounded Functions ◽  
Image Position ◽  
Special Case

If f(z) is regular in |z| < 1, the expressionis called the characteristic of f(z). This is the notation of Nevanlinna (4) for the special case of regular functions; in this note it will not be necessary to discuss meromorphic functions. If m(r,f) is bounded for 0 < r < 1, then f(z) is called quasi-bounded in |z| < 1. In particular, every bounded function is quasibounded. The class Q of quasi-bounded functions is important because, for instance, a “Fatou theorem” holds for such functions (4, p. 134).

Note on Best Approximation of |x|

1979 ◽  
Vol 22 (3) ◽  
pp. 363-366
Author(s):  
Colin Bennett ◽  
Karl Rudnick ◽  
Jeffrey D. Vaaler
Keyword(s):  
General Problem ◽  
Uniform Approximation ◽  
Best Approximation ◽  
Best Uniform Approximation ◽  
Linear Fractional Transformations ◽  
Symmetric Complex ◽  
Image Position ◽  
Complex Valued ◽  
Special Case

In this note the best uniform approximation on [—1,1] to the function |x| by symmetric complex valued linear fractional transformations is determined. This is a special case of the more general problem studied in [1]. Namely, for any even, real valued function f(x) on [-1,1] satsifying 0 = f ( 0 ) ≤ f (x) ≤ f (1) = 1, determine the degree of symmetric approximationand the extremal transformations U whenever they exist.

Holomorphic Functions with Positive Real Part

1982 ◽  
Vol 34 (1) ◽  
pp. 1-7 ◽  
Author(s):  
Eric Sawyer
Keyword(s):  
Unit Ball ◽  
Hardy Spaces ◽  
Convex Cone ◽  
Holomorphic Functions ◽  
Positive Real Part ◽  
Positive Real ◽  
Spaces Of Holomorphic Functions ◽  
Extreme Element ◽  
Image Position ◽  
Special Case

The main purpose of this note is to prove a special case of the following conjecture.Conjecture. If F is holomorphic on the unit ball Bn in Cn and has positive real part, then F is in Hp(Bn) for 0 < p < ½(n + 1).Here Hp(Bn) (0 < p < ∞) denote the usual Hardy spaces of holomorphic functions on Bn. See below for definitions. We remark that the conjecture is known for 0 < p < 1 and that some evidence for it already exists in the literature; for example [1, Theorems 3.11 and 3.15] where it is shown that a particular extreme element of the convex cone of functionsis in Hp(B2) for 0 < p < 3/2.

A Relation Between Ultraspherical and Jacobi Polynomial Sets

1953 ◽  
Vol 5 ◽  
pp. 301-305 ◽  
Author(s):  
Fred Brafman
Keyword(s):  
Jacobi Polynomial ◽  
Legendre Polynomials ◽  
Jacobi Polynomials ◽  
Ultraspherical Polynomials ◽  
Image Position ◽  
Special Case

The Jacobi polynomials may be defined bywhere (a)n = a (a + 1) … (a + n — 1). Putting β = α gives the ultraspherical polynomials which have as a special case the Legendre polynomials .

Sign in / Sign up

Export Citation Format

Share Document