Mathematical Logic Quarterly v.58 n.3 2012

 

ISSN 0942-5616

 

Cover Picture

Article first published online: 11 MAY 2012 | DOI: 10.1002/malq.201290017

• Abstract
• PDF(3815K)
• Request Permissions

Issue Information

Issue Information

Article first published online: 11 MAY 2012 | DOI: 10.1002/malq.201290018

• Abstract
• PDF(78K)
• Request Permissions

Contents

Contents: (Math. Log. Quart. 3/2012) (pages 127–129)

Article first published online: 11 MAY 2012 | DOI: 10.1002/malq.201213000

• Abstract
• PDF(96K)
• Request Permissions

Research Articles

Compact and Loeb Hausdorff spaces in   and the axiom of choice for families of finite sets (pages 130–138)

Kyriakos Keremedis

Article first published online: 25 APR 2012 | DOI: 10.1002/malq.201020039

• Abstract
• Full Article (HTML)
• PDF(159K)
• References
• Request Permissions

On Vaught’s Conjecture and finitely valued MV algebras (pages 139–152)

Antonio Di Nola and Giacomo Lenzi

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

• Abstract
• Full Article (HTML)
• PDF(195K)
• References
• Request Permissions

Shelah's strong covering property and CH in V[r] (pages 153–158)

Esfandiar Eslami and Mohammad Golshani

Article first published online: 13 APR 2012 | DOI: 10.1002/malq.201100050

• Abstract
• Full Article (HTML)
• PDF(116K)
• References
• Request Permissions

Remarks on continuum cardinals on Boolean algebras (pages 159–167)

J. Donald Monk

Article first published online: 18 APR 2012 | DOI: 10.1002/malq.201110064

• Abstract
• Full Article (HTML)
• PDF(184K)
• References
• Request Permissions

Free-decomposability in varieties of semi-Heyting algebras (pages 168–176)

Manuel Abad, Juan Manuel Cornejo and Patricio Díaz Varela

Article first published online: 25 APR 2012 | DOI: 10.1002/malq.201020092

• Abstract
• Full Article (HTML)
• PDF(136K)
• References
• Request Permissions

Proofs with monotone cuts (pages 177–187)

Emil Jeřábek

Article first published online: 13 APR 2012 | DOI: 10.1002/malq.201020071

• Abstract
• Full Article (HTML)
• PDF(131K)
• References
• Request Permissions

On the free implicative semilattice extension of a Hilbert algebra (pages 188–207)

Sergio A. Celani and Ramon Jansana

Article first published online: 11 JAN 2012 | DOI: 10.1002/malq.201020098

• Abstract
• Full Article (HTML)
• PDF(243K)
• References
• Request Permissions

An approximate Herbrand’s theorem and definable functions in metric structures(pages 208–216)

Isaac Goldbring

Article first published online: 11 APR 2012 | DOI: 10.1002/malq.201110061

• Abstract
• Full Article (HTML)
• PDF(143K)
• References
• Request Permissions

Imaginaries in Boolean algebras (pages 217–235)

Roman Wencel

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

• Abstract
• Full Article (HTML)
• PDF(262K)
• References
• Request Permissions

Note on Deduction Theorems in contraction-free logics (pages 236–243)

Karel Chvalovský and Petr Cintula

Article first published online: 30 APR 2012 | DOI: 10.1002/malq.201110065

• Abstract
• Full Article (HTML)
• PDF(122K)
• References
• Request Permissions

Sequence encoding without induction (pages 244–248)

Emil Jeřábek

Article first published online: 11 APR 2012 | DOI: 10.1002/malq.201200013

• Abstract
• Full Article (HTML)
• PDF(94K)
• References
• Request Permissions