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)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

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

Through your library

Similar books and articles

An application of proof mining to nonlinear iterations.Laurenţiu Leuştean - 2014 - Annals of Pure and Applied Logic 165 (9):1484-1500.
Fixed-point extensions of first-order logic.Yuri Gurevich & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 32:265-280.
The fixed-point property for represented spaces.Mathieu Hoyrup - 2022 - Annals of Pure and Applied Logic 173 (5):103090.
Fixed point theorems on partial randomness.Kohtaro Tadaki - 2012 - Annals of Pure and Applied Logic 163 (7):763-774.
Fixed point theory in weak second-order arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
On the λY calculus.Rick Statman - 2004 - Annals of Pure and Applied Logic 130 (1-3):325-337.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Linear logic with fixed resources.Dmitry A. Archangelsky & Mikhail A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):3-28.
Subadditive families of hypergraphs.Jindřich Zapletal - forthcoming - Annals of Pure and Applied Logic.

Analytics

Added to PP
2016-09-14

Downloads
19 (#1,120,317)

6 months
2 (#1,294,541)

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.
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