Sheaves and Boolean valued model theory. (English) Zbl 0411.03028
MSC:
03C90 | Nonclassical models (Boolean-valued, sheaf, etc.) |
03C60 | Model-theoretic algebra |
18B25 | Topoi |
03G30 | Categorical logic, topoi |
Keywords:
Boolean valued models; first order model theory for elementary topoi; sheaves over a topological space; sheaves over a complete Heyting algebra; preservation theorems for model completeness; transfer theoremsReferences:
[1] | Category theory (1973) |
[2] | A category approach to boolean-valued set theory |
[3] | DOI: 10.1016/0021-8693(73)90169-5 · Zbl 0279.02037 · doi:10.1016/0021-8693(73)90169-5 |
[4] | DOI: 10.1016/0022-4049(74)90037-1 · Zbl 0294.18009 · doi:10.1016/0022-4049(74)90037-1 |
[5] | DOI: 10.1007/BFb0061296 · doi:10.1007/BFb0061296 |
[6] | DOI: 10.1016/0022-4049(75)90029-8 · Zbl 0322.18001 · doi:10.1016/0022-4049(75)90029-8 |
[7] | Lecture Notes in Mathematics 269 (1972) |
[8] | DOI: 10.1007/BFb0080985 · doi:10.1007/BFb0080985 |
[9] | Introduction to model-theory and to the metamathematics of algebra (1963) · Zbl 0118.25302 |
[10] | Memoirs of the American Mathematical Society (1967) |
[11] | Complete theories (1956) |
[12] | Memoirs of the American Mathematical Society 148 (1974) |
[13] | Fundamenta Mathematical 81 pp 73– (1973) |
[14] | Proceedings of the Logic Colloquium, Bristol 1973 (1975) |
[15] | Algebraic curves (1969) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.