Results 21 to 30 of about 4,734,689 (297)
Dynamical fixed points in holography
Journal of High Energy Physics, 2022 Typically, an interactive system evolves towards thermal equilibrium, with hydrodynamics representing a universal framework for its late-time dynamics.
Alex Buchel
doaj +1 more source
Croatian Operational Research Review, 2017 A set of sufficient conditions which guarantee the existence of a point x⋆ such that f(x⋆) = x⋆ is called a "fixed point theorem". Many such theorems are named after well-known mathematicians and economists.
Sanjo Zlobec
doaj +1 more source
Fixed points and coupled fixed points in partially ordered ν-generalized metric spaces
Applied General Topology, 2018 New fixed point and coupled fixed point theorems in partially ordered ν-generalized metric spaces are presented. Since the product of two ν-generalized metric spaces is not in general a ν-generalized metric space, a different approach is needed than in ...
Mortaza Abtahi +2 more
doaj +1 more source
Fixed Points Theorems for Non-Transitive Relations [PDF]
Logical Methods in Computer Science, 2022 In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or attractivity, a mild
Jérémy Dubut, Akihisa Yamada
doaj +1 more source
Quantitative impurities effects on temperatures of tin and aluminium fixed-point cells [PDF]
, 2009 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.The International Temperature Scale of 1990 (ITS-90) defines the present S.I.(“System International”) means of measuring temperature.
Petchpong, Patchariya
core +5 more sources
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 +3 more sources
FIXED POINTS AND APPROXIMATE FIXED POINTS IN PRODUCT SPACES
Taiwanese Journal of Mathematics, 2001 The paper deals with the general theme of what is known about the existence of fixed points and approximate fixed points for mappings which satisfy geometric conditions in product spaces. In particular it is shown that if X and Y are metric spaces each of which has the fixed point property for nonexpansive mappings, then the product space (X ×Y )∞ has ...
Espínola, R., Kirk, W. A.
openaire +5 more sources
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 ...
Hanne Riis Nielson, Flemming Nielson
openaire +6 more sources
On Essential Fixed Points [PDF]
Proceedings of the American Mathematical Society, 1959 Wenn jede stetige Abbildung des kompakten Hausdorffschen Raumes \(X\) in sich wenigstens einen Fixpunkt hat, so ist \(p \in X\) wesentlicher Fixpunkt von \(f: X \rightarrow p\). [\glqq Wesentlich\grqq{} bedeutet: Zu jeder Umgebung \(U\) von \(p\) gibt es in \(X^X\) (kompakt-offen topologisiert) eine Umgebung \(N\) von \(f\), so daß jedes \(g \in N ...
openaire +2 more sources
Intuitionistic fixed point logic [PDF]
Annals of Pure and Applied Logic, 2021 We study the system IFP of intuitionistic fixed point logic, an extension of intuitionistic first-order logic by strictly positive inductive and coinductive definitions. We define a realizability interpretation of IFP and use it to extract computational content from proofs about abstract structures specified by arbitrary classically true disjunction ...
Ulrich Berger 0001, Hideki Tsuiki
openaire +3 more sources