{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:29:45Z","timestamp":1736573385480,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387972889"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0043075","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T16:46:04Z","timestamp":1155833164000},"page":"1-14","source":"Crossref","is-referenced-by-count":2,"title":["Relatively free relation algebras"],"prefix":"10.1007","author":[{"given":"H.","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"J\u00f3nsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"N\u00e9meti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"771","DOI":"10.2307\/1999821","volume":"286","author":"S.D. Comer","year":"1984","unstructured":"Comer, S.D., Galois-theory of cylindric algebras and its applications., Trans. Amer. Math. Soc. 286 (1984), 771\u2013785.","journal-title":"Trans. Amer. Math. Soc."},{"key":"1_CR2","unstructured":"Henkin, L., Monk, J.D. and Tarski, A., Cylindric Algebras, Parts I\u2013II, North-Holland, Amsterdam."},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02483728","volume":"15","author":"B. J\u00f3nsson","year":"1982","unstructured":"J\u00f3nsson, B., Varieties of relation algebras, Algebra Universalis 15 (1982), 273\u2013298.","journal-title":"Algebra Universalis"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B. and Tarski, A., Boolean algebras with operators. Part II, Amer. J. Math. 74 (1952), 127\u2013162.","journal-title":"Amer. J. Math."},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"95","DOI":"10.7146\/math.scand.a-10627","volume":"9","author":"B. J\u00f3nsson","year":"1961","unstructured":"J\u00f3nsson, B. and Tarski, A., On two properties of free algebras, Math. Scand. 9 (1961), 95\u2013101.","journal-title":"Math. Scand."},{"key":"1_CR6","volume-title":"Topics in relation algebras","author":"R. Maddux","year":"1978","unstructured":"Maddux, R., \u201cTopics in relation algebras,\u201d Ph.D Thesis, University of California, Berkeley, 1978."},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"501","DOI":"10.2307\/1998710","volume":"272","author":"R. Maddux","year":"1982","unstructured":"Maddux, R., Some varieties containing relation algebras, Trans. Amer. Math. Soc 272 (1982), 501\u2013526.","journal-title":"Trans. Amer. Math. Soc"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Maddux, R., Pair-dense relation algebras, Trans. Amer. Math. Soc. (to appear).","DOI":"10.1090\/S0002-9947-1991-1049616-1"},{"key":"1_CR9","volume-title":"Free algebras and decidability in algebraic logic","author":"I. N\u00e9meti","year":"1986","unstructured":"N\u00e9meti, I., \u201cFree algebras and decidability in algebraic logic,\u201d Dissertation for D.Sc. with Hung. Academy of Sciences (In Hungarian.), Budapest, 1986."},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"340","DOI":"10.2307\/2045968","volume":"2","author":"I. N\u00e9meti","year":"1987","unstructured":"N\u00e9meti, I., Decidability of relation algebras with weakened associativity, Proc. Amer. Math. Soc. 100 2 (1987), 340\u2013344.","journal-title":"Proc. Amer. Math. Soc."},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0168-0072(87)90019-4","volume":"36","author":"I. N\u00e9meti","year":"1987","unstructured":"N\u00e9meti, I., On varieties of cylindric algebras with applications to logic, Annals of Pure and Applied Logic 36 (1987), 235\u2013277.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"1_CR12","first-page":"72","volume":"18","author":"I. Sain","year":"1989","unstructured":"Sain, I., Strong amalgamation and epimorphisms of cylindric algebras and Boolean algebras with operators., Partially abstracted in: Sain,I., Amalgamation, Epimorphisms, and Definability Properties in Algebraic Logic, Bulletin of the Section of Logic, Vol 18, No 2 (Warsaw-Lodz 1989), 72\u201378., Studia Logica (to appear).","journal-title":"Bulletin of the Section of Logic"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Tarski, A. and Givant, S., \u201cA formalization of set theory without variables,\u201d Colloquium publications 41, AMer. Math. Soc., Providence, Rhode Island, 1987.","DOI":"10.1090\/coll\/041"},{"key":"1_CR14","doi-asserted-by":"crossref","DOI":"10.1515\/9783112733332","volume-title":"Discriminator algebras","author":"H. Werner","year":"1978","unstructured":"Werner, H., \u201cDiscriminator algebras,\u201d Akademie Verlag, Berlin, 1978."}],"container-title":["Lecture Notes in Computer Science","Algebraic Logic and Universal Algebra in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0043075.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T13:47:25Z","timestamp":1736516845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0043075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387972889"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0043075","relation":{},"subject":[]}}