Tome (1980)

Propositional extensions of

L_{ω} 1_{ω}

Richard Gostanian ; Karel Hrbacek

GDML_Books, (1980), p.

Résumé

CONTENTS0. Preliminaries....................................................................... 71. Adding propositional connectives to $L_{ω} 1_{ω}$ ............... 82. The propositional part of $L_{ω} 1_{ω}$ (S)............................. 103. The operation S and the Boolean algebra $B_{S}$ ............... 114. General model-theoretic properties of $L_{ω} 1_{ω}$ (S)...... 175. Hanf number computations...................................................... 226. Negative results for $L_{ω} 1_{ω}$ (S)........................................ 277. Proposition al extensions of $L_{ω} 1_{ω}$ a in the constructible universe...................................................... 348. The Souslin connective.............................................................. 449. Concluding remarks................................................................... 49References....................................................................................... 53

Zbl 0436.03032

EUDML-ID : urn:eudml:doc:268442

@book{bwmeta1.element.zamlynska-027e2ec7-282a-4661-a459-0635e6cb59d0,
     author = {Richard Gostanian and Karel Hrbacek},
     title = {Propositional extensions of $L\_$\omega$\_1\_$\omega$$
            },
     series = {GDML\_Books},
     publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
     address = {Warszawa},
     year = {1980},
     zbl = {0436.03032},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-027e2ec7-282a-4661-a459-0635e6cb59d0}
}

Richard Gostanian; Karel Hrbacek. Propositional extensions of $L_ω_1_ω$
            . GDML_Books (1980),  http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-027e2ec7-282a-4661-a459-0635e6cb59d0/