What is meant by v? : : reflections on the universe of all sets / / Tatiana Arrigoni.

That the structure V = UaVa be the universe of all sets, that the set theoretical axioms be true assertions about V or that a question like the Continuum Hypothesis be still open (since it is undecided whether it holds or fails in V) are common assertions in set theory. How one is to understand them...

Full description

Saved in:
Bibliographic Details
VerfasserIn:
Place / Publishing House:Paderborn, Germany : : Mentis,, [2007]
©2007
Year of Publication:2007
Language:English
Physical Description:1 online resource
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 03550nam a2200445 i 4500
001 993583941904498
005 20230721041028.0
006 m o d |
007 cr un uuuua
008 211016s2007 gw a ob 001 0 eng d
020 |a 3-96975-037-7 
024 7 |a 10.30965/9783969750377  |2 DOI 
035 |a (CKB)5490000000000274 
035 |z (OCoLC)707694578 
035 |a (nllekb)BRILL9783969750377 
035 |a (MiAaPQ)EBC6530295 
035 |a (Au-PeEL)EBL6530295 
035 |a (OCoLC)1244621677 
035 |a (EXLCZ)995490000000000274 
040 |a MiAaPQ  |b eng  |e rda  |e pn  |c MiAaPQ  |d MiAaPQ 
050 4 |a QA248  |b .A766 2007 
072 7 |a HP  |2 bicssc 
072 7 |a PHI  |x 000000  |2 bisacsh 
082 0 |a 510.1  |2 23 
100 1 |a Arrigoni, Tatiana,  |e author. 
245 1 0 |a What is meant by v? :  |b reflections on the universe of all sets /  |c Tatiana Arrigoni. 
264 1 |a Paderborn, Germany :  |b Mentis,  |c [2007] 
264 4 |c ©2007 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |2 rdacarrier 
520 |a That the structure V = UaVa be the universe of all sets, that the set theoretical axioms be true assertions about V or that a question like the Continuum Hypothesis be still open (since it is undecided whether it holds or fails in V) are common assertions in set theory. How one is to understand them, tough, is not an obvious matter. The aim of this book is just to interpret the façon de parler that V is the universe of all sets in a way that is faithful to what is actually done in set theory. 
504 |a Includes bibliographical references (pages [144]-156) and index. 
588 |a Description based on print version record. 
505 0 |a Intro -- What is meant by V?: Reflections on the universe of all sets -- Contents -- PRELIMINARIES -- 1. INTRODUCING V -- 1.0. Preface -- 1.1 What's the problem with V? A sketch of the status quaestionis -- 1.2. The-real-universe-problem -- 1.3. The-choice-for-the-"right"-universe-problem -- 1.4. A heuristic approach to V. A note on Jensen's "pragmatic" point of view -- 1.5. V as framework for definitive achievements: examples -- 1.6. V as structure: an "interesting per se" and "large" place -- 1.7. V as epistemic attitude: the broadest possible point of view on sets -- 1.8. Prospect -- 2. V AND THE MAXIMUM ITERATIVE CONCEPT -- 2.0. PREFACE -- 2.1. The cumulative hierarchy V -- 2.2. The maximum iterative conception -- 2.3. What does it mean appealing to the maximum iterative concept? -- 2.4. What is at odds with the maximum iterative concept? -- 2.5. Is the maximum iterative concept dispensable? -- 2.6. What is the maximum iterative concept good for? -- 2.7. The mathematical practice of set theory -- Untitled -- 3. V AND LARGE CARDINAL AXIOMS -- 3.0. PREFACE -- 3.1. Intrinsic evidence for large cardinal hypothesis -- 3.2. Bottom up (extrinsic) evidence for large cardinal hypotheses -- 3.3 Epistemic features of intrinsic evidence -- 3.4. Concluding remarks on intrinsic and extrinsic evidence. -- 3.5. Large cardinal axioms and the concept of V as "the broadest possible point of view" -- 4. V, FORCING AND CH -- 4.0. Preface -- 4.1. Extending the universe of all sets -- 4.2. Transcending the universe of all sets? -- 4.3. Clarifying (possible) misunderstandings -- 4.4 Transcending forcing? -- EPILOGUE -- BIBLIOGRAPHY -- INDEX OF NAMES. 
650 0 |a Mathematics  |x Philosophy. 
650 0 |a Set theory. 
650 0 |a Logic, Symbolic and mathematical. 
776 |z 3-89785-559-3 
906 |a BOOK 
ADM |b 2023-07-22 09:42:54 Europe/Vienna  |f system  |c marc21  |a 2020-12-12 22:24:00 Europe/Vienna  |g false 
AVE |i Brill  |P EBA SFm All  |x https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5343736820004498&Force_direct=true  |Z 5343736820004498  |b Available  |8 5343736820004498