- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Short note: Least fixed points versus least closed points
Archive for Mathematical Logic 60 (7):831-835 (2021)
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.Other Versions
No versions found
My notes
Similar books and articles
Tanaka’s theorem revisited.Saeideh Bahrami - 2020 - Archive for Mathematical Logic 59 (7-8):865-877.
Periodic points and subsystems of second-order arithmetic.Harvey Friedman, Stephen G. Simpson & Xiaokang Yu - 1993 - Annals of Pure and Applied Logic 62 (1):51-64.
Type-theoretic interpretation of iterated, strictly positive inductive definitions.Erik Palmgren - 1992 - Archive for Mathematical Logic 32 (2):75-99.
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments.Gerhard Jäger - 2022 - Notre Dame Journal of Formal Logic 63 (4):443-461.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
Intuitionistic Fixed Point Theories for Strictly Positive Operators.Christian Rüede & Thomas Strahm - 2002 - Mathematical Logic Quarterly 48 (2):195-202.
An intensional fixed point theory over first order arithmetic.Gerhard Jäger - 2004 - Annals of Pure and Applied Logic 128 (1-3):197-213.
Update Procedures and the 1-Consistency of Arithmetic.Jeremy Avigad - 2002 - Mathematical Logic Quarterly 48 (1):3-13.
Largest fixed points of set continuous operators and Boffa's Anti-Foundation.Hisato Muraki - 2005 - Mathematical Logic Quarterly 51 (4):365.
Analytics
Added to PP
2021-02-08
Downloads
20 (#1,052,675)
6 months
8 (#622,456)
2021-02-08
Downloads
20 (#1,052,675)
6 months
8 (#622,456)
Historical graph of downloads
Citations of this work
A few more dissimilarities between second-order arithmetic and set theory.Kentaro Fujimoto - 2022 - Archive for Mathematical Logic 62 (1):147-206.
Searching problems above arithmetical transfinite recursion.Yudai Suzuki & Keita Yokoyama - 2024 - Annals of Pure and Applied Logic 175 (10):103488.
References found in this work
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lv8mh dc2