Prikry Forcing and Tree Prikry Forcing of Various Filters
| Autor: | Tom Benhamou |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
Pure mathematics
Forcing (recursion theory) Logic 010102 general mathematics 0102 computer and information sciences Mathematics - Logic Mathematical proof 01 natural sciences Philosophy Mathematics::Logic 010201 computation theory & mathematics Completeness (logic) FOS: Mathematics Tree (set theory) 0101 mathematics Algebra over a field Logic (math.LO) Mathematics |
| Popis: | In this paper, we answer a question asked in "A minimal Prikry type forcing for singularizing a measurable cardinal" regarding a Mathias criteria for Tree-Prikry forcing. Also we will investigate Prikry forcing using various filters. For completeness and self inclusion reasons, we will give proofs of many known theorems. Revised version |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|