Eastern Model‐Theory for Boolean‐Valued Theories

DOI10.1002/MALQ.19850310109zbMATH Open0608.03012OpenAlexW2091738799MaRDI QIDQ3748272FDOQ3748272

Ioana Voiculescu, George Georgescu

Publication date: 1985

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19850310109

zbMATH Keywords

model completenessmodel companionBoolean-valued modelsexistentially closed modelsfirst-order sentences

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cited In (1)

• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem

This page was built for publication: Eastern Model‐Theory for Boolean‐Valued Theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3748272)