Search results for "model theory"
showing 10 items of 681 documents
Graph connectivity and monadic NP
2002
Ehrenfeucht games are a useful tool in proving that certain properties of finite structures are not expressible by formulas of a certain type. In this paper a new method is introduced that allows the extension of a local winning strategy for Duplicator, one of the two players in Ehrenfeucht games, to a global winning strategy. As an application it is shown that graph connectivity cannot be expressed by existential second-order formulas, where the second-order quantification is restricted to unary relations (monadic NP), even, in the presence of a built-in linear order. As a second application it is stated, that, on the other hand, the presence of a linear order increases the power of monadi…
Using Search Algorithms for Modeling Economic Processes
2013
Abstract Economic issues are placed in formal practice, when is desired a modelling of the economic process, a manufacturing process, a device, etc. Each share of that economic process is denoted by a, b, c, d, these actions with defined time periods and action pairs are formed strings of the form, ab * cab * bc ., ab, bb, bc. so for them there are no other restrictions. If the graph is viewed as a system image, nodes representing components, then an immediate interpretation of an arc (xi, xj) are the component xi that is said to directly influence component xj. If nodes have the significance of possible states of a system when a spring (xi.xj) means that, the system can jump from state xi …
Single-valued extension property at the points of the approximate point spectrum
2003
Abstract A localized version of the single-valued extension property is studied at the points which are not limit points of the approximate point spectrum, as well as of the surjectivity spectrum. In particular, we shall characterize the single-valued extension property at a point λ o ∈ C in the case that λoI−T is of Kato type. From this characterizations we shall deduce several results on cluster points of some distinguished parts of the spectrum.
Decomposable Measures and Measures of Information for Crisp and Fuzzy Sets
1983
Abstract There exist bijections between the decomposable informations of Kampe de Feriet and Forte (1967a) and the decomposable measures of Weber (1982). Using integrals for Archimedean decomposable operations, introduced by Weber (1982), informations and measures of this type are extended from crisp to fuzzy sets. For ∨-decomposable measures, Sugeno’s (1974) integral is used. For ∧-decomposable informations, Nguyen’s (1977) construction and a modification are discussed.
Existence of fixed points for the sum of two operators
2010
The purpose of this paper is to study the existence of fixed points for the sum of two nonlinear operators in the framework of real Banach spaces. Later on, we give some examples of applications of this type of results (© 2010 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
Further generalization of fixed point theorems in Menger PM-spaces
2015
In this work, we establish some fixed point theorems by revisiting the notion of ψ-contractive mapping in Menger PM-spaces. One of our results (namely, Theorem 2.3) may be viewed as a possible answer to the problem of existence of a fixed point for generalized type contractive mappings in M-complete Menger PM-spaces under arbitrary t-norm. Some examples are furnished to demonstrate the validity of the obtained results.
Some Nonlinear Methods in Fréchet Operator Rings and Ψ*-Algebras
1995
Two different inverse function theorems, one of Nash-Moser type, the other due to H. Omori, are extended to obtain special surjectivity results in locally convex and locally pseudo-convex Frechet algebras generated by group actions and derivations. In particular, the following factorization problem is discussed. Let Ψ be a locally pseudo-convex Frechet algebra with unit e and T+ : Ψ Ψ a continuous linear operator. Does there exist a neighborhood U of 0 such that the equation where T- = IΨ- T, has a solution x ∈ Ψ for every y ∈ U?
A homotopy fixed point theorem in 0-complete partial metric space
2015
We generalize a result of Feng and Liu, on multi-valued contractive mappings, for studying the relationship between fixed point sets and homotopy fixed point sets. The presented results are discussed in the generalized setting of 0-complete partial metric spaces. An example and a nonlinear alternative of Leray-Schauder type are given to support our theorems.
An integral representation for decomposable measures of measurable functions
1994
We start with a measurem on a measurable space (Ω,A), decomposable with respect to an Archimedeant-conorm ⊥ on a real interval [0,M], which generalizes an additive measure. Using the integral introduced by the second author, a Radon-Nikodym type theorem, needed in what follows, is given.
Intersection subgroups of complex hyperplane arrangements
2000
Abstract Let A be a central arrangement of hyperplanes in C n , let M( A ) be the complement of A , and let L ( A ) be the intersection lattice of A . For X in L ( A ) we set A X ={H∈ A : H⫆X} , and A /X={H/X: H∈ A X } , and A X ={H∩X: H∈ A \ A X } . We exhibit natural embeddings of M( A X ) in M( A ) that give rise to monomorphisms from π 1 (M( A X )) to π 1 (M( A )) . We call the images of these monomorphisms intersection subgroups of type X and prove that they form a conjugacy class of subgroups of π 1 (M( A )) . Recall that X in L ( A ) is modular if X+Y is an element of L ( A ) for all Y in L ( A ) . We call X in L ( A ) supersolvable if there exists a chain 0⫅X 1 ⫅⋯⫅X d =X in L ( A ) …