Kobe Logic Seminar

Back to the home page of the Group of Logic, Statistics and Informatics at Kobe University.

2009

November 24, Paul Larson (Miami)
The P(omega)/Fin extension of L(R)
November 10, Lionel Nguyen Van The (Marseille)
The Urysohn space and its isometry group
September 28, Jakob Kellner (Vienna)
A Sacks Real out of Nowhere
June 18, Arnold Beckmann (Swansea)
Provable Total NP Search Problems

2008

March 5, Masahiro Shioya (Tsukuba)
Kunen's model revisited again
March 5, Yoshihiro Abe (Kanagawa)
Ineffability and the partition property on P_kappa (lambda)

2007

December 11, Fernando Hernandez (Universidad Michoacana, Morelia, Mexico)
A Dowker space from a guessing sequences
November 26, Carlos diPrisco (IVIC, Caracas, Venezuela)
Parametrized partition relations
November 26, Istvan Juhasz (Hungarian Academy of Sciences, Budapest, Hungary)
Convergence and character spectra of compact spaces
November 26, Michael Hrusak (UNAM, Morelia, Mexico)
Katetov order
November 20, Georg Moser (U. Innsbruck)
The Hydra Battle and Cichon's Principle
April 18, David Aspero (Barcelona)
Definable wellorders of H(kappa^+) for kappa a large cardinal

2006

November 30, Byunghan Kim (Yonsei Univ.)
Generalized amalgamation and the group configuration
Novemebr 30, Illjas Farah (York Univ.)
Maharam's problem
November 15, Anton Setzer (University of Wales Swansea)
Development of Computability Theory in Martin-L{\"o}f Type Theory
April 19, Yi Zhang (Sysu, China)
Maximal Cofinitary Groups
March 23, Tadatoshi Miyamoto (Nanzan)
Iteratively forcing with sigma-Baire notions of forcing and adding new reals
March 9, Paul Larson (Miami University)
Absoluteness and Large Cardinals
March 2, Masanori Itai (Tokai)
Model theory of analytic structures
March 2, Akito Tsuboi (Tsukuba)
On constructions of models in Peano Arithmetic PA
February 1, Koichiro Ikeda (Hosei)
On numbers of generic structures
January 12, Andres Villaveces (Universidad Nacional, Bogota, Colombia) Fraisse-Hrushovski limits and non-elementary classes

2005

December 15, Masaru Kada (Osaka Pref. Univ.)
To $\beta\omega$, or not to $\beta\omega$: that is the question
December 7, Anton Setzer (University of Wales Swansea)
Ordinal Systems
November 7, Hitotaka Kikyo (Kobe)
On Generic Automorphisms
October 27, David Aspero (Bristol)
Forcing simply definable wellorders of H(omega_2)
September 22, Andreas Weiermann (Utrecht)
Phase transitions in logic and combinatorics
August 24, Bernhard Koenig (Boise)
Reflection of stationary sets - cofinality omega vs. cofinality omega_1
July 11, Yasuo Yoshinobu (Nagoya)
Kurepa trees and Namba forcing
July 8, Dmitri Shakhmatov (Ehime)
Partially ordered sets that can be represented by the family of subsets of the real line pre-ordered by topological embeddings
March 17-18, Joan Bagaria (Barcelona)
Classifying the axioms of Set Theory: the generic absoluteness programme
January 26, Sy-David Friedman (Vienna)
Strong absoluteness

2004

December 2, Stevo Todorcevic (Paris & Toronto)
A Problem of Von Neumann about the existence and control of measure
November 18, James Hirschorn (JSPS fellow, Kobe)
Iterated proper forcing without adding reals
July 20, Kouhei Suenaga (Tokyo University)
Translation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Type
June 17, Josh Hodas (ex-Harvey Mudd College, U.S.A)
Specifying Filler-Gap Dependency Pasers in a Fragment of Linear Logic
June 17, Pablo Lopez (Malaga University, SPAIN)
Resource Management in Linear Logic Proof Search
May 27, Osamu Takaki (Kyoto Sangyo Univ.)
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KP-theories
May 13, Michael Hrusak (Universidad Nacional Autonoma de Mexico Morelia)
Katetov order
April 22, Greg Piper (JSPS Fellow, Kobe)
Combinatorial Principles in Set Theory
April 5, Carsten Schuermann (Yale)
On lambda calculus
March 16, George Moser (Muenster, Germany)
Proof Theory and Term Rewriting Theory

2003

December 11, Justin Moore (Boise, USA)
Basis problems in combinatorial set theory
December 4, David Aspero (Bristol, UK)
On a Chang's conjecture-like property and definable splittings of stationary sets
October 23, Jeff Polakow (Kobe)
Logical frameworks from LF to CLF
October 16, Jeff Polakow (Kobe)
Ordered Linear Logic and Applications
July 30, Paul Larson (San Paulo, Brazil)
The Canonical Function Game
July 1, Jindrich Zapletal (Florida, USA)
Algebras of Borel sets
June 19, Sakae Fuchino (Chubu)
On some characterizations of SEP
March 10, Misao Nagayama (Tokyo Women's College)
Mathematical structures in ludics
February 20, Masaru Kada (Kitami Inst. Tech.)
Localization forcing and Hechler's theorem
January 16, Takashi Kiriyama (Stanford, USA)
Perspectives of interaction design from a viewpoint of design theory

2002

December 12, Makoto Kikuchi (Kobe)
Around abstract design theory
December 5, Hideki Tsuiki (Kyoto)
Approximations of sapces by uniform domains and Gray code
November 26, Kiyomitsu Yui (Kobe)
On Persons's functionalism
Nobember 21, Masahito Hasegawa (Kyoto)
Classical Linear Logic of Implications
November 7, Ryo Kashima (Tokyo Inst. Tech.)
On Relevant Logics
July 31, Masaru Kada (Kitami)
Hechler's theorem for the meager ideal
July 11, Toshiyasu Arai (Kobe)
An overview of epsilon substitution method
June 20, Akira Suzuki (Kobe)
Comprehensive Groebner bases and its implementation
June 13, Izumi Suzuki (Kobe)
Substances, Individuals, and Possible Worlds - A preparatory study on communications between philosophy and design theory

2001

December 6, Takeshi Yamazaki (Osaka Pref. U.)
Some conservation results on weak K\"{o}nig's lemma
November 29, Naoyuki Tamura (Kobe)
Linear logic and logic programming
November 8, Toshiyasu Arai (Kobe)
Wellfoundedness proofs in reflecting universes
November 1, Maria Losada (Kobe)
Chains and antichains in boolean algebra
August 22, Paul Larson (Toronto, Canada)
Katetov's problem
June 6, Frank Tall (Toronto, Canada)
The Topology of Elementary Submodels

2000

July 19, Yuko Murakami (Chiba, Indiana)
Questions, answers, and information
June 14, Hiroshi Sakamoto (Kobe)
Exploring for the biological functions of Hu neuron-specific RNA-binding proteins
May 31, Andreas Weiermann (Munster, Germany)
An independence result for PA via graphical enumeration
May 24, Akira Suzuki (Kinki Fukushi U.)
Counting critical points of I3 embeddings
May 10, Paul Larson (Kobe)
Stationary reflection

1999

August 5, Anton Setzer (University of Uppsala, Sweden)
Type theory, inductive-recursive definitions and the Mahlo universe
August 5, Yoji Akama (Tohoku)
Combinator Approach to terminating Lambda-terms
July 21, Joel David Hamkins (City University of New York, USA)
The Wholeness Axioms and V=HODp
July 13, Joel David Hamkins (City University of New York, USA)
Infinite time Turing machines with only one tape
June 22, Hiroshi Fujita (Ehime)
Equivalence of Determinacy of Covering Games with Capacitability
June 9 (Wed), Toshio Suzuki (Osaka Pref. Univ.)
Degrees of Dowd-type generic oracles
June 1, Philip D. Welch (Kobe)
Unfoldable Cardinals

1998

December 15, Atsushi Shimojima (JAIST)
A formal semantics of graphics, with the focus on their constraint-projection properties
December 15, Nik Swoboda (ATR, Indiana)
Making Observations: Gathering information through visual means
November 27, Stefan Geschke (Kitami Institute of Technology)
\sigma-extensions of P(\omega)
November 17, Katsumi Tanaka (Okayama)
Bounded word length in linear groups
November 10, Joel David Hamkins (CUNY, Kobe)
Post's Problem for Infinite Time Turing Machines
October 27, Masahiro Shioya (Tuskuba)
Splitting $P_\kappa\lambda$ into maximally many stationary sets
October 20, Masaru Kada (Osaka Pref. Univ.)
Cichon's diagram and infinite games
July 29, Doug Burke (University of Nevada, Las Vegas)
Combinatorial Principles and Generic Embeddings
July 14, Asae Mochizuki (Kobe)
Lattice embeddings into the p-s-degrees of recursive functions
July 9, Noriko Arai (Hiroshima City University)
Proof complexity: Resolution vs. Cut-free LK
July 2, Zhang Shu-guo (Sichuan, Kobe)
Ideals and stationary reflections
June 23, Paul Larson (UCB)
An introduction to P_max
June 18, Joji Takahashi (Kobe)
Projections of complete Boolean algebras and ideals in Boolean extensions
June 11, Joel David Hamkins (CUNY, Kobe)
The Lottery Preparation
June 4, Koichiro Ikeda (Tokai)
On strongly minimal theories
May 28, Tatsuya Shimura (Nihon)
A categorical version of Jankov's theorem and some syntactical properties of intermediate logics
May 26, Gaisi Takeuti
Goedel sentences of Bounded Arithmetic
May 14, Yuzuru Kakuda (Kobe)
Syntactical Method of Non-standard Analysis
May 7, Toshio Suzuki (Osaka Pref. University)
Alternative proofs of Dowd's results on the relativized propositional calculus
April 30, Katsuya Eda (Waseda)
Infinitary words and the Hawaiian earring (Algebraic Topology for set theories)
April 23, Makoto Kikuchi (Kobe)
Short stories about the pigeonhole principle