1.

Record Nr.

UNINA9910789294303321

Autore

Weaver Nik

Titolo

Forcing for mathematicians / / Nik Weaver, Washington University in St. Louis, USA

Pubbl/distr/stampa

New Jersey : , : World Scientific, , [2014]

�2014

ISBN

981-4566-01-2

Descrizione fisica

1 online resource (x, 142 pages)

Collana

Gale eBooks

Disciplina

511.3/4

Soggetti

Forcing (Model theory)

Set theory

Axiom of choice

Continuum hypothesis

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

24. Suslin's Problem, II*25. Whitehead's Problem, II*; 26. The Open Coloring Axiom; 27. Self-Homeomorphisms of βN \ N, II*; 28. Automorphisms of the Calkin Algebra, I*; 29. Automorphisms of the Calkin Algebra, II*; 30. The Multiverse Interpretation; Appendix A Forcing with Preorders; Exercises; Notes; Bibliography; Notation Index; Subject Index

Sommario/riassunto

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to long-standing problems in C * -algebra using set-theoretic methods, many achieved by the author and his collaborators, have generated new interest in this subject. This is the first book aimed at expla



2.

Record Nr.

UNINA9910830657803321

Titolo

Kommentar zum Handbuch, Eurocode 7 [[electronic resource] ] : Geotechnische Bemessung : Allgemeine Regeln / / [Herausgeber] Bernd Schuppener

Pubbl/distr/stampa

Berlin, : Ernst & Sohn, 2012

ISBN

3-433-60152-6

3-433-60108-9

1-280-66356-1

9786613640499

3-433-60153-4

Edizione

[1. Aufl.]

Descrizione fisica

1 online resource (314 p.)

Altri autori (Persone)

SchuppenerBernd

Disciplina

624.151305

Soggetti

EN1997 Eurocode 7 (Standard)

Engineering geology - Standards - Europe

Structural design - Standards - Europe

Standards, Engineering - Europe

Lingua di pubblicazione

Tedesco

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

T. A. Einführung -- T. B. Kommentare zu den Abschnitten des Handbuchs EC 7-1 -- T. C. Berechnungsbeispiele zu den Abschnitten des Handbuchs EC 7-1.

Sommario/riassunto

Im Kommentar werden ausführliche Begründungen und Erklärungen gegeben, mit denen das Verständnis für die neuen Begriffe, Regeln und Festlegungen geweckt werden soll. Mit den Beispielen wird gezeigt, wie die neuen Festlegungen im konkreten Fall in die Praxis umgesetzt werden. Sie sind so gewählt, dass alle wesentlichen Rechenschritte nachvollziehbar werden. Das Buch zeigt, wie die üblichen Standsicherheitsnachweise im Erd- und Grundbau, z. B. für Flachgründungen, Pfahlgründungen, Stützbauwerke, Baugrubenkonstruktionen, Verankerungen und Böschungen, sowie der Nachweis der Sicherheit gegen Auftri