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

analysisrecursive analysisDedekind cutsCauchy realsDedekind realsclassical Frege structuresFregean concept of propertyhierarchy of implications

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• The Heine-Borel theorem in extended basic logic
• The lambda calculus, its syntax and semantics
• The λ-calculus is ω-incomplete

Cited in

(11)

• Universes over Frege structures
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• On structural features of the implication fragment of Frege's \textit{Grundgesetze}
• Positive Frege and its Scott‐style semantics
• Extending the first-order theory of combinators with self-referential truth
• scientific article; zbMATH DE number 1778909 (Why is no real title available?)
• A type-free system extending (ZFC)
• About Truth and Types
• Some results on extensionality in lambda calculus
• Bibliography of John Myhill
• 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)