نتایج جستجو برای: Compactness theorem

تعداد نتایج: 151060  

We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...

We use the ultramean construction to prove linear compactness theorem. We also extend the Rudin-Keisler ordering to maximal probability charges and characterize it by embeddings of power ultrameans.

Journal: :international journal of nonlinear analysis and applications 2015
ali farajzadeh

in this paper, a vector version of the intermediate value theorem is established. the main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{on fixed point theorems for monotone increasing vector valued mappings via scalarizing}, positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...

2009
H. HANCHE-OLSEN Helge Kristian Jenssen

We show that the Arzelà–Ascoli theorem and Kolmogorov compactness theorem both are consequences of a simple lemma on compactness in metric spaces. Their relation to Helly’s theorem is discussed. The paper contains a detailed discussion on the historical background of the Kolmogorov compactness theorem.

Journal: :Publicacions Matemàtiques 2008

In this paper, a vector version of the intermediate value theorem is established. The main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{On fixed point theorems for monotone increasing vector valued mappings via scalarizing}, Positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...

2006
JUI-LIN LEE

In this talk we investigate the compactness theorem (as a property) in non-classical logics. We focus on the following problems: (a) What kind of semantics make a logic having compactnesss theorem? (b) What is the relationship between the compactness theorem and the classical model existence theorem (CME)/model existence theorem?

2007
PAUL C. EKLOF Saharon Shelah Paul Hill

We present Shelah’s famous theorem in a version for modules, together with a self-contained proof and some examples. This exposition is based on lectures given at CRM in

2014
ANTONINO SALIBRA GIUSEPPE SCOLLO

The abstract model-theoretic concepts of compactness and Löwenheim–Skolem properties are investigated in the “softer” framework of pre-institutions [18]. Two compactness results are presented in this paper: a more informative reformulation of the compactness theorem for pre-institution transformations, and a theorem on natural equivalences with an abstract form of the first-order pre-institutio...

A.A. Tabatabai Adnani M. Rabbani ‎R. Arab,

In this article, we use two concepts, measure of non-compactness and Meir-Keeler condensing operators. The measure of non-compactness has been applied for existence of solution nonlinear integral equations, ordinary differential equations and system of differential equations in the case of finite and infinite dimensions by some authors. Also Meir-Keeler condensing operators are shown in some pa...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید