Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Sheaf constructions and their elementary properties


Authors: Stanley Burris and Heinrich Werner
Journal: Trans. Amer. Math. Soc. 248 (1979), 269-309
MSC: Primary 03C30; Secondary 03C90
DOI: https://doi.org/10.1090/S0002-9947-1979-0522263-8
MathSciNet review: 522263
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We are interested in sheaf constructions in model-theory, so an attempt is made to unify and generalize the results to date, namely various forms of the Feferman-Vaught Theorem, positive decidability results, and constructions of model companions. The task is considerably simplified by introducing a new definition of sheaf constructions over Boolean spaces.


References [Enhancements On Off] (What's this?)

  • [1] R. F. Arens and I. Kaplansky, Topological representation of algebras, Trans. Amer. Math. Soc. 63 (1948), 457-481. MR 10, 7. MR 0025453 (10:7c)
  • [2] C. J. Ash, Reduced powers and Boolean extensions, J. London Math. Soc. 9 (1975), 429-432. MR 0491144 (58:10410)
  • [3] J. Baldwin and A. H. Lachlan, On universal Horn classes categorical in some infinite power, Algebra Universalis 3 (1973), 98-111. MR 50 #4273. MR 0351785 (50:4273)
  • [4] B. Banaschewski and E. Nelson, Boolean powers as algebras of continuous functions, 1975 (preprint). MR 0429693 (55:2704)
  • [5] S. Bulman-Fleming and H. Werner, Equational compactness in quasi-primal varieties, 1975 (preprint). MR 0429695 (55:2706)
  • [6] S. Burris, Boolean powers, Algebra Universalis 5 (1975), 341-360. MR 0447078 (56:5393)
  • [7] S. Burris and H. Werner, Sheaf constructions and their elementary properties. I, II, 1975 (preprints). MR 522263 (82d:03049)
  • [8] -, Decidable theories, Notices Amer. Math. Soc. 22 (1975), A-475.
  • [9] -, Model companions for discriminator varieties, Notices Amer. Math. Soc. 23 (1976), A-28.
  • [10] C. C. Chang and H. J. Keisler, Model theory, North-Holland, Amsterdam, 1973.
  • [11] S. D. Comer, Representations by algebras of sections over Boolean spaces, Pacific J. Math. 38 (1971), 29-38. MR 46 #3412. MR 0304277 (46:3412)
  • [12] -, Elementary properties of structures of sections, Bol. Soc. Mat. Mexicana 19 (1974), 78-85. MR 0437333 (55:10265)
  • [13] -, Monadic algebras with finite degree, Algebra Universalis 5 (1975), 315-329. MR 0403965 (53:7774)
  • [14] -, Complete and model-complete theories of monadic algebras, Colloq. Math. 34 (1976), 183-190. MR 0480008 (58:209)
  • [15] B. A. Davey, Sheaf spaces and sheaves of universal algebras, Math. Ž. 134 (1973), 275-290. MR 48 #8345. MR 0330006 (48:8345)
  • [16] A. Ehrenfeucht, Decidability of the theory of one function, Notices Amer. Math. Soc. 6 (1959), 268.
  • [17] P. Eklof and G. Sabbagh, Model-completions and modules, Ann. Math. Logic 2 (1970/71), no. 3, 251-295. MR 43 #3105. MR 0277372 (43:3105)
  • [18] Ju. L. Eršov, Decidability of the elementary theory of relatively complemented lattices and of the theory of filters, Algebra i Logika Sem. 3 (1964), no. 3, 17-38. (Russian) MR 31 #4725. MR 0180490 (31:4725)
  • [19] -, Elementary theory of Post varieties, Algebra i Logika 6 (1967), no. 5, 7-15. (Russian) MR 38 #34. MR 0231706 (38:34)
  • [20] Ju. L. Eršov, I. A. Lavrov, A. D. Taĭmanov and M. A. Taĭclin, Elementary theories, Russian Math. Surveys 20 (1965), 35-105. MR 32 #4012. MR 0186553 (32:4012)
  • [21] S. Feferman and R. L. Vaught, The first order properties of products of algebraic systems, Fund. Math. 47 (1959), 57-103. MR 21 #7171. MR 0108455 (21:7171)
  • [22] P. R. Halmos, Lectures on Boolean algebras, Van Nostrand, Princeton, N.J., 1963. MR 29 #4713. MR 0167440 (29:4713)
  • [23] L. Henkin, J. D. Monk and A. Tarski, Cylindric algebras. I, North-Holland, Amsterdam, 1971. MR 47 #3171. MR 0314620 (47:3171)
  • [24] K. Keimel and H. Werner, Stone duality for varieties generated by quasi-primal algebras, Mem. Amer. Math. Soc. No. 148 (1974), 59-85. MR 50 #12861. MR 0360411 (50:12861)
  • [25] P. Lindström, On model-completeness, Theoria (Lund) 30 (1964), 183-196. MR 31 #3317. MR 0179066 (31:3317)
  • [26] L. Lipschitz and D. Saracino, The model companion of the theory of commutative rings without nilpotent elements, Proc. Amer. Math. Soc. 38 (1973), 381-387. MR 0439624 (55:12510)
  • [27] A. Macintyre, Model-completeness for sheaves of structures, Fund. Math. 81 (1973/74), no. 1,73-89. MR 49 #2361. MR 0337592 (49:2361)
  • [28] J. A. Makowsky, On some conjectures connected with complete sentences, Fund. Math. 81 (1974), 193-202. MR 51 #2894. MR 0366647 (51:2894)
  • [29] A. I. Mal'cev, The metamathematics of algebraic systems. Collected papers: 1936-1967, North-Holland, Amsterdam, 1971. MR 50 #1877. MR 0349383 (50:1877)
  • [30] R. S. Pierce, Modules over commutative regular rings, Mem. Amer. Math. Soc. No. 70 (1967). MR 36 #151. MR 0217056 (36:151)
  • [31] M. O. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. Amer. Math. Soc. 141 (1969), 1-35. MR 40 #30. MR 0246760 (40:30)
  • [32] M. Rubin, Boolean algebras: Undecidability with distinguished subalgebra and interpretation in automorphism groups, Notices Amer. Math. Soc. 22 (1975), A-645.
  • [33] D. Saracino, Model companions for $ \aleph_0$-categorical theories, Proc. Amer. Math. Soc. 39 (1973), 591-598. MR 47 #4786. MR 0316238 (47:4786)
  • [34] W. Szmielew, Elementary properties of Abelian groups, Fund. Math. 41 (1955), 203-271. MR 17, 233. MR 0072131 (17:233e)
  • [35] A. Tarski, Arithmetical classes and types of Boolean algebras, Bull. Amer. Math. Soc. 55 (1949), 64.
  • [36] W. Taylor, Pure compactifications in quasi-primal varieties, Canad. J. Math. 28 (1976), 50-62. MR 0401608 (53:5435)
  • [37] H. Volger, The Feferman- Vaught theorem revisited, 1975 (preprint). MR 0439619 (55:12505)
  • [38] J. Waszkiewicz and B. Weglorz, Some models of theories of reduced powers, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 16 (1968), 683-685. MR 38 #5602. MR 0237312 (38:5602)
  • [39] -, On $ {\omega _0}$-categoricity of powers, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 17 (1969), 195-199. MR 41 #3262. MR 0258616 (41:3262)
  • [40] B. Weglorz, Substructures of reduced powers, Fund. Math. 89 (1975), 191-197. MR 0414351 (54:2454)
  • [41] V. Weispfennig, Model-completeness and elimination of quantifiers for subdirect products of structures, J. Algebra 36 (1975), 252-277. MR 0437339 (55:10271)
  • [42] H. Werner, Algebraic representation and model theoretic properties of algebras with the ternary discriminator, 1975 (preprint). MR 526402 (80f:08009)
  • [43] A. B. Carson, The model completion of the theory of commutative regular rings, J. Algebra 27 (1973), 136-146. MR 0387046 (52:7893)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03C30, 03C90

Retrieve articles in all journals with MSC: 03C30, 03C90


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1979-0522263-8
Keywords: Subdirect product, Boolean space, Łos's Theorem, preservation theorem, reduced product, filtered Boolean power, decidable theory, discriminator variety, model companion, universal Horn class
Article copyright: © Copyright 1979 American Mathematical Society

American Mathematical Society