On the Proof-Theoretic Foundations of Set Theory

DOI10.1007/978-3-319-22686-6_10OpenAlexW2259375570MaRDI QIDQ5864203

Lars Hallnäs

Publication date: 3 June 2022

Published in: Advances in Proof-Theoretic Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22686-6_10

zbMATH Keywords

foundationsproof theoryset theorydefinitional reflectionfunctional closurepartial inductive definitions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

This page was built for publication: On the Proof-Theoretic Foundations of Set Theory