Results 41 to 50 of about 8,443,563 (373)
Seeking fixed points in multiple coupling scalar theories in the ε expansion [PDF]
, 2017 A bstractFixed points for scalar theories in 4 − ε, 6 − ε and 3 − ε dimensions are discussed. It is shown how a large range of known fixed points for the four dimensional case can be obtained by using a general framework with two couplings.
H. Osborn, A. Stergiou
semanticscholar +1 more source
The Bulletin of Symbolic Logic, 2002 AbstractWe consider fixed point logics, i.e., extensions of first order predicate logic with operators defining fixed points. A number of such operators, generalizing inductive definitions, have been studied in the context of finite model theory, including nondeterministic and alternating operators. We review results established in finite model theory,
Dawar, Anuj, Gurevich, Yuri
openaire +2 more sources
Fixed points and self-reference
International Journal of Mathematics and Mathematical Sciences, 1984 It is shown how Gödel's famous diagonal argument and a generalization of the recursion theorem are derivable from a common construation. The abstract fixed point theorem of this article is independent of both metamathematics and recursion theory and is ...
Raymond M. Smullyan
doaj +1 more source
Fixed Point Theory, 2018 In this paper, we introduce a hybrid viscosity extragradient method for a general system of variational inequalities with solutions being also common fixed points of a countable family of nonexpansive mappings and zeros point of an accretive operator in ...
L. Ceng +3 more
semanticscholar +1 more source
DAIMI Report Series, 1991 In the context of abstract interpretation for languages without higher-order features we study the number of times a functional need to be unfolded in order to give the least fixed point. For the cases of total or monotone functions we obtain an exponential bound and in the case of strict and additive (or distributive) functions we obtain a quadratic ...
Nielson, Hanne Riis, Nielson, Flemming
openaire +4 more sources
Representations of stream processors using nested fixed points [PDF]
, 2009 We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions.
Anton Setzer +8 more
core +3 more sources
Non-thermal fixed points: Universal dynamics far from equilibrium [PDF]
Julian Schwinger Centennial Conference, 2018 In this article we give an overview of the concept of universal dynamics near non-thermal fixed points in isolated quantum many-body systems. We outline a non-perturbative kinetic theory derived within a Schwinger–Keldysh closed-time path-integral ...
Christian-Marcel Schmied +2 more
semanticscholar +1 more source
Fixed Point Theory and Applications, 2007 The purpose of this paper is to present several existence and data dependence results of the fixed points of some multivalued generalized contractions in complete metric spaces. As for application, a continuation result is given.
Cristian Chifu, Gabriela Petruşel
doaj +2 more sources
Existence of almost fixed points for random operators with application in game theory
Results in Nonlinear Analysis, 2020 We introduce the notion of the random ε-fixed point for random operators. Then we prove some existence theorems in order to apply this results in game theory for example we will prove existence of ε-random Nash equilibrium in some class of random games ...
Oskar Górniewicz
doaj
Fixed Points for w-Contractive Multimaps
International Journal of Mathematics and Mathematical Sciences, 2009 Using the generalized Caristi's fixed point theorems we prove the existence of fixed points for self and nonself multivalued weakly w-contractive maps.
Abdul Latif, Marwan A. Kutbi
doaj +1 more source