ML-1994-04: van Lambalgen, Michiel (1994) Independence Structures in Set Theory. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1994-04.text.ps.gz Download (90kB) |
|
Text (Abstract)
ML-1994-04.abstract.txt Download (911B) |
Abstract
The axioms for "independent choices" presented in van Lambalgen [1992] are
strengthened here, so that they can be seen as introducing a new type of
indiscernibles in set theory. The resulting system allows for the construction
of natural inner models. The article is organised as follows. Section 1
introduces the axioms, some preliminary lemmas are proved and the relation
with the axiom of choice is investigated. Section 0 gives a philosophical
motivation for the axioms; the reader who is not interested in such matters
can skip this part. In section 2 we compare the structure introduced by the
axioms, here called an independence structure, with two constructions from
model theory, indiscernibles and minimal sets. Section 3 contains the
construction of inner models, while section 4 presents some concluding
philosophical remarks.
| Item Type: | Report |
|---|---|
| Report Nr: | ML-1994-04 |
| Series Name: | Mathematical Logic and Foundations (ML) |
| Year: | 1994 |
| Date Deposited: | 12 Oct 2016 14:40 |
| Last Modified: | 12 Oct 2016 14:40 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1350 |
Actions (login required)
 |
View Item |
