Morais, Ricardo Projective logic. (English) Zbl 0403.03028 Anais Acad. Brasil. Ci. 48, 627-661 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03C99 Model theory 03B99 General logic 03E15 Descriptive set theory Keywords:Projective Boolean Algebras; Axiomatizations; Model Existence Theorem; Completeness; Downward Loewenheim-Skolem Theorem; Representation; Projective Logic; Boolean Sigma-Algebra PDFBibTeX XMLCite \textit{R. Morais}, Anais Acad. Brasil. Ci. 48, 627--661 (1976; Zbl 0403.03028)