Short note: Least fixed points versus least closed points

Archive for Mathematical Logic 60 (7):831-835 (2021)
  Copy   BIBTEX

Abstract

This short note is on the question whether the intersection of all fixed points of a positive arithmetic operator and the intersection of all its closed points can proved to be equivalent in a weak fragment of second order arithmetic.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-021-00761-y

Links

PhilArchive



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

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

An intensional fixed point theory over first order arithmetic.Gerhard Jäger - 2004 - Annals of Pure and Applied Logic 128 (1-3):197-213.
From Moral Fixed Points to Epistemic Fixed Points.Christos Kyriacou - 2018 - In Christos Kyriacou & Robin McKenna (eds.), Metaepistemology: Realism & Antirealism. Cham: Palgrave Macmillan.
Lattices of Fixed Points of Fuzzy Galois Connections.Radim Bělohlávek - 2001 - Mathematical Logic Quarterly 47 (1):111-116.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Definable fixed points in modal and temporal logics — a survey.Sergey Mardaev - 2007 - Journal of Applied Non-Classical Logics 17 (3):317-346.
Tanaka’s theorem revisited.Saeideh Bahrami - 2020 - Archive for Mathematical Logic 59 (7-8):865-877.
Density and Baire category in recursive topology.Iraj Kalantari & Larry Welch - 2004 - Mathematical Logic Quarterly 50 (4-5):381-391.
A volume-preserving counterexample to the Seifert conjecture.Kuperberg Greg - unknown
Probabilistic truth approximation and fixed points.David Atkinson & Jeanne Peijnenburg - 2020 - Synthese 199 (1-2):4195-4216.
ŁΠ logic with fixed points.Luca Spada - 2008 - Archive for Mathematical Logic 47 (7-8):741-763.
Moral Fixed Points, Rationality and the ‘Why Be Moral?’ Question.Christos Kyriacou - 2019 - Erkenntnis 86 (3):647-664.
On the relationship between fixed points and iteration in admissible set theory without foundation.Dieter Probst - 2005 - Archive for Mathematical Logic 44 (5):561-580.
Minimal predicates, fixed-points, and definability.Johan van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696-712.
Minimal Predicates. Fixed-Points, and Definability.Johan Van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696 - 712.
Estimation of fixed points for nonlinear time series.Shapour Mohammadi & Hossein Abbasinezhad - 2014 - Complexity 19 (5):30-39.

Analytics

Added to PP
2021-02-08

Downloads
9 (#1,247,499)

6 months
4 (#776,340)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.

Add more references