Search Results

There are 37158 results for: content related to: A remark on the definability of the Fitting subgroup and the soluble radical

  1. Definable nilpotent and soluble envelopes in groups without the independence property

    Mathematical Logic Quarterly

    Volume 59, Issue 3, May 2013, Pages: 201–205, Ricardo de Aldama

    Article first published online : 12 APR 2013, DOI: 10.1002/malq.201200043

  2. Cell decomposition and definable functions for weak p-adic structures

    Mathematical Logic Quarterly

    Volume 58, Issue 6, November 2012, Pages: 482–497, Eva Leenknegt

    Article first published online : 16 OCT 2012, DOI: 10.1002/malq.201200031

  3. Groups, group actions and fields definable in first-order topological structures

    Mathematical Logic Quarterly

    Volume 58, Issue 6, November 2012, Pages: 449–467, Roman Wencel

    Article first published online : 10 OCT 2012, DOI: 10.1002/malq.201200033

  4. Models of expansions of equation image with no end extensions

    Mathematical Logic Quarterly

    Volume 57, Issue 4, August 2011, Pages: 341–365, Saharon Shelah

    Article first published online : 7 JUN 2011, DOI: 10.1002/malq.200910129

  5. Categorical Abstract Algebraic Logic: Algebraic Semantics for (equation image)-Institutions

    Mathematical Logic Quarterly

    Volume 59, Issue 3, May 2013, Pages: 177–200, George Voutsadakis

    Article first published online : 30 APR 2013, DOI: 10.1002/malq.200920103

  6. Radical of filters in BL-algebras

    Mathematical Logic Quarterly

    Volume 57, Issue 2, April 2011, Pages: 166–179, Somayeh Motamed, Lida Torkzadeh, Arsham Borumand Saeid and Neda Mohtashamnia

    Article first published online : 19 JAN 2011, DOI: 10.1002/malq.201010003

  7. Imaginaries in Boolean algebras

    Mathematical Logic Quarterly

    Volume 58, Issue 3, May 2012, Pages: 217–235, Roman Wencel

    Article first published online : 18 APR 2012, DOI: 10.1002/malq.201020082

  8. Definability of the ring of integers in some infinite algebraic extensions of the rationals

    Mathematical Logic Quarterly

    Volume 58, Issue 4-5, August 2012, Pages: 317–332, Kenji Fukuzaki

    Article first published online : 3 JUL 2012, DOI: 10.1002/malq.201110020

  9. On Spector's bar recursion

    Mathematical Logic Quarterly

    Volume 58, Issue 4-5, August 2012, Pages: 356–265, Paulo Oliva and Thomas Powell

    Article first published online : 18 JUL 2012, DOI: 10.1002/malq.201100106

  10. On Vaught’s Conjecture and finitely valued MV algebras

    Mathematical Logic Quarterly

    Volume 58, Issue 3, May 2012, Pages: 139–152, Antonio Di Nola and Giacomo Lenzi

    Article first published online : 25 APR 2012, DOI: 10.1002/malq.201020091

  11. On effective σ-boundedness and σ-compactness

    Mathematical Logic Quarterly

    Volume 59, Issue 3, May 2013, Pages: 147–166, Vladimir Kanovei and Vassily Lyubetsky

    Article first published online : 16 APR 2013, DOI: 10.1002/malq.201200001

  12. Quantified universes and ultraproducts

    Mathematical Logic Quarterly

    Volume 58, Issue 1-2, February 2012, Pages: 63–74, Alireza Mofidi and Seyed-Mohammad Bagheri

    Article first published online : 4 JAN 2012, DOI: 10.1002/malq.201110019

  13. Simple monadic theories and partition width

    Mathematical Logic Quarterly

    Volume 57, Issue 4, August 2011, Pages: 409–431, Achim Blumensath

    Article first published online : 2 MAY 2011, DOI: 10.1002/malq.201010019

  14. Ordinal arithmetic with simultaneously defined theta-functions

    Mathematical Logic Quarterly

    Volume 57, Issue 2, April 2011, Pages: 116–132, Andreas Weiermann and Gunnar Wilken

    Article first published online : 7 MAR 2011, DOI: 10.1002/malq.200910125

  15. Weak forms of the Regularity Principle in the presence of equation image

    Mathematical Logic Quarterly

    Volume 59, Issue 1-2, February 2013, Pages: 84–100, Charalampos Cornaros

    Article first published online : 25 JAN 2013, DOI: 10.1002/malq.201100100

  16. A p-adic probability logic

    Mathematical Logic Quarterly

    Volume 58, Issue 4-5, August 2012, Pages: 263–280, Angelina Ilić-Stepić, Zoran Ognjanović, Nebojša Ikodinović and Aleksandar Perović

    Article first published online : 20 JUN 2012, DOI: 10.1002/malq.201110006

  17. Extending constructive operational set theory by impredicative principles

    Mathematical Logic Quarterly

    Volume 57, Issue 3, June 2011, Pages: 299–322, Andrea Cantini

    Article first published online : 19 JAN 2011, DOI: 10.1002/malq.201010009

  18. Temporal Gödel-Gentzen and Girard translations

    Mathematical Logic Quarterly

    Volume 59, Issue 1-2, February 2013, Pages: 66–83, Norihiro Kamide

    Article first published online : 18 JAN 2013, DOI: 10.1002/malq.201100083

  19. Quantifier elimination for elementary geometry and elementary affine geometry

    Mathematical Logic Quarterly

    Volume 58, Issue 6, November 2012, Pages: 399–416, Rafael Grimson, Bart Kuijpers and Walied Othman

    Article first published online : 10 OCT 2012, DOI: 10.1002/malq.201100095

  20. Craig interpolation for semilinear substructural logics

    Mathematical Logic Quarterly

    Volume 58, Issue 6, November 2012, Pages: 468–481, Enrico Marchioni and George Metcalfe

    Article first published online : 19 OCT 2012, DOI: 10.1002/malq.201200004