Effective results on a fixed point algorithm for families of nonlinear mappings

Annals of Pure and Applied Logic 168 (1):112-128 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.09.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
Some unifying fixed point principles.Raymond M. Smullyan - 1991 - Studia Logica 50 (1):129 - 141.
A fixed point theorem and its use in Kripke's theory of truth.S. Heikkilä - manuscript
On the λY calculus.Rick Statman - 2004 - Annals of Pure and Applied Logic 130 (1-3):325-337.
An effective fixed-point theorem in intuitionistic diagonalizable algebras.Giovanni Sambin - 1976 - Studia Logica 35 (4):345 - 361.
What an Algorithm Is.Robin K. Hill - 2016 - Philosophy and Technology 29 (1):35-59.
Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.Roman Kossak - 1997 - Logic Journal of the IGPL 5 (6):787-794.
Yet another hierarchy theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
An application of proof mining to nonlinear iterations.Laurenţiu Leuştean - 2014 - Annals of Pure and Applied Logic 165 (9):1484-1500.
Discrete independence results.Harvey Friedman - manuscript
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Domain representability of metric spaces.Jens Blanck - 1997 - Annals of Pure and Applied Logic 83 (3):225-247.
On a super large fixed-point of common information in multi-agent signalling games.Anton Benz - 2012 - Logic Journal of the IGPL 20 (1):94-120.
Two-dimensional lattice models of the Peierls type.A. Movchan, R. Bullough & J. Willis - 2003 - Philosophical Magazine 83 (5):569-587.

Analytics

Added to PP
2016-09-14

Downloads
8 (#1,215,626)

6 months
4 (#573,918)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Relative constructivity.Ulrich Kohlenbach - 1998 - Journal of Symbolic Logic 63 (4):1218-1238.
Strongly uniform bounds from semi-constructive proofs.Philipp Gerhardy & Ulrich Kohlenbach - 2006 - Annals of Pure and Applied Logic 141 (1):89-107.
Relative Constructivity.Ulrich Kohlenbach - 1998 - Journal of Symbolic Logic 63 (4):1218-1238.
An application of proof mining to nonlinear iterations.Laurenţiu Leuştean - 2014 - Annals of Pure and Applied Logic 165 (9):1484-1500.

Add more references