Frege's theorem in a constructive setting

DOI10.2307/2586481zbMath0930.03083OpenAlexW2110271525MaRDI QIDQ4262566

No author found.

Publication date: 15 February 2000

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

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

zbMATH Keywords

constructive set theoryintuitionistic set theorymodel of Peano arithmeticFrege's TheoremKuratowski-finite sets

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)

Related Items (3)

FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) ⋮ THE POTENTIAL IN FREGE’S THEOREM ⋮ Finite sets and frege structures

Cites Work

• Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined

This page was built for publication: Frege's theorem in a constructive setting