Local constructive set theory and inductive definitions

DOI10.1007/978-94-007-0431-2_10MaRDI QIDQ5260991zbMATH OpenOpenAlexFDO

Authors Peter Aczel

Publication date 1 July 2015

Published in The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-0431-2_10

zbMATH Keywords

constructive set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Recommendations

• scientific article; zbMATH DE number 2247249
• Rudimentary and arithmetical constructive set theory
• Constructive toposes with countable sums as models of constructive set theory
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Constructive set theory with operations

Cited in

(4)

• Non-deterministic inductive definitions
• Rudimentary and arithmetical constructive set theory
• Local set theory
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets

This page was built for publication: Local constructive set theory and inductive definitions

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