{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:53Z","timestamp":1755220973467,"version":"3.43.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1023\/a:1021368713305","type":"journal-article","created":{"date-parts":[[2003,3,20]],"date-time":"2003-03-20T20:22:32Z","timestamp":1048191752000},"page":"285-309","source":"Crossref","is-referenced-by-count":9,"title":["Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic"],"prefix":"10.1007","volume":"72","author":[{"given":"Tarek Sayed","family":"Ahmed","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5111636_CR1","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0168-0072(97)00027-4","volume":"89","author":"H. Andr\u00c9ka","year":"1997","unstructured":"Andr\u00c9ka, H., 'Complexity of equations valid in algebras of relations', Annals of Pure and Applied logic 89:149-209, 1997.","journal-title":"Annals of Pure and Applied logic"},{"key":"5111636_CR2","unstructured":"Andr\u00c9ka, H., 'Atomic representable relation and cylindric algebras with non representable completions', Manuscript, 1998."},{"key":"5111636_CR3","unstructured":"Andr\u00c9ka, H., Personal communication."},{"key":"5111636_CR4","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF02121113","volume":"36","author":"H. Andr\u00c9ka","year":"1977","unstructured":"Andr\u00c9ka, H., T. Gergely, and I. N\u00c9meti, 'On universal algebraic constructions of logics', Studia Logica 36:9-47, 1977.","journal-title":"Studia Logica"},{"issue":"2","key":"5111636_CR5","first-page":"249","volume":"3","author":"H. Andr\u00c9ka","year":"1997","unstructured":"Andr\u00c9ka, H., I. N\u00c9meti, and T. Sayed Ahmed, 'On neat reducts of algebras of logic', presented in Logic Colloquium 1996, abstract appeared in the Bulletin of Symbolic Logic 3(2):249, 1997.","journal-title":"On neat reducts of algebras of logic"},{"issue":"1","key":"5111636_CR6","first-page":"88","volume":"5","author":"H. Andr\u00c9ka","year":"1999","unstructured":"Andr\u00c9ka, H., and T. Sayed Ahmed, 'Omitting types in logics with finitely many variables', presented in Logic Colloquium 1998, abstract appeared in the Bulletin of Symbolic Logic 5(1):88, 1999.","journal-title":"Omitting types in logics with finitely many variables"},{"key":"5111636_CR7","doi-asserted-by":"crossref","first-page":"845","DOI":"10.2307\/2274576","volume":"53","author":"B. Bir\u00d3","year":"1988","unstructured":"Bir\u00d3, B., and S. Shelah, 'Isomorphic but not lower base isomorphic cylindric set algebras', Journal of Symbolic Logic 53:845-853, 1988.","journal-title":"Journal of Symbolic Logic"},{"key":"5111636_CR8","doi-asserted-by":"crossref","first-page":"236","DOI":"10.2307\/2275607","volume":"61","author":"E. Casanovas","year":"1996","unstructured":"Casanovas, E., and R. Farre, 'Omitting types in incomplete theories', Journal of Symbolic Logic 61:236-245, 1996.","journal-title":"Journal of Symbolic Logic"},{"key":"5111636_CR9","doi-asserted-by":"crossref","first-page":"151","DOI":"10.4064\/fm-52-2-151-176","volume":"52","author":"A. Daigneault","year":"1963","unstructured":"Daigneault, A., and J. D. Monk, 'Representation theory for polyadic algebras', Fundamenta Mathematicae 52:151-176, 1963.","journal-title":"Fundamenta Mathematicae"},{"key":"5111636_CR10","doi-asserted-by":"crossref","first-page":"412","DOI":"10.2307\/2274230","volume":"50","author":"R. Goldblatt","year":"1985","unstructured":"Goldblatt, R., 'On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic', Journal of Symbolic Logic 50:412-422, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"5111636_CR11","unstructured":"Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras, Part I, North-Holland, 1971."},{"key":"5111636_CR12","unstructured":"Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras, Part II, North-Holland, 1985."},{"key":"5111636_CR13","unstructured":"Hirsch, R., 'Neat embeddability is not sufficient for complete representations', Manuscript, 2000."},{"key":"5111636_CR14","doi-asserted-by":"crossref","first-page":"816","DOI":"10.2307\/2275574","volume":"62","author":"R. Hirsch","year":"1997","unstructured":"Hirsch, R., and I. Hodkinson, 'Complete representations in algebraic logic', Journal of Symbolic Logic 62:816-847, 1997.","journal-title":"Journal of Symbolic Logic"},{"key":"5111636_CR15","doi-asserted-by":"crossref","first-page":"225","DOI":"10.2307\/2275740","volume":"62","author":"R. Hirsch","year":"1997","unstructured":"Hirsch, R., and I. Hodkinson, 'Step by step-building representations in algebraic logic', Journal of Symbolic Logic 62:225-279, 1997.","journal-title":"Journal of Symbolic Logic"},{"key":"5111636_CR16","unstructured":"Hirsch, R., and I. Hodkinson, 'Strongly representable atom structures of relation algebras', Proceedings of the American Mathematical Society, to appear."},{"key":"5111636_CR17","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0168-0072(99)00022-6","volume":"101","author":"R. Hirsch","year":"2000","unstructured":"Hirsch, R., and I. Hodkinson, 'Relation algebras with n-dimensional relational bases', Annals of Pure and Applied Logic 101:227-274, 2000.","journal-title":"Annals of Pure and Applied Logic"},{"key":"5111636_CR18","unstructured":"Hirsch, R., and I. Hodkinson, and R. Maddux, 'Relation algebra reducts of cylindric algebras and an application to proof theory', Journal of Symbolic Logic, to appear."},{"key":"5111636_CR19","unstructured":"Hirsch, R., and I. Hodkinson, 'Synthesising axioms by games', In JFAK \u2014 essays dedicated to Johan van Benthem (eds.: J. Gerbrandy, M. Marx, M. de Rijke, Y. Venema), Vossiuspers AUP\/Amsterdam University Press, 1999, (CD-ROM)."},{"key":"5111636_CR20","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0168-0072(97)00015-8","volume":"89","author":"I. Hodkinson","year":"1997","unstructured":"Hodkinson, I. 'Atom structures of cylindric algebras and relation algebras', Annals of Pure and Applied Logic 89:117-148, 1997.","journal-title":"Annals of Pure and Applied Logic"},{"key":"5111636_CR21","doi-asserted-by":"crossref","unstructured":"Hodges, W.\nModel Theory, Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511551574"},{"key":"5111636_CR22","volume-title":"Aspects of Philosophical Logic","author":"D. M. Gabbay","year":"1981","unstructured":"Gabbay, D. M., 'An irreflexivity lemma with applications to axiomatizations of conditions +in linear frames', In Aspects of Philosophical Logic (ed.: U. Monnich), Reidel, Dordrecht, 1981."},{"key":"5111636_CR23","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s000120050100","volume":"41","author":"S. Givant","year":"1999","unstructured":"Givant, S., and Y. Venema, 'The preservation of Sahlqvist equations in completions of Boolean algebras with operators', Algebra Universalis 41:47-84, 1999.","journal-title":"Algebra Universalis"},{"key":"5111636_CR24","doi-asserted-by":"crossref","unstructured":"L\u00c9vy, A., Basic set Theory, Springer-Verlag, 1979.","DOI":"10.1007\/978-3-662-02308-2"},{"key":"5111636_CR25","doi-asserted-by":"crossref","first-page":"707","DOI":"10.2307\/1969375","volume":"51","author":"R. Lyndon","year":"1950","unstructured":"Lyndon, R., 'The representation of relational algebras', Annals of Mathematics 51:707-729, 1950.","journal-title":"Annals of Mathematics"},{"key":"5111636_CR26","volume-title":"Topics in relation algebras","author":"R. Maddux","year":"1978","unstructured":"Maddux, R., 'Topics in relation algebras', PhD thesis, University of California, Berkeley, 1978."},{"key":"5111636_CR27","doi-asserted-by":"crossref","first-page":"951","DOI":"10.2307\/2274756","volume":"54","author":"R. Maddux","year":"1989","unstructured":"Maddux, R., 'Non-finite axiomatizability results for cylindric and relation algebras', Journal of Symbolic Logic 54:951-974, 1989.","journal-title":"Journal of Symbolic Logic"},{"key":"5111636_CR28","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s000120050144","volume":"43","author":"M. Marx","year":"2000","unstructured":"Marx, M., 'Amalgamation in finite dimensional cylindric algebras', Algebra Universalis 43:41-49, 2000.","journal-title":"Algebra Universalis"},{"key":"5111636_CR29","doi-asserted-by":"crossref","unstructured":"Miller, A., 'Covering \u03c92 with \u03c9\n1 disjoint closed sets', In Proceedings of the Kleene Symposium, Madison, Wisconsin, 1978, Studies in Logic and the Foundation of Mathematics 101, North-Holland, 1980, pp. 415-421.","DOI":"10.1016\/S0049-237X(08)71271-0"},{"key":"5111636_CR30","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2270900","volume":"34","author":"J. D. Monk","year":"1969","unstructured":"Monk, J. D., 'Non finitizability of classes of representable cylindric algebras', Journal of Symbolic Logic 34:331-343, 1969.","journal-title":"Journal of Symbolic Logic"},{"key":"5111636_CR31","first-page":"101","volume":"16","author":"J. D. Monk","year":"1978","unstructured":"Monk, J. D., 'Omitting types algebraically', Ann. Sci. Univ. Clermont Math. 16:101-105, 1978.","journal-title":"Ann. Sci. Univ. Clermont Math."},{"key":"5111636_CR32","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1305\/ndjfl\/1093870384","volume":"24","author":"I. N\u00c9meti","year":"1983","unstructured":"N\u00c9meti, I., 'The class of neat reducts of cylindric algebras is not a variety but is closed w.r.t. HP', Notre Dame Journal of Formal Logic 24:399-409, 1983.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5111636_CR33","first-page":"465","volume-title":"Algebraization of quantifier logics, an introductory overview","author":"I. N\u00c9meti","year":"1991","unstructured":"N\u00c9meti, I., 'Algebraization of quantifier logics, an introductory overview', Math. Inst. Budapest, Preprint No. 13, 1996. A shortened version appeared in Studia Logica 50:465-569, 1991."},{"key":"5111636_CR34","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1093\/jigpal\/5.4.575","volume":"5","author":"I. N\u00c9meti","year":"1997","unstructured":"N\u00c9meti, I., and A. Simon, 'Relation algebras from cylindric and polyadic algebras', Logic Journal of the IGPL 5:575-588, 1997.","journal-title":"Logic Journal of the IGPL"},{"key":"5111636_CR35","doi-asserted-by":"crossref","first-page":"1020","DOI":"10.2307\/2273835","volume":"52","author":"L. Newelski","year":"1987","unstructured":"Newelski, L., 'Omitting types and the real line', Journal of Symbolic Logic 52:1020-1026, 1987.","journal-title":"Journal of Symbolic Logic"},{"key":"5111636_CR36","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF02944991","volume":"1","author":"D. Pigozzi","year":"1971","unstructured":"Pigozzi, D., 'Amalgamation, congruence extension, and interpolation properties in algebras', Algebra Universalis 1:269-349, 1971.","journal-title":"Algebra Universalis"},{"key":"5111636_CR37","doi-asserted-by":"crossref","unstructured":"Sain, I., 'Beth and Craig's properties via epimorphisms and amalgamation in algebraic logic', In Algebraic Logic and Universal Algebra in Computer Science, Lecture Notes in Computer Science 425, Springer-Verlag, 1990, pp. 209-226.","DOI":"10.1007\/BFb0043086"},{"key":"5111636_CR38","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1093\/jigpal\/8.4.497","volume":"8","author":"I. Sain","year":"2000","unstructured":"Sain, I., 'Searching for a finitizable algebraisation of first order logic', Logic Journal of the IGPL 8:495-589, 2000.","journal-title":"Logic Journal of the IGPL"},{"key":"5111636_CR39","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1093\/jigpal\/9.4.593","volume":"9","author":"T. Sayed Ahmed","year":"2001","unstructured":"Sayed Ahmed, T., 'The class of neat reducts is not elementary', Logic Journal of the IGPL 9:31-65, 2001. Abstract appeared in Journal of Symbolic Logic 5:407\u2013408, 1999.","journal-title":"Logic Journal of the IGPL"},{"key":"5111636_CR40","unstructured":"Sayed Ahmed, T., 'On amalgamation of reducts of polyadic algebras', Algebra Universalis, to appear."},{"key":"5111636_CR41","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/A:1012447223176","volume":"68","author":"T. Sayed Ahmed","year":"2001","unstructured":"Sayed Ahmed, T., and I. N\u00c9meti, 'On neat reducts of algebras of logic', Studia Logica 68:229-269, 2001.","journal-title":"Studia Logica"},{"key":"5111636_CR42","unstructured":"Ser\u00c9ny, G., 'Neatly atomic cylindric algebras and representable isomorphisms', In Algebraic Logic (eds.: H. Andr\u00e9ka, I. N\u00e9meti, and J.D. Monk), North-Holland, 1991, pp. 637-645."},{"key":"5111636_CR43","unstructured":"Shelah, S., Classification Theory, 2nd edition, North-Holland, 1990."},{"key":"5111636_CR44","unstructured":"Shelah, S., 'On a problem in cylindric algebra', In Algebraic Logic (eds.: H. Andr\u00e9ka, I. N\u00e9meti, and J.D. Monk), North-Holland, 1991, pp. 645-664."},{"key":"5111636_CR45","doi-asserted-by":"crossref","first-page":"591","DOI":"10.2307\/2275853","volume":"60","author":"Y. Venema","year":"1995","unstructured":"Venema, Y., 'Cylindric modal logic', Journal of Symbolic Logic 60:591-623, 1995.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021368713305.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021368713305\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021368713305.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:22:16Z","timestamp":1754630536000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021368713305"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5111636"],"URL":"https:\/\/doi.org\/10.1023\/a:1021368713305","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}