An extension theorem with analytic singularities for generalized (N,k)-crosses

2012 ◽  
Vol 103 (2) ◽  
pp. 193-208 ◽  
Author(s):  
Arkadiusz Lewandowski
Keyword(s):  
Extension Theorem ◽  
Analytic Singularities

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.

scholarly journals Hopf Extension Theorem of Measure

2009 ◽  
Vol 17 (2) ◽  
Author(s):  
Noboru Endou ◽  
Hiroyuki Okazaki ◽  
Yasunari Shidama
Keyword(s):  
Extension Theorem

A biregular extension theorem from a fractal surface in

2011 ◽  
Vol 18 (1) ◽  
pp. 21-29
Author(s):  
Ricardo Abreu Blaya ◽  
Juan Bory Reyes ◽  
Tania Moreno García
Keyword(s):  
Continuous Function ◽  
Bounded Domain ◽  
Extension Theorem ◽  
Fractal Surface ◽  
Fractal Boundary ◽  
Hölder Continuous

Abstract The aim of this paper is to prove the characterization on a bounded domain of with fractal boundary and a Hölder continuous function on the boundary guaranteeing the biregular extendability of the later function throughout the domain.

A SUFFICIENT AND NECESSARY CONDITION FOR CREDIBILITY MEASURES

2006 ◽  
Vol 14 (05) ◽  
pp. 527-535 ◽  
Author(s):  
XIANG LI ◽  
BAODING LIU
Keyword(s):  
Set Theory ◽  
Fuzzy Set ◽  
Fuzzy Set Theory ◽  
Extension Theorem ◽  
The Self ◽  
Necessary Condition ◽  
Self Duality ◽  
Duality Property ◽  
Sufficient And Necessary Condition

Possibility measures and credibility measures are widely used in fuzzy set theory. Compared with possibility measures, the advantage of credibility measures is the self-duality property. This paper gives a relation between possibility measures and credibility measures, and proves a sufficient and necessary condition for credibility measures. Finally, the credibility extension theorem is shown.

An extension theorem for polynomials on triangles

CALCOLO ◽  
2008 ◽  
Vol 45 (2) ◽  
pp. 69-85 ◽  
Author(s):  
Norbert Heuer ◽  
Florian Leydecker
Keyword(s):  
Extension Theorem
Sign in / Sign up

Export Citation Format

Share Document