A linear conservative extension of Zermelo-Fraenkel set theory

DOI10.1007/BF00372772MaRDI QIDQ1919983zbMATH OpenOpenAlexFDO

Authors Masaru Shirahata

Publication date 4 November 1996

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00372772

zbMATH Keywords

consistencysequent calculuspartial cut-elimination theoremset theory with unrestricted comprehension in full linear logicsubterm property

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Nonclassical and second-order set theories (03E70)

Recommendations

• Linear set theory with strict comprehension
• scientific article; zbMATH DE number 3878897
• Types for Proofs and Programs
• On the consistency of \(\operatorname {ZF}^n\) in \(\operatorname {ZF}^{n+3}\)
• Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets

Cites work

• scientific article; zbMATH DE number 4053575 (Why is no real title available?)
• scientific article; zbMATH DE number 4108723 (Why is no real title available?)
• A consistent theory of attributes in a logic without contraction
• Bounded linear logic: A modular approach to polynomial-time computability
• Linear logic
• The semantics and proof theory of linear logic

Cited in

(11)

• The structure of the ordinals and the interpretation of ZF in double extension set theory
• Extensionality in Zermelo‐Fraenkel Set Theory
• scientific article; zbMATH DE number 4191619 (Why is no real title available?)
• scientific article; zbMATH DE number 4083619 (Why is no real title available?)
• scientific article; zbMATH DE number 3880679 (Why is no real title available?)
• Canonical form of Tarski sets in Zermelo-Fraenkel set theory
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• Linear set theory with strict comprehension
• On the regular extension axiom and its variants
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory
• scientific article; zbMATH DE number 3878897 (Why is no real title available?)

This page was built for publication: A linear conservative extension of Zermelo-Fraenkel set theory

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