Shunsuke Yatabe

Available identifiers

zbMath Open yatabe.shunsukeMaRDI QIDQ877260

List of research outcomes

Publication	Date of Publication	Type
On the crispness of \(\omega\) and arithmetic with a bisimulation in a constructive naive set theory	2015-02-12	Paper
A co-inductive language and truth degrees	2011-10-07	Paper
Comprehension contradicts to the induction within Łukasiewicz predicate logic	2009-05-06	Paper
Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic	2007-04-19	Paper
On Evans's vague object from set theoretic viewpoint	2006-08-14	Paper
A note on Hájek, Paris and Shepherdson's theorem	2005-09-28	Paper
Forcing indestructibility of MAD families	2005-02-23	Paper

Research outcomes over time

This page was built for person: Shunsuke Yatabe