AI Chat AI Image Generator AI Video Text to Speech

A fixed point theorem for COFEs

06/02/2023
∙
by   Stephen Dolan, et al.
∙
0
∙

A new fixed point principle for complete ordered families of equivalences (COFEs) is presented, which is stronger than the standard Banach-type fixed point principle.

READ FULL TEXT

page 1

page 2

page 3

Related Research

research
∙ 09/10/2021

A Fixed-point Theorem for Horn Formula Equations

We consider constrained Horn clause solving from the more general point ...
0 Stefan Hetzl, et al. ∙
research
∙ 07/15/2022

Fixed Points and Noetherian Topologies

This paper provides a canonical construction of a Noetherian least fixed...
0 Aliaume Lopez, et al. ∙
research
∙ 10/01/2021

Substructural fixed-point theorems and the diagonal argument: theme and variations

This article re-examines Lawvere's abstract, category-theoretic proof of...
0 David Michael Roberts, et al. ∙
research
∙ 06/30/2021

Fixed-Points for Quantitative Equational Logics

We develop a fixed-point extension of quantitative equational logic and ...
0 Radu Mardare, et al. ∙
research
∙ 09/15/2022

Fixed-Point Centrality for Networks

This paper proposes a family of network centralities called fixed-point ...
0 Shuang Gao, et al. ∙
research
∙ 03/15/2017

A Distributed Algorithm for Computing a Common Fixed Point of a Finite Family of Paracontractions

A distributed algorithm is described for finding a common fixed point of...
0 Daniel Fullmer, et al. ∙
research
∙ 02/23/2017

A Converse to Banach's Fixed Point Theorem and its CLS Completeness

Banach's fixed point theorem for contraction maps has been widely used t...
0 Constantinos Daskalakis, et al. ∙

Please sign up or login with your details

Forgot password? Click here to reset

Out of credits

Refill your membership to continue using DeepAI

Stripe
Paypal