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
Zermelo
100%
Conservative Extension
99%
Cut-elimination
93%
Set Theory
77%
Linear Logic
44%
Sequent Calculus
44%
Regularity
34%
Axioms
32%
Mathematics
Cut-elimination
84%
Set Theory
69%
Linear Logic
40%
Sequent Calculus
40%
Abstraction
36%
Term
36%
Axiom
29%
Regularity
23%
Partial
22%
Imply
21%
Theorem
13%