zbMath0403.03028MaRDI QIDQ4187802
Ricardo Morais
Publication date: 1976
zbMATH Keywords
Completeness; Representation; Axiomatizations; Boolean Sigma-Algebra; Downward Loewenheim-Skolem Theorem; Model Existence Theorem; Projective Boolean Algebras; Projective Logic
Mathematics Subject Classification ID
03E15: Descriptive set theory
03C99: Model theory
03B99: General logic
Related Items