A linear conservative extension of Zermelo-Fraenkel set theory

DOI10.1007/BF00372772zbMATH Open0851.03016OpenAlexW2093657228MaRDI QIDQ1919983FDOQ1919983

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

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

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)

Cites Work

• The semantics and proof theory of linear logic
• Linear logic
• Bounded linear logic: A modular approach to polynomial-time computability
• A consistent theory of attributes in a logic without contraction
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• The structure of the ordinals and the interpretation of ZF in double extension set theory
• Extensionality in Zermelo‐Fraenkel Set Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Canonical form of Tarski sets in Zermelo-Fraenkel set theory
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• On the regular extension axiom and its variants
• Linear set theory with strict comprehension
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory
• Title not available (Why is that?)

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)