Implication and analysis in classical Frege structures

DOI10.1016/0168-0072(87)90040-6MaRDI QIDQ1095139zbMATH OpenOpenAlexFDO

Authors Robert C. Flagg, John Myhill

Publication date 1987

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(87)90040-6

zbMATH Keywords

analysisCauchy realsclassical Frege structuresDedekind cutsDedekind realsFregean concept of propertyhierarchy of implicationsrecursive analysis

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25) Constructive and recursive analysis (03F60) Foundations: limits and generalizations, elementary topology of the line (26A03)

Review text

The authors construct a foundational system for mathematics on the Fregean concept of property, i.e. such that for any formula \(\Phi\) (x) there is a property \(\Psi\) such that \(\Phi\) (M) and ``M has property \(\Psi\) are interdeducible for every M. On this basis systems have been constructed by Fitch and Aczel. According to the authors the most reasonable foundation of classical mathematics based on Frege's concept of property is to define reals as Dedekind cuts and to use a hierarchy of implications. Such a system was proposed in 1975 by the second author, without a consistency proof, which is now supplied by exploiting Aczel's notion of Frege structure. In this paper the authors develop the proof theory and model theory of classical Frege structures, formalize the hierarchy of implications, prove the consistency of the system and outline the resulting analysis with Dedekind reals, which resembles to a large extent classical (elementary) analysis, and with Cauchy reals, which resembles recursive analysis.

Recommendations

• Frege's theory of real numbers: A consistent rendering
• On a consistent subsystem of Frege's Grundgesetze
• On structural features of the implication fragment of Frege's \textit{Grundgesetze}
• scientific article; zbMATH DE number 2212008
• \(\kappa\)-continuous lattices and comprehension principles for Frege structures

Cites work

• A basic logic
• A demonstrably consistent mathematics—Part II
• An extension of basic logic
• Constructive definition of certain analytic sets of numbers
• Elementary induction on abstract structures
• scientific article; zbMATH DE number 3720907 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 3532923 (Why is no real title available?)
• scientific article; zbMATH DE number 3563038 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3287831 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• scientific article; zbMATH DE number 3090385 (Why is no real title available?)
• The Heine-Borel theorem in extended basic logic
• The lambda calculus, its syntax and semantics
• The λ-calculus is ω-incomplete

Cited in

(11)

• A type-free system extending (ZFC)
• Bibliography of John Myhill
• Some results on extensionality in lambda calculus
• Universes over Frege structures
• On structural features of the implication fragment of Frege's \textit{Grundgesetze}
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• Extending the first-order theory of combinators with self-referential truth
• About Truth and Types
• Positive Frege and its Scott‐style semantics
• scientific article; zbMATH DE number 1778909 (Why is no real title available?)
• A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE

This page was built for publication: Implication and analysis in classical Frege structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1095139)