Results for 'Tarek Amer'

255 found
Order:
  1.  15
    Opposite effects of emotion and event segmentation on temporal order memory and object-context binding.Monika Riegel, Daniel Granja, Tarek Amer, Patrik Vuilleumier & Ulrike Rimmele - forthcoming - Cognition and Emotion.
    Our daily lives unfold continuously, yet our memories are organised into distinct events, situated in a specific context of space and time, and chunked when this context changes (at event boundaries). Previous research showed that this process, termed event segmentation, enhances object-context binding but impairs temporal order memory. Physiologically, peaks in pupil dilation index event segmentation, similar to emotion-induced bursts of autonomic arousal. Emotional arousal also modulates object-context binding and temporal order memory. Yet, these two critical factors have not been (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  33
    Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
    In this note we give an interpretation of cylindric algebras as algebras of sentences of first order logic. We show that the isomorphism types of such algebras of sentences coincide with the class of neat reducts of cylindric algebras. Also we show how this interpretation sheds light on some recent results. This is done by likening Henkin's Neat Embedding Theorem to his celebrated completeness proof.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  13
    Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
    In this note we give an interpretation of cylindric algebras as algebras of sentences of first order logic. We show that the isomorphism types of such algebras of sentences coincide with the class of neat reducts of cylindric algebras. Also we show how this interpretation sheds light on some recent results. This is done by likening Henkin's Neat Embedding Theorem to his celebrated completeness proof.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  93
    Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.
    This is a survey article on algebraic logic. It gives a historical background leading up to a modern perspective. Central problems in algebraic logic (like the representation problem) are discussed in connection to other branches of logic, like modal logic, proof theory, model-theoretic forcing, finite combinatorics, and Gödel’s incompleteness results. We focus on cylindric algebras. Relation algebras and polyadic algebras are mostly covered only insofar as they relate to cylindric algebras, and even there we have not told the whole story. (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  5. THE EFFICIENCY EXTENT OF THE INTERNAL CONTROL ENVIRONMENT IN THE PALESTINIAN HIGHER EDUCATIONAL INSTITUTIONS IN GAZA STRIP.Tarek M. Ammar, Mazen J. Al Shobaki & Samy S. Abu Naser - 2017 - International Journal of Digital Publication Technology 1 (2):107-126.
    The purpose of this research is to identify the extent of the efficiency of the internal control environment in the Palestinian higher educational institutions in Gaza Strip from the perspective of employees in the Palestinian universities in Gaza Strip, where researchers used in the study five universities. The researchers adopted in their study the descriptive and analytical approach. The research community consists of administrative employees and academic employees with administrative duties. Senior management or the University Council was excluded. The study (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  6. Young Egyptians: Their Society and Future.Tarek Osman - 2012 - Social Research: An International Quarterly 79 (2):299-322.
     
    Export citation  
     
    Bookmark  
  7.  16
    Filozofska kronologija/Philosophical Chronology.Amer Ovčina DŽubur, Amela DŽubur, Ajnija Omanić, Alen DŽubur, Asim Bešić & Amer Ovčina - 2005 - Prolegomena 4 (1):2.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  57
    Sleep spindle and K-complex detection using tunable Q-factor wavelet transform and morphological component analysis.Tarek Lajnef, Sahbi Chaibi, Jean-Baptiste Eichenlaub, Perrine M. Ruby, Pierre-Emmanuel Aguera, Mounir Samet, Abdennaceur Kachouri & Karim Jerbi - 2015 - Frontiers in Human Neuroscience 9.
  9.  6
    Aesthetics and anthropology: cogitations.Tarek Elhaik - 2022 - New York, NY: Routledge.
    This book focuses on the reconfiguration of aesthetic anthropology into an anthropological problem of cogitation, opening up a fascinating new dialogue between the domains of anthropology, philosophy, and art. Tarek Elhaik embarks on an inquiry composed of a series of cogitations based on fieldwork in an ecology of artistic and scientific practices: from conceptual art exhibitions to architectural environments; from photographic montages to the videotaping of spirit seances; from artistic interventions in natural history museums to ongoing dialogues between performance (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  16
    Formal Languages in Logic, A Philosophical and Cognitive Analysis. By Catarina Dutilh Novaes.Martin Aher Tarek R. Besold - 2013 - Philosophical Quarterly 63 (251):377-379.
  11.  26
    Descartes's Method: The Formation of the Subject of Science.Tarek R. Dika - 2023 - Oxford, GB: Oxford University Press.
    Descartes’s Method: The Formation of the Subject of Science provides a systematic interpretation of Descartes’s method in Rules for the Direction of the Mind and related texts. The book reconstructs Descartes’s method in its entirety and concretely demonstrates both the efficacy of the method in the sciences as well as the unity of the method from Rules for the Direction of the Mind (1620s) to Principles of Philosophy (1644). The principal thesis of the book is that Descartes’s method is a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  16
    Rethinking Education for Social Cohesion: International Case Studies. Edited by M. Shuyab.Tarek Mostafa - 2013 - British Journal of Educational Studies 61 (2):262-263.
  13.  13
    Integrated System Approach to Sustainability Bio-Fuels and Bio-Refineries.Tarek M. Moustafa, Ahmed El-Ahwany, Seif-Eddeen Fateen & Said S. E. H. Elnashaie - 2008 - Bulletin of Science, Technology and Society 28 (6):510-520.
    The ISA, based on system theory, is the best way to organize knowledge and exchange it. It depends on defining every system through its boundary, main processes within this boundary, and exchange with the environment through this boundary. It relies upon thermodynamics and information theory and is, therefore, applicable to all kinds of systems, which makes it most suitable for cross-disciplinary investigations and innovation. SD is complex and cross-disciplinary by its very nature and, therefore, the ISA is the best way (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  6
    Revogação em matéria tributária.Tárek Moysés Moussallem - 2005 - [São Paulo, Brazil]: Editora Noeses.
    Sumário - Capítulo I. Cultura, realidade, linguagem e lógica; Capítulo II. Premissas epistemológico - jurídicas; Capítulo III. Problemas de teoria geral do direito; Capítulo IV. Sobre a revogação; Capítulo V. Alguns casos concretos de revogação no direito tributário.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. On a theorem in additive number theory.Amer Math Soc TransI - 1979 - In A. F. Lavrik (ed.), Twelve Papers in Logic and Algebra. American Mathematical Society. pp. 37.
     
    Export citation  
     
    Bookmark  
  16.  45
    The Origins of Cartesian Dualism.Tarek R. Dika - 2020 - Journal of the American Philosophical Association 6 (3):335-352.
    In the recently discovered Cambridge manuscript, widely regarded as an early draft ofRules for the Direction of the Mind, Descartes does not describe the mind as a ‘purely spiritual’ force ‘distinct from the whole body’. This has led some readers to speculate that Descartes did not embrace mind-body dualism in the Cambridge manuscript. In this article, I offer a detailed interpretation of Descartes's mind-body dualism in the established Charles Adam and Paul Tannery edition ofRules, and argue that, while differences between (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  36
    Descartes’s Deduction of the Law of Refraction and the Shape of the Anaclastic Lens in Rule 8.Tarek R. Dika - 2022 - Hopos: The Journal of the International Society for the History of Philosophy of Science 12 (2):395-446.
    Descartes’s most extensive discussion of the law of refraction and the shape of the anaclastic lens is contained in Rule 8 of "Rules for the Direction of the Mind". Few reconstructions of Descartes’s discovery of the law of refraction take Rule 8 as their basis. In Rule 8, Descartes denies that the law of refraction can be discovered by purely mathematical means, and he requires that the law of refraction be deduced from physical principles about natural power or force, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  7
    Islamstunde als ein Raum „Dazwischen“ und eine Chance auf neue Begegnung mit der Religion.Tarek Badawia - 2019 - Polis 23 (4):14-17.
  19.  75
    Corporate Governance and Institutional Transparency in Emerging Markets.Carla Cjm Millar, Tarek I. EldomIaty, Chong Ju Choi & Brian Hilton - 2005 - Journal of Business Ethics 59 (1-2):163-174.
    This paper posits that differences in corporate governance structure partly result from differences in institutional arrangements linked to business systems. We developed a new international triad of business systems: the Anglo-American, the Communitarian and the Emerging system, building on the frameworks of Choi et al. (British Academy of Management (Kynoch Birmingham) 1996, Management International Review 39, 257–279, 1999). A common factor determining the success of a corporate governance structure is the extent to which it is transparent to market forces. Such (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  12
    The influence of ownership structure on the extent of CSR reporting: An emerging market study.Amer Al Fadli, John Sands, Gregory Jones, Claire Beattie & Dom Pensiero - 2022 - Business and Society Review 127 (3):725-754.
    To examine how different ownership structures, varying from diverse ownership bases to narrow ownership bases, influence the extent of corporate social responsibility (CSR) reporting by companies in emerging market. The motivation for this study is the reported inconsistent results for this association in developing countries and the lack of research in emerging markets. Eight hundred observations of 80 nonfinancial sector listed companies in the Amman Stock Exchange for the period 2006 to 2015 were used for a content analysis to assess (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  22
    Canadian bulk water exports: Analyzing the sun belt conflict using the graph model for conflict resolution.Amer Obeidi, Keith W. Hipel & D. Marc Kilgour - 2002 - Knowledge, Technology & Policy 14 (4):145-163.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  41
    Canadian bulk water exports: analyzing the sun belt conflict using the graph model for conflict resolution.Amer Obeidi, Keith W. Hipel & D. Marc Kilgour - 2002 - Knowledge, Technology & Policy 14 (4):145-163.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  11
    Dopamine Nation: Finding Balance in the Age of Indulgence by Anna Lembke, New York: Dutton, 2021.Amer Raheemullah - 2022 - Cambridge Quarterly of Healthcare Ethics 31 (4):573-574.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  20
    Increased Evoked Potentials to Arousing Auditory Stimuli during Sleep: Implication for the Understanding of Dream Recall.Raphael Vallat, Tarek Lajnef, Jean-Baptiste Eichenlaub, Christian Berthomier, Karim Jerbi, Dominique Morlet & Perrine M. Ruby - 2017 - Frontiers in Human Neuroscience 11.
  25. An Intelligent Tutoring System for Teaching French.Randa Amer Khella & Samy S. Abu-Naser - 2018 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (2):9-13.
    The paper depicts the blueprint of an electronic wise indicating system for demonstrating learning French to understudies to overcome the inconveniences they go up against. The fundamental idea of this structure is a proficient introduction into learning French. The system shows the purpose of learning French and coordinates thusly made issues for the understudies to clarify. The system is logically balanced at run time to the understudy’s individual progress. The system gives unequivocal help to adaptable presentation to learners.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  60
    The Idea of Public Justification in Rawls’s Law of Peoples.Tarek Hayfa - 2004 - Res Publica 10 (3):233-246.
    The article examines Rawlss Law of Peoples as an attemptto extend the conception of public justification originallydeveloped in Political Liberalism to the internationaldomain. After briefly sketching the main elements of Rawlssconception of public justification, the article examineshow this is developed in Law of Peoples, pointingout the main differences with the domestic case. The articlethen tries to show that Rawlss justificatory strategy containsa number of inconsistencies which undermine the persuasivenessof the conception of international justice he advocates. Thisin turn can be traced (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  39
    Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.
    This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  59
    Method, Practice, and the Unity of Scientia in Descartes’s Regulae.Tarek R. Dika - 2015 - Journal of Early Modern Studies 4 (2):93-110.
    For most commentators, the universality of Descartes’s method goes hand in hand with the uniformity with which it must be applied to any problem in any science. I will henceforth refer to this as the Uniformity Thesis. Finding themselves unable to identify such a uniformly applied method in any of Descartes’s extant treatises, many readers of Descartes have been led to conclude that Descartes’s method played little or no role in Cartesian science. My principle argument will be that Descartes did (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  15
    Extrinsic Denomination and the Origins of Early Modern Metaphysics: The Scholastic Context of Descartes’s Regulae.Tarek R. Dika - 2018 - In Nicolas Faucher & Magali Roques (eds.), The Ontology, Psychology and Axiology of Habits (Habitus) in Medieval Philosophy. Cham: Springer. pp. 385-401.
    An assessment of Descartes’s relation to his Aristotelian contemporaries in his Regulae ad directionem ingenii—and more specifically his relation to the theory of scientific habitus—has never been undertaken and is long overdue. Despite broad scholarly consensus that Descartes rejected the scholastic theory of scientific habitus in the Regulae, I will show that, in fact, he redefines a centuries-old scholastic debate about the unity of science, and that he does so by employing, not rejecting, the concept of scientific habitus. For Descartes, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  44
    Sufism and deconstruction: A comparative study of Derrida and Ibn arabi. By Ian Almond: Book reviews. [REVIEW]Amer Gheitury - 2009 - Heythrop Journal 50 (4):743-744.
  31.  20
    Music at Home: Spaces for Music in French Seventeenth-Century Residential Architecture.Tarek Berrada - 2012 - In The Music Room in Early Modern France and Italy: Sound, Space and Object. pp. 291.
    Sources such as diaries, letters and inventories suggest that certain places were preferred for music-making during the seventeenth century: the great chamber for eating and dancing, the chamber and the cabinet for private concerts, and the gallery for great occasions. In the middle of the seventeenth century, the ballroom appears in some beautiful castles and town mansions, equipped with a balcony all around or a small loft to house musicians. During the same period, some people had a cabinet devoted to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. The Music Room in Early Modern France and Italy: Sound, Space and Object.Berrada Tarek - 2012
    No categories
     
    Export citation  
     
    Bookmark  
  33.  4
    Computational Creativity Research: Towards Creative Machines.Tarek R. Besold, Marco Schorlemmer & Alan Smaill (eds.) - 2014 - Springer, Atlantis Thinking Machines (Book 7), Atlantis.
    Computational Creativity, Concept Invention, and General Intelligence in their own right all are flourishing research disciplines producing surprising and captivating results that continuously influence and change our view on where the limits of intelligent machines lie, each day pushing the boundaries a bit further. By 2014, all three fields also have left their marks on everyday life – machine-composed music has been performed in concert halls, automated theorem provers are accepted tools in enterprises’ R&D departments, and cognitive architectures are being (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Ich wird dich also an griffen/das du mir nit mugist entwichen : Göttliche Aktivität seelisches Leiden und die Rolle der Gnade in Christus und die minnende Seele.Amer Griffioen - 2017 - In Benedikt Paul Göcke & Ruben Schneider (eds.), Gottes Handeln in der Welt. Regensburg: Verlag Friedrich Pustet.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  22
    Pragmatism, politics and progress.Tarek Hayfa - 2002 - Res Publica 8 (1):71-79.
  36. Les concepts fondamentaux de la phénoménologie: Entretien avec Claude Romano.Tarek R. Dika, William C. Hackett & Claude Romano - 2012 - Journal of French and Francophone Philosophy 20 (2):173-202.
    No categories
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  63
    Consumer Trust, Social Marketing and Ethics of Welfare Exchange.Chong Ju Choi, Tarek Ibrahim Eldomiaty & Sae Won Kim - 2007 - Journal of Business Ethics 74 (1):17-23.
    The global corporate scandals such as Enron, Worldcom and Global Crossing have raised fundamental issues of business ethics as well as economic, social and anthropological questions concerning the nature of business competition and global capitalism. The purpose of this conceptual paper is to introduce the concept of "welfare exchange" to the existing notions of economic, social and anthropological notions of business and exchange in markets and society in the 21st century. Global competition and business success in the 21st century continue (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  38.  11
    Auch für Gott: Finitude, Phenomenology, and Anthropology.Tarek R. Dika - 2020 - In Philippe P. Haensler, Kristina Mendicino & Rochelle Tobias (eds.), Phenomenology to the Letter: Husserl and Literature. Boston: De Gruyter. pp. 45-60.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  7
    Quiet Powers of the Possible: Interviews in Contemporary French Phenomenology.Tarek R. Dika & W. Chris Hackett - 2016 - New York: Fordham University Press. Edited by William Christian Hackett.
  40.  16
    Religion in reason: metaphysics, ethics, and politics in Hent de Vries.Tarek R. Dika & Martin Shuster (eds.) - 2022 - New York, NY: Routledge.
    This book presents critical engagements with the work of Hent de Vries, widely regarded as one of the most important living philosophers of religion. Contributions by a distinguished group of scholars discuss the role played by religion in philosophy; the emergence and possibilities of the category of religion; and the relation between religion and violence, secularism, and sovereignty. Together, they provide a synoptic view of how de Vries's work has prompted a reconceptualization of how religion should be studied, especially in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  15
    Wittgenstein, the Criticism of Philosophy, and Self-Knowledge.Tarek R. Dika - 2010 - European Journal of Pragmatism and American Philosophy 2 (2):35-40.
    The Philosophical Investigations can be read as a sustained meditation on the metaphysical effects philosophical requirements have on our understanding of the phenomena of philosophical inquiry. The present essay proposes the basic outlines such a reading might take by attending to Wittgenstein’s distinctive form of philosophical criticism, a form that interrogates the theoretical and moral integrity of our requirements and the claims we enter on their behalf. On this reading, the moral perfection of thought can be said to consist in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  44
    Finding partnership: The benefit of sharing and the capacity for complexity.Michaela Amering - 2010 - Philosophy, Psychiatry, and Psychology 17 (1):77-79.
    In lieu of an abstract, here is a brief excerpt of the content:Finding PartnershipThe Benefit of Sharing and the Capacity for ComplexityMichaela Amering (bio)Keywordsrecovery, empowerment, trialog, user involvement, schizophreniaIs There Ignorance and Arrogance? In Psychiatry? In Medicine?Adding insight to injury' is the paraphrase psychiatrist Pat McGorry (1992) coined for his reproach of 'pushing for "insight" or "acceptance of diagnosis"' without carefully taking into account the complexities of the individual situation, context, and needs. That must be about the kind of behavior (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  19
    Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation.Judit Madarász & Tarek Ahmed - 2009 - Logic Journal of the IGPL 17 (6):755-802.
    Introduced by Leon Henkin back in the fifties, the notion of neat reducts is an old venerable notion in algebraic logic. But it is often the case that an unexpected viewpoint yields new insights. Indeed, the repercussions of the fact that the class of neat reducts is not closed under forming subalgebras turn out to be enormous. In this paper we review and, in the process, discuss, some of these repercussions in connection with the algebraic notion of amalgamation. Some new (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  8
    Editorial: Economic Games, (Dis)honesty and Trust.Nikolaos Georgantzis, Tarek Jaber-Lopez & Ismael Rodriguez-Lara - 2022 - Frontiers in Psychology 13.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  19
    9 Cross-cultural perspectives on coercive treatment in psychiatry.Ahmed Okasha & Tarek Okasha - 2011 - In Thomas W. Kallert, Juan E. Mezzich & John Monahan (eds.), Coercive treatment in psychiatry: clinical, legal and ethical aspects. Hoboken, NJ: Wiley-Blackwell. pp. 153.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  20
    One-dimensional vs. two-dimensional based features: Plant identification approach.Alaa Tharwat, Tarek Gaber & Aboul Ella Hassanien - 2017 - Journal of Applied Logic 24:15-31.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  9
    Exploring consumers’ intention toward domestic energy-saving vehicles: Some insights from China.Zi-Xu Wang, Amer Hamzah Bin Jantan, Ruo-Xi Wu, Yue Gong, Meng-Ru Cao, Philip Pong Weng Wong & Lei Wang - 2022 - Frontiers in Psychology 13.
    Policies to promote the usage of energy-saving vehicles, such as electric vehicles and hybrids, were introduced and implemented in many countries due to increasing awareness of the potential benefits of such vehicles on environmental and energy conservation. However, despite consumers’ claims of their concerns and positive attitudes toward environmental issues, those claims have not been translated into energy-saving vehicles’ purchasing behavior. Prior studies neglected the interrelationship between consumer ethnocentrism, perceived value, and consumer knowledge in influencing consumer behavior, including pro-environmental behavior. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  19
    Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285-309.
    We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n ≤ w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin's axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey's omitting types theorem fails for Ln, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. Ln has been recently (and quite extensively) studied as a many-dimensional (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  49.  62
    On neat reducts of algebras of logic.Tarek Sayed Ahmed & Istvan Németi - 2001 - Studia Logica 68 (2):229-262.
    SC , CA , QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras, and quasipolyadic equality algebras of dimension , respectively. Generalizing a result of Németi on cylindric algebras, we show that for K {SC, CA, QA, QEA} and ordinals , the class Nr K of -dimensional neat reducts of -dimensional K algebras, though closed under taking homomorphic images and products, is not closed under forming subalgebras (i.e. is not a variety) if (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  50.  64
    Martin's axiom, omitting types, and complete representations in algebraic logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.
    We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin''s axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey''s omitting types theorem fails for L n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L n has been recently (and quite extensively) studied as a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 255