Skip to main navigation
Skip to search
Skip to main content
Keio University Home
Help & FAQ
English
日本語
Home
Profiles
Research units
Research output
Search by expertise, name or affiliation
A linear conservative extension of zermelo-fraenkel set theory
Masaru Shirahata
Research output
:
Contribution to journal
›
Article
›
peer-review
3
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A linear conservative extension of zermelo-fraenkel set theory'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Arts & Humanities
Axioms
32%
Conservative Extension
99%
Cut-elimination
93%
Linear Logic
44%
Regularity
34%
Sequent Calculus
44%
Set Theory
77%
Zermelo
100%
Mathematics
Abstraction
36%
Axiom
29%
Cut-elimination
84%
Imply
21%
Linear Logic
40%
Partial
22%
Regularity
23%
Sequent Calculus
40%
Set Theory
69%
Term
36%
Theorem
13%