MARC details
| 000 -Leader |
|---|
| Leader |
04160nam a22006615i 4500 |
| 001 - Numero di controllo |
|---|
| Numero di controllo |
225751 |
| 003 - Identificatore del numero di controllo |
|---|
| Identificatore del numero di controllo |
IT-RoAPU |
| 005 - Data e orario dell'ultima transazione |
|---|
| Data e orario dell'ultima transazione |
20230501182350.0 |
| 006 - Elementi di lunghezza fissa--Caratteristiche del materiale allegato--Informazione generale |
|---|
| Elementi di lunghezza fissa--Caratteristiche del materiale allegato--Informazione generale |
m|||||o||d|||||||| |
| 007 - Campo fisso per la descrizione fisica--informazione generale |
|---|
| Campo fisso per la descrizione fisica--informazione generale |
cr || |||||||| |
| 008 - Elementi di lunghezza fissa--Informazione generale |
|---|
| Elementi di lunghezza fissa--Informazione generale |
230228t20152015gw fo d z ger d |
| 010 ## - Numero di controllo dalla Library of Congress |
|---|
| Numero di controllo della LC |
2014042920 |
| 019 ## - CODED FIELD ERROR (RLIN) |
|---|
| Coded field error |
(OCoLC)951146951 |
| 020 ## - International Standard Book Number |
|---|
| ISBN (International Standard Book Number) |
9781614517788 |
| Qualifying information |
print |
| 020 ## - International Standard Book Number |
|---|
| ISBN (International Standard Book Number) |
9781614519362 |
| Qualifying information |
EPUB |
| 020 ## - International Standard Book Number |
|---|
| ISBN (International Standard Book Number) |
9781614517030 |
| Qualifying information |
PDF |
| 024 7# - Altri identificatori standard |
|---|
| Numero standard o codice |
10.1515/9781614517030 |
| Fonte del numero o codice |
doi |
| 035 ## - Numero di controllo del sistema |
|---|
| Numero di controllo del sistema |
(DE-B1597)9781614517030 |
| 035 ## - Numero di controllo del sistema |
|---|
| Numero di controllo del sistema |
(DE-B1597)426987 |
| 035 ## - Numero di controllo del sistema |
|---|
| Numero di controllo del sistema |
(OCoLC)908079351 |
| 040 ## - Fonte della catalogazione |
|---|
| Agenzia catalografica originale |
DE-B1597 |
| Lingua della catalogazione |
eng |
| Agenzia che fa la trascrizione |
DE-B1597 |
| Regole di descrizione |
rda |
| 050 00 - Numero di chiamata (collocazione) della Library of Congress |
|---|
| Numero di classificazione |
B945.L4554 |
| Numero d'item |
W47 2015 |
| 072 #7 - Codice di categoria di soggetto |
|---|
| Codice di categoria di soggetto |
MAT028000 |
| Fonte |
bisacsh |
| 084 ## - Numero d’altra classificazione |
|---|
| Numero di classificazione |
online - DeGruyter |
| 100 1# - Accesso principale -- nome di persona |
|---|
| Nome di persona |
Werner, Philipp |
| Termine di ruolo |
autore |
| 245 10 - Formulazione del titolo |
|---|
| Titolo |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : |
| Complemento del titolo |
Eine Rekonstruktion / |
| Formulazioni di responsabilità, ecc. |
Philipp Werner. |
| 264 #1 - Produzione, pubblicazione, etc di un'opera |
|---|
| Luogo di produzione, pubblicazione, ecc. |
Berlin ; |
| -- |
Boston : |
| Nome del produttore, editore, ecc. |
De Gruyter, |
| Data di produzione, specificazione, ecc. |
[2015] |
| 264 #4 - Produzione, pubblicazione, etc di un'opera |
|---|
| Data di produzione, specificazione, ecc. |
©2015 |
| 300 ## - Descrizione fisica |
|---|
| Estensione |
1 online resource (140 p.) |
| 336 ## - Tipo contenuto |
|---|
| Tipo contenuto |
|
| Tipo contenuto (codice) |
txt |
| Fonte |
rdacontent |
| 337 ## - Tipo formato |
|---|
| Tipo formato |
|
| Tipo formato (codice) |
c |
| Fonte |
rdamedia |
| 338 ## - Formato di trasporto |
|---|
| Formato di trasporto |
|
| Formato di trasporto (codice) |
cr |
| Fonte |
rdacarrier |
| 347 ## - Caratteristiche file digitale |
|---|
| Tipo file |
text file |
| Formato di codifica |
PDF |
| Fonte |
rda |
| 490 0# - Formulazione della serie |
|---|
| Formulazione della serie |
Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , |
| ISSN (International Standard Serial Number) |
2198-2201 ; |
| Numero del volume/designazione di sequenza |
24 |
| 505 00 - Nota formattata di contenuto |
|---|
| Titolo |
Frontmatter -- |
| -- |
Vorwort -- |
| -- |
Inhalt -- |
| -- |
1 Einleitung -- |
| -- |
Teil I: Überlappung -- |
| -- |
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 -- |
| -- |
Teil II: Unendlichkeit und Codierung -- |
| -- |
8 Das Axiom φ B -- |
| -- |
9 M+ φ B interpretiert parametrisiert OPN -- |
| -- |
Teil III: Starke Unerreichbarkeit und Elementschaft -- |
| -- |
10 Das Axiom φ L -- |
| -- |
11 M + φ L interpretiert parametrisiert ZFC -- |
| -- |
12 Schluss -- |
| -- |
Appendix -- |
| -- |
Literatur -- |
| -- |
Symbolverzeichnis -- |
| -- |
Personenverzeichnis -- |
| -- |
Stichwortverzeichnis |
| 506 0# - Nota sulle restrizioni all'accesso |
|---|
| Condizioni che regolano l'accesso |
restricted access |
| URI (Uniform Resource Identifier) |
<a href="http://purl.org/coar/access_right/c_16ec">http://purl.org/coar/access_right/c_16ec</a> |
| Terminologia normalizzata della restrizione all’accesso |
online access with authorization |
| Fonte del termine |
star |
| 520 ## - Riassunto, ecc. |
|---|
| Nota di riassunto, ecc. |
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. |
| 520 ## - Riassunto, ecc. |
|---|
| Nota di riassunto, ecc. |
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". |
| 530 ## - Nota sulla disponibilità su altro supporto fisico |
|---|
| Nota sulla disponibilità su altro supporto fisico |
Issued also in print. |
| 538 ## - Nota sui requisiti del sistema |
|---|
| Nota sui requisiti del sistema |
Mode of access: Internet via World Wide Web. |
| 546 ## - Nota sulla lingua |
|---|
| Nota sulla lingua |
In German. |
| 588 0# - Nota sulla fonte della discrezione |
|---|
| Nota sulla fonte della discrezione |
Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) |
| 650 #0 - Accesso aggiunto di soggetto--termine topico |
|---|
| Termine topico o nome geografico come accesso |
Set theory. |
| 650 #0 - Accesso aggiunto di soggetto--termine topico |
|---|
| Termine topico o nome geografico come accesso |
Whole and parts (Philosophy) |
| 650 #4 - Accesso aggiunto di soggetto--termine topico |
|---|
| Termine topico o nome geografico come accesso |
Grundlagen der Mathematik. |
| 650 #4 - Accesso aggiunto di soggetto--termine topico |
|---|
| Termine topico o nome geografico come accesso |
Mereologie. |
| 650 #4 - Accesso aggiunto di soggetto--termine topico |
|---|
| Termine topico o nome geografico come accesso |
Nominalismus. |
| 650 #7 - Accesso aggiunto di soggetto--termine topico |
|---|
| Termine topico o nome geografico come accesso |
MATHEMATICS / Set Theory. |
| Fonte dell'intestazione o del termine |
bisacsh |
| 653 ## - Termine d’indicizzazione--non controllato |
|---|
| Termine non controllato |
Mereology. |
| 653 ## - Termine d’indicizzazione--non controllato |
|---|
| Termine non controllato |
interpretability. |
| 653 ## - Termine d’indicizzazione--non controllato |
|---|
| Termine non controllato |
nominalism. |
| 653 ## - Termine d’indicizzazione--non controllato |
|---|
| Termine non controllato |
set theory. |
| 850 ## - Istituzione possedente |
|---|
| Istituzione possedente |
IT-RoAPU |
| 856 40 - Localizzazione e accesso elettronico |
|---|
| URI (Uniform Resource Identifier) |
<a href="https://doi.org/10.1515/9781614517030">https://doi.org/10.1515/9781614517030</a> |
| 856 40 - Localizzazione e accesso elettronico |
|---|
| URI (Uniform Resource Identifier) |
<a href="https://www.degruyter.com/isbn/9781614517030">https://www.degruyter.com/isbn/9781614517030</a> |
| 856 42 - Localizzazione e accesso elettronico |
|---|
| Materiale specificato |
Cover |
| URI (Uniform Resource Identifier) |
<a href="https://www.degruyter.com/document/cover/isbn/9781614517030/original">https://www.degruyter.com/document/cover/isbn/9781614517030/original</a> |
| 942 ## - Dati aggiuntivi (Koha) |
|---|
| Tipo copia default (Koha) |
eBook |
