{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T03:32:00Z","timestamp":1649215920296},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":13525,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1977,3]]},"abstract":"<jats:p>The existence of complete rigid Boolean algebras was first proved by McAloon [8] who also showed that every Boolean algebra can be completely embedded in a rigid complete Boolean algebra. McAloon was interested in consistency results on ordinal definable sets. His approach was based on forcing. Recently, Shelah [10] proved that for every uncountable cardinal \u03ba there exists a Boolean algebra of power \u03ba with rigid completion. Extending his method, we get the following theorems.<\/jats:p><jats:p>Theorem 1. Any <jats:italic>Boolean algebra B can be completely embedded in a complete Boolean algebra C with no nontrivial \u03c3-complete one-one endomor-phism. If B satisfies the \u03ba-chain condition for an uncountable cardinal \u03ba, the same holds true for C<\/jats:italic>.<\/jats:p><jats:p>Since every automorphism is a complete endomorphism, it follows from Theorem 1 that <jats:italic>C<\/jats:italic> is rigid. The other extreme case of Boolean algebras are homogeneous algebras. It was proved by Kripke [7] that every Boolean algebra can be completely embedded in a homogeneous complete Boolean algebra. In his proof, the homogeneous algebra contains antichains of cardinality equal to the power of the embedded Boolean algebra. The following result shows that this is essential: the analogue of Theorem 1 is not provable in set theory even for Boolean algebras with a very weak homogeneity property. We use a Suslin tree with particular properties constructed by Jensen [6] in conjunction with a forcing argument.<\/jats:p>","DOI":"10.2307\/2272320","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T17:43:28Z","timestamp":1146937408000},"page":"64-76","source":"Crossref","is-referenced-by-count":4,"title":["Embedding theorems for boolean algebras and consistency results on ordinal definable sets"],"prefix":"10.1017","volume":"42","author":[{"given":"Petr","family":"\u0160t\u011bp\u00e1nek","sequence":"first","affiliation":[]},{"given":"Bohuslav","family":"Balcar","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200050799_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(75)90011-X"},{"key":"S0022481200050799_ref003","doi-asserted-by":"publisher","DOI":"10.2307\/1970935"},{"key":"S0022481200050799_ref004","volume-title":"Lecture Notes in Mathematics","author":"Jech","year":"1971"},{"key":"S0022481200050799_ref010","unstructured":"Shelah S. , Why there are many nonisomorphic models for unsuperstable theories (mimeographed)."},{"key":"S0022481200050799_ref006","doi-asserted-by":"publisher","DOI":"10.4064\/fm-81-4-279-290"},{"key":"S0022481200050799_ref001","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.50.6.1143"},{"key":"S0022481200050799_ref002","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s1-35.1.85"},{"key":"S0022481200050799_ref007","doi-asserted-by":"publisher","DOI":"10.4064\/fm-61-1-29-32"},{"key":"S0022481200050799_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(71)90005-2"},{"key":"S0022481200050799_ref009","unstructured":"McKenzie R. and Monk J. , On automorphism groups of Boolean algebras, Preprint Institute of Mathematics ETH Z\u00fcrich."},{"key":"S0022481200050799_ref011","volume-title":"The theory of semisets","author":"Vop\u011bnka","year":"1972"},{"key":"S0022481200050799_ref012","doi-asserted-by":"publisher","DOI":"10.4064\/fm-57-3-275-285"},{"key":"S0022481200050799_ref013","volume-title":"Mathematical Centre Tracts 34","author":"Juh\u00e1sz","year":"1971"},{"key":"S0022481200050799_ref014","volume-title":"Boolean algebras","author":"Sikorski","year":"1964"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200050799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T15:22:18Z","timestamp":1559056938000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200050799\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,3]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1977,3]]}},"alternative-id":["S0022481200050799"],"URL":"https:\/\/doi.org\/10.2307\/2272320","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1977,3]]}}}