Finite sets and frege structures

DOI10.2307/2586795zbMath0952.03066OpenAlexW2154489104MaRDI QIDQ4948525

No author found.

Publication date: 7 June 2000

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

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

zbMATH Keywords

Peano axiomsFrege structure

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Other constructive mathematics (03F65)

Cites Work

• Unnamed Item
• Frege's theorem in a constructive setting

This page was built for publication: Finite sets and frege structures