| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466602503316 |
|
|
Autore |
Bloom Frederick <1944-> |
|
|
Titolo |
Modern differential geometric techniques in the theory of continuous distributions of dislocations / / Frederick Bloom |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , 1979 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1979.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 207 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in mathematics ; ; 733 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Dislocations in crystals |
Geometry, Differential |
G-structures |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Mathematical preliminaries -- Material uniformity in elasticity -- Generalized elastic bodies -- Anelastic behavior and dislocation motion -- Thermodynamics and dislocation motion -- Some recent directions in current research. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910702648403321 |
|
|
Titolo |
Ebola |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Atlanta, Ga.] : , : National Center for Emerging and Zoonotic Infectious Diseases, Division of High-Consequence Pathogens and Pathology, Department of Health & Human Services, CDC, , [2014?] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (3 unnumbered pages) |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed Oct. 9, 2014). |
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996234846503316 |
|
|
Autore |
Werner Philipp |
|
|
Titolo |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / / Philipp Werner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Boston : , : De Gruyter, , [2015] |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (152 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Whole and parts (Philosophy) |
Set theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Vorwort -- Inhalt -- 1 Einleitung -- 2 Die mereologische Sprache -- 3 Die Mereologie M -- 4 Mereologische Begriffe erster Stufe -- 5 Gunk-Neutralität -- 6 Die Fusionsfunktion -- 7 Mereologische Begriffe zweiter Stufe -- 8 Das Axiom φ B -- 9 M+ φ |
|
|
|
|
|
|
|
|
|
|
|
B interpretiert parametrisiert OPN -- 10 Das Axiom φ L -- 11 M + φ L interpretiert parametrisiert ZFC -- 12 Schluss -- Appendix -- Literatur -- Symbolverzeichnis -- Personenverzeichnis -- Stichwortverzeichnis |
|
|
|
|
|
|
Sommario/riassunto |
|
In Parts of Classes, David Lewis outlined a reduction of ZFC to a second order mereology. His conclusion takes on the following form in this reconstruction: ZFC is susceptible to parameterized interpretation in M (classical second order mereology) plus, “there is a strongly inaccessible partition.” The proof makes use of the fact that ordered pairs in M plus “an infinite partition” are susceptible to parameterized interpretation. |
In seinem wichtigen Buch "Parts of Classes" hat David Lewis eine Reduktion von ZFC auf eine Mereologie zweiter Stufe skizziert. Sein Resultat nimmt in vorliegender Rekonstruktion folgende Form an: ZFC ist in M (der klassischen Mereologie zweiter Stufe) plus "Es gibt eine stark unerreichbare Partition" parametrisiert interpretierbar. In den Beweis geht ein, dass geordnete Paare in M plus "Es gibt eine unendliche Partition" parametrisiert interpretierbar sind. Die Arbeit beleuchtet den logischen und philosophie-geschichtlichen Hintergrund von "Parts of Classes", gibt eine Einführung in die Mereologie zweiter Stufe und schließt mit einem recht einfachen Beweis für "ZFC ist (die Konsistenz von ZFC vorausgesetzt) in einer konsistenten Mereologie zweiter Stufe parametrisiert interpretierbar". |
|
|
|
|
|
|
|
| |