A Non‐Boolean Version of Feferman‐Vaught's Theorem

DOI10.1002/MALQ.19850311904zbMath0553.03022OpenAlexW2152291854MaRDI QIDQ3346293

Thierry Lucas, Rene Lavendhomme

Publication date: 1985

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

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

zbMATH Keywords

sheavesmetrizable spaceBoolean spaces

Mathematics Subject Classification ID

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

Related Items (1)

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

This page was built for publication: A Non‐Boolean Version of Feferman‐Vaught's Theorem