Velleman beweist die Konsistenz der Existenz vereinfachte Gap 2 Moraste (ein Begriff gleichwertig zu den ursprünglichen Morasten, geschafft von Jensen). Wir haben einen noch einfachen Begriff des vereinfachten Morastes in der Dissertation vorgeschlagen, Details aufgefüllt und wesentlich auch einen verschiedenen Beweis des Satzes erfunden und zwar in beide Stufe des Forcingverfahrens. Wir benötigen auch keine Squarefunktionereihenfolge (die ganz Kohärenzvoraussetzung fehlt aber ist linear und konfinal) sondern ein ``erratendes'' Verfahren für Sequenze, das nicht fest ist und nicht die ganze Kohärenzbedigung erfüllt wie bei Velleman. Wir hoffen, wir haben so eingelegt die Basis für einen zukunftigen Beweis des allgemeines Falls n in ZFC. / Velleman proved the consistency of the existence of simplified gap 2 morasses (equivalent to the concrete morasses defined by Jensen) using a two stage forcing. We give an essentially different proof of the same result and fill up some details from Velleman's paper which were not clear or imcomplete. In fact the proof uses a simpler definition of simplified gap 2 morasses. We have also eliminated the use of square-like sequences in the second stage, employing a ``guessing'' procedure for sequences which are not fixed and do not satisfy full coherence requirement. With these steps we hope to have laid the foundation for a future proof of gap n morasses in ZFC.
| Identifer | oai:union.ndltd.org:HUMBOLT/oai:edoc.hu-berlin.de:18452/15975 |
| Date | 26 August 2005 |
| Creators | Cárdenas, Franqui |
| Contributors | Herrmann, E., Hauser, Kai, Jensen, Ronald |
| Publisher | Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät I |
| Source Sets | Humboldt University of Berlin |
| Language | English |
| Detected Language | German |
| Type | doctoralThesis, doc-type:doctoralThesis |
| Format | application/pdf |
Page generated in 0.0015 seconds