Finite sets and frege structures

DOI10.2307/2586795MaRDI QIDQ4948525zbMATH OpenOpenAlexFDO

Authors John L. Bell

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

Frege structurePeano axioms

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 803291
• Finite Model Theory
• Finitary set theory
• Bounded finite set theory
• Complete Axiomatisations of Properties of Finite Sets
• Extremal Finite Set Theory
• Finite sets, closed images, and separation axioms
• Some Aspects of Model Theory and Finite Structures
• scientific article; zbMATH DE number 7158385
• Set Theory and Structures

Cites work

• Frege's theorem in a constructive setting
• scientific article; zbMATH DE number 192841 (Why is no real title available?)

Cited in

(12)

• Extensive forms and set-theoretic forms
• Finite sets and symmetric simplicial sets
• Finite sets, closed images, and separation axioms
• scientific article; zbMATH DE number 5919926 (Why is no real title available?)
• Extremal Finite Set Theory
• scientific article; zbMATH DE number 6101280 (Why is no real title available?)
• scientific article; zbMATH DE number 4204328 (Why is no real title available?)
• scientific article; zbMATH DE number 4099273 (Why is no real title available?)
• scientific article; zbMATH DE number 2003164 (Why is no real title available?)
• scientific article; zbMATH DE number 1863393 (Why is no real title available?)
• scientific article; zbMATH DE number 7158385 (Why is no real title available?)
• Finite-tight sets

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

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