Results for 'Abderezak Ould Houcine'

16 found
Order:
  1.  7
    A Remark on the Definability of the Fitting Subgroup and the Soluble Radical.Abderezak Ould Houcine - 2013 - Mathematical Logic Quarterly 59 (1-2):62-65.
    Let G be an arbitrary group. We show that if the Fitting subgroup of G is nilpotent then it is definable. We prove also that the class of groups whose Fitting subgroup is nilpotent of class at most n is elementary. We give an example of a group whose Fitting subgroup is definable but not nilpotent. Similar results for the soluble radical are given; that is for the subgroup generated by all normal soluble subgroups of G.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  3
    Satisfaction of Existential Theories in Finitely Presented Groups and Some Embedding Theorems.Abderezak Ould Houcine - 2006 - Annals of Pure and Applied Logic 142 (1):351-365.
    The main result is that for every recursively enumerable existential consistent theory Γ , there exists a finitely presented SQ-universal group H such that Γ is satisfied in every nontrivial quotient of H. Furthermore if Γ is satisfied in some group with a soluble word problem, then H can be taken with a soluble word problem. We characterize the finitely generated groups with soluble word problem as the finitely generated groups G for which there exists a finitely presented group H (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  25
    On Superstable Groups with Residual Properties.Abderezak Ould Houcine - 2007 - Mathematical Logic Quarterly 53 (1):19-26.
    Given a pseudovariety [MATHEMATICAL SCRIPT CAPITAL C], it is proved that a residually-[MATHEMATICAL SCRIPT CAPITAL C] superstable group G has a finite seriesG0 ⊴ G1 ⊴ · · · ⊴ Gn = Gsuch that G0 is solvable and each factor Gi +1/Gi is in [MATHEMATICAL SCRIPT CAPITAL C] . In particular, a residually finite superstable group is solvable-by-finite, and if it is ω -stable, then it is nilpotent-by-finite. Given a finitely generated group G, we show that if G is ω (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  1
    On Superstable CSA-Groups.Abderezak Ould Houcine - 2008 - Annals of Pure and Applied Logic 154 (1):1-7.
    We prove that a nonabelian superstable CSA-group has an infinite definable simple subgroup all of whose proper definable subgroups are abelian. This imply in particular that the existence of nonabelian CSA-group of finite Morley rank is equivalent to the existence of a simple bad group all whose definable proper subgroups are abelian. We give a new proof of a result of Mustafin and Poizat [E. Mustafin, B. Poizat, Sous-groupes superstables de SL2 ] which states that a superstable model of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  9
    Nation, Narration, and Health in Mohamedou Ould Slahi’s Guantánamo Diary.Neil Krishan Aggarwal - 2018 - Journal of Medical Humanities 39 (3):263-273.
    Scholars have mostly analyzed information from mental health practitioners, attorneys, and institutions to critique mental health practices in the War on Terror. These sources offer limited insights into the suffering of detainees. Detainee accounts provide novel information based on their experiences at Guantánamo. Mohamedou Ould Slahi’s Guantánamo Diary is the only text from a current detainee that provides a first-person account of his interrogations and interactions with health professionals. Despite being advertised as a diary, however, it has undergone redaction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  12
    II—W Hat N Either A Braham nor J Ohannes de S Ilentio C Ould S Ay.John Lippitt - 2008 - Aristotelian Society Supplementary Volume 82 (1):79-99.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  6
    Recension (Houcine, Temps et langage dans la philosophie de Hegel, Paris, L'Harmattan, 2009).Guillaume Lejeune - 2010 - Archives de Philosophie:713.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  21
    [Image] -Determinacy, Comprehension and Induction.Medyahya Ould Medsalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452 - 462.
    We show that each of $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{3}^{1}-{\rm TI}$ proves $\Delta _{3}^{0}-{\rm Det}$ and that neither $\Sigma _{3}^{1}-{\rm IND}$ nor $\Pi _{3}^{1}-{\rm TI}$ can be dropped. We also show that neither $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{\infty}^{1}-{\rm IND}$ nor $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{\infty}^{1}-{\rm TI}$ proves $\Sigma _{3}^{0}-{\rm Det}$. Moreover, we prove that none of $\Delta _{2}^{1}-{\rm CA}_{0}$, $\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm TI}$ is provable in $\Delta _{1}^{1}-{\rm Det}_{0}={\rm ACA}_{0}+\Delta _{1}^{1}-{\rm Det}$.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9.  17
    Δ 0 3 -Determinacy, Comprehension and Induction.MedYahya Ould MedSalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452-462.
    We show that each of Δ13-CA0 + Σ13-IND and Π12-CA0 + Π13-TI proves Δ03-Det and that neither Σ31-IND nor Π13-TI can be dropped. We also show that neither Δ13-CA0 + Σ1∞-IND nor Π12-CA0 + Π1∞-TI proves Σ03-Det. Moreover, we prove that none of Δ21-CA0, Σ31-IND and Π21-TI is provable in Δ11-Det0 = ACA0 + Δ11-Det.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  21
    What Does ‘Solidarity Economy’ Mean? Contours and Feasibility of a Theoretical and Political Project.Pepita Ould Ahmed - 2015 - Business Ethics: A European Review 24 (4):425-435.
    The market relationships are being contested. This can be seen in the increasing number of alternative social experiments in the ‘North’ and the ‘South’ which propose to think out the present market relationships in a different way, in particular in establishing exchange value and in facilitating access to trade. These practical alternatives are supported by trends in academic circles that over the past three decades have opposed neoliberal capitalism and individualism in today's commercialised society. Calling for greater solidarity and social (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  4
    A Machine-Checked Proof of the Odd Order Theorem.Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Francois Garillot, Stephane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi & Laurent Thery - unknown
  12. D E B at E.Peter Singer - unknown
    An d rew Ku per begins his cri ti que of my vi ews on poverty by accepti n g the crux of my moral argument: The interests of all persons ought to count equally, and geographic location and citizenship m a ke no intrinsic differen ce to the ri gh t s and obl i ga ti ons of i n d ivi du a l s . Ku per also sets out some key facts about global poverty, for (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  5
    Reconsidering the ‘Self’ in Self‐Management of Chronic Illness: Lessons From Relational Autonomy.Lydia Ould Brahim - forthcoming - Nursing Inquiry:e12292.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  22
    El concepto de discrecionalidad Y su control.Joan Mesquida Sampol - 2003 - Anales de la Cátedra Francisco Suárez 37:337-358.
    In this paper I attempt to o f fer a concept of discretion and to an a l yse the forms of control that can be e x ercised in this matte r . F rom the concept of l e g al ce r taint y , w e can obse r v e h o w discretion eme r ges in those cases that are e n visaged b y the norms and in the so called hard cases. (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  13
    El concepto de progreso: De San Agustín a Herder.Francisco J. Contreras Peláez - 2003 - Anales de la Cátedra Francisco Suárez 37:239-269.
    The eme r gence of the concept of pr o g ress is cu r rent l y associated with th e Enlightenment o r , going som e w hat further back, with the que r elle des anciens et des modernes in the 1 7 t h centu r y . Y et the notion of pr o g ress can be traced back to a signi f icant l y earlier period: the foundations of a possi b (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  36
    Infinite Games in the Cantor Space and Subsystems of Second Order Arithmetic.Takako Nemoto, MedYahya Ould MedSalem & Kazuyuki Tanaka - 2007 - Mathematical Logic Quarterly 53 (3):226-236.
    In this paper we study the determinacy strength of infinite games in the Cantor space and compare them with their counterparts in the Baire space. We show the following theorems:1. RCA0 ⊢ equation image-Det* ↔ equation image-Det* ↔ WKL0.2. RCA0 ⊢ 2-Det* ↔ ACA0.3. RCA0 ⊢ equation image-Det* ↔ equation image-Det* ↔ equation image-Det ↔ equation image-Det ↔ ATR0.4. For 1 < k < ω, RCA0 ⊢ k-Det* ↔ k –1-Det.5. RCA0 ⊢ equation image-Det* ↔ equation image-Det.Here, Det* stands for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations