SU\G(𝔸)/K·U

Yuzuru Kakuda

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Hyperformulas and Classifications 2000 Yuzuru Kakuda
Makoto Kikuchi
Hirofumi Miki
+ PDF Chat The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996 1997 Yuzuru Kakuda
Kanji Namba
Nobuyoshi Motoháshi
+ The role of a filter quantifier in set theory 1989 Yuzuru Kakuda
+ Theory of infinitesimals without non-standard models 1985 Yuzuru Kakuda
+ On a condition for Cohen extensions which preserve precipitous ideals 1981 Yuzuru Kakuda
+ Precipitousness of the ideal of thin sets on a measurable cardinal 1981 Yuzuru Kakuda
+ Saturation of Ideals and Pseudo-Boolean Algebras of Ideals on Sets 1978 Yuzuru Kakuda
+ PDF Chat Saturated Ideals in Boolean Extensions 1972 Yuzuru Kakuda
Common Coauthors
Coauthor Papers Together
Nobuyoshi Motoháshi 1
Kanji Namba 1
Makoto Kikuchi 1
Hirofumi Miki 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ Some applications of iterated ultrapowers in set theory 1970 Kenneth Kunen
 3
+ PDF Chat Real-valued measurable cardinals 1971 Robert M Solovay
 3
+ PDF Chat A metatheory of nonstandard analysis 1993 Takakazu Mori
Yoshiki Tsujii
Mariko Yasugi
 2
+ PDF Chat On ideals of sets and the power set operation 1976 Thomas Jech
Karel Prikry
 2
+ Well-ordering of algebras and Kruskal's theorem 2005 Ryu Hasegawa
 1
+ Nonstandard representations of generalized sections of vector bundles 1995 Hiroshi Akiyama
 1
+ On the closed Unbounded ideal of ordinal numbers 1974 Kanji Namba
 1
+ A logical aspect of parametric polymorphism 1996 Ryu Hasegawa
 1
+ The stationarity preserving part of a complete boolean algebra 1993 Joji Takahashi
 1
+ Applied Nonstandard Analysis 1977 Martin Davis
 1
+ PDF Chat Conversion from nonstandard matrix algebras to standard factors of type $\mathrm{II}_{1}$ 1993 Takanori Hinokuma
Masanao Ozawa
 1
+ PDF Chat A factor of singular homology 1991 Katsuya Eda
Katsuro Sakai
 1
+ PDF Chat Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics 1993 Izumi Ojima
Masanao Ozawa
 1
+ PDF Chat Minimal models of minimal theories 1993 Koichiro Ikeda
 1
+ A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable 1970 Robert M Solovay
 1
+ ON DEFINABILITY OF NORMAL SUBGROUPS OF A SUPERSTABLE GROUP 1992 Akito Tsuboi
 1
+ Arithmetically independent integers and values of rational functions 1994 Masahiro Yasumoto
 1
+ PDF Chat Strongly nonmultidimensional theories 1991 Hirotaka Kikyo
 1
+ A second order version of <i>S</i><sub>2</sub><sup><i>i</i></sup> and <i>U</i><sub>2</sub><sup>1</sup> 1991 Gaisi Takeuti
 1
+ Forcing in nonstandard analysis 1994 Masanao Ozawa
 1
+ Nonstandard arithmetic of Hilbert subsets 1991 Masahiro Yasumoto
 1
+ Weak axioms of determinacy and subsystems of analysis II (∑02 games) 1991 Kazuyuki Tanaka
 1
+ Adding a Cohen real adds an entangled linear order 1993 Yoshifumi Yuasa
 1
+ On a condition for Cohen extensions which preserve precipitous ideals 1981 Yuzuru Kakuda
 1
+ A hierarchy of formulas in set theory 1965 Azriel Lévy
 1
+ Almost Total Elementary Maps 1995 Koichiro Ikeda
Akito Tsuboi
 1
+ A nonconservativity result on global choice 1984 Matt Kaufmann
Saharon Shelah
 1
+ Separations of theories in weak bounded arithmetic 1995 Gaisi Takeuti
 1
+ PDF Chat Almost coinciding families and gaps in P(ω) 1993 Shizuo Kamo
 1
+ The critical number of a variable in a function 1994 Gaisi Takeuti
 1
+ Infinitary J�nsson functions and elementary embeddings 1994 Masahiro Shioya
 1
+ A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM 1992 Kazuyuki Tanaka
 1
+ Set theory with a filter quantifier 1983 Matt Kaufmann
 1
+ On reduction properties 1994 Hirotaka Kikyo
Akito Tsuboi
 1
+ On L∞κ-free Boolean algebras 1992 Sakaé Fuchino
Sabine Koppelberg
Makoto Takahashi
 1
+ A two decomposition of a bounded metric space 1991 Kazuaki Kitahara
Katsumi Tanaka
 1
+ Strong polynomial-time reducibility 1997 Juichi Shinoda
 1
+ Ineffability Properties of Cardinals II 1977 James E. Baumgartner
 1
+ Boolean extensions and measurable cardinals 1971 Kenneth Kunen
J. B. Paris
 1
+ PDF Chat On Formalization of Model-Theoretic Proofs of Gödel's Theorems 1994 Makoto Kikuchi
Kazuyuki Tanaka
 1
+ PDF Chat Ineffability and partition property on Pκλ 1997 Shizuo Kamo
 1
+ Saturated ideals and the singular cardinal hypothesis 1992 Yo Matsubara
 1
+ PDF Chat Standard models of set theory with predication 1971 Thomas Jech
William C. Powell
 1
+ Abelian groups of continuous functions and their duals 1993 Katsuya Eda
Shizuo Kamo
Haruto Ohta
 1
+ PDF Chat Axiom schemata of strong infinity in axiomatic set theory 1960 Azriel Lévy
 1
+ Cardinal invariants about shrinkability of unbounded sets 1996 Masaru Kada
Yoshifumi Yuasa
 1
+ On the Strong Martin Conjecture 1991 Masanori Itai
 1
+ PDF Chat Internal set theory: A new approach to nonstandard analysis 1977 Edward Nelson
 1
+ Measurable cardinals and the continuum hypothesis 1967 Amit Levy
R. M. Solovay
 1
+ Some combinatorial problems concerning uncountable cardinals 1973 Thomas Jech
 1