Arithmetic and the theory of types

DOI10.2307/2274193MaRDI QIDQ3680818zbMATH OpenOpenAlexFDO

Authors Maurice Boffa

Publication date 1984

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274193

zbMATH Keywords

Frege's arithmeticRussell's paradoxRussell's theory of typessecond order arithmetic

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Models of arithmetic and set theory (03C62)

Recommendations

• Ramified Frege arithmetic
• Frege's theorem and his logicism
• scientific article; zbMATH DE number 2212008
• scientific article; zbMATH DE number 6111395
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik

Cited in

(8)

• Ultrafilters and types on models of arithmetic
• Relations in monadic third-order logic
• Finite sets and natural numbers in intuitionistic TT
• Organizing numerical theories using axiomatic type classes
• A Unified Formal Description of Arithmetic and Set Theoretical Data Types
• On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types
• scientific article; zbMATH DE number 3966052 (Why is no real title available?)
• Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined

This page was built for publication: Arithmetic and the theory of types

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