Algebra and Logic · 1973 · 65 citations · 4 references
ComputingComputer ScienceMathematicsLogicTheoretical PhysicsTheory Of ComputationBeyond The Standard Model PhysicsComputational ModelsModel CheckingModel TheoryConstructive MathematicsExactly Solvable ModelsModel CompletenessModel-complete Theories
4
A. I. Malʹt︠s︡ev · Russian Mathematical Surveys · 1961 · 213 citations
Constructivizability of superatomic Boolean algebras
Algebra and Logic · 1973 · 39 citations
Robert L. Vaught · Bulletin of the American Mathematical Society · 1963 · 31 citations · Full text
Humanities, Mathematics, Logic +7