The following pages link to Mitsuru Yasuhara (Q1069931):
Displaying 12 items.
- Extensionality in Bernays set theory (Q1069932) (← links)
- An Addition to “Cut Elimination in ε-Calculi” (Q3469101) (← links)
- Completeness of cut-free type theories (Q4041553) (← links)
- The Amalgamation Property, the Universal-Homogeneous Models, and the Generic Models. (Q4052111) (← links)
- The Cut Elimination Theorem in the Unary Second Order Language (Q5553263) (← links)
- Syntactical and semantical properties of generalized quantifiers (Q5586244) (← links)
- An axiomatic system for the first order language with an equi-cardinality quantifier (Q5586245) (← links)
- Incompleteness of Lp languages (Q5588599) (← links)
- On a Problem of Mostowski on Finite Spectra (Q5628124) (← links)
- (Q5648358) (← links)
- Cut Elimination in ε‐Calculi (Q5896367) (← links)
- Cut Elimination in ε‐Calculi (Q5896461) (← links)
