Implication and analysis in classical Frege structures

DOI10.1016/0168-0072(87)90040-6zbMath0632.03045OpenAlexW2048205189MaRDI QIDQ1095139

Robert C. Flagg

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 realsrecursive analysisDedekind cutsDedekind realsclassical Frege structuresFregean concept of propertyhierarchy of implications

Mathematics Subject Classification ID

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

Related Items (8)

A type-free system extending (ZFC) ⋮ Positive Frege and its Scott‐style semantics ⋮ About Truth and Types ⋮ Bibliography of John Myhill ⋮ Some results on extensionality in lambda calculus ⋮ THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES ⋮ Extending the first-order theory of combinators with self-referential truth ⋮ Universes over Frege structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus, its syntax and semantics
• Elementary induction on abstract structures
• Constructive definition of certain analytic sets of numbers
• The λ-calculus is ω-incomplete
• An extension of basic logic
• The Heine-Borel theorem in extended basic logic
• A demonstrably consistent mathematics—Part II
• A basic logic

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