scientific article; zbMATH DE number 3950501

MaRDI QIDQ3720577zbMATH OpenFDO

Authors Hiroshi Horiguchi

Publication date 1985

zbMATH Keywords

adjoint functorselementary equivalenceultrapower

Mathematics Subject Classification ID

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

Recommendations

• Eastern Model‐Theory for Boolean‐Valued Theories
• scientific article; zbMATH DE number 2184445
• A category-theoretic approach to Boolean-valued models of set theory
• scientific article; zbMATH DE number 4064972
• An elementary definability theorem for first order logic

Cited in

(9)

• The Boolean-valued model of the conglomerate axiom system ACG
• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 3937166 (Why is no real title available?)
• scientific article; zbMATH DE number 3991490 (Why is no real title available?)
• A Simple Construction of Robinson Equivalence Relations
• Boolean valued models and incomplete specifications
• scientific article; zbMATH DE number 1383062 (Why is no real title available?)
• scientific article; zbMATH DE number 3313432 (Why is no real title available?)
• A category-theoretic approach to Boolean-valued models of set theory

This page was built for publication:

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