Open problems in topology II

DE-1046
DE-1047
Volltext

Appalachian set theory 2006-2012

Inhaltsangabe: “… Pestov and Aleksandra Kwiatkowska -- Aronszajn trees and the SCH / Itay Neeman and Spencer Unger -- Iterated forcing and the Continuum Hypothesis / Todd Eisworth, Justin Tatch Moore and David Milovich -- Short extender forcing / Moti Gitik and Spencer Unger -- The complexity of classification problems in ergodic theory / Alexander S.  …”
DE-12
DE-92
URL des Erstveröffentlichers

Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005

Inhaltsangabe: “… Goncharov -- Independence for types in algebraically closed valued fields / Dierdre Haskell -- Simple groups of finite Morley rank / Eric Jaligot -- Towards a logic of type-free modality and truth / Hannes Leitgeb -- Structural analysis of Aronszajn trees / Justin Tatch Moore -- Proof analysis in non-classical logics / Sara Negri -- Paul Bernays' later philosophy of mathematics / Charles Parsons -- Proofnets for S5 : sequents and circuits for modal logic / Greg Restall -- Recursion on the partial continuous functionals / Helmut Schwichtenberg -- A transactional approach to the logic of truth / Michael Sheard -- On some problems in computable topology / Dieter Spreen -- Monotone inductive definitions and consistency of New Foundations / Sergei Tupailo …”
DE-12
DE-92
URL des Erstveröffentlichers

Logic colloquium 2005 proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005

Inhaltsverzeichnis

Proceedings of the International Congress of Mathematicians Hyderabad, August 19 - 27, 2010

Inhaltsverzeichnis