Search Results

There are 13582 results for: content related to: The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters

  1. Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories

    Mathematical Logic Quarterly

    Volume 60, Issue 1-2, February 2014, Pages: 92–117, Albert Visser

    Version of Record online : 8 FEB 2014, DOI: 10.1002/malq.201200102

  2. Completeness and interpolation of almost-everywhere quantification over finitely additive measures

    Mathematical Logic Quarterly

    Volume 59, Issue 4-5, August 2013, Pages: 286–302, João Rasga, Wafik Boulos Lotfallah and Cristina Sernadas

    Version of Record online : 1 AUG 2013, DOI: 10.1002/malq.201110051

  3. Classical provability of uniform versions and intuitionistic provability

    Mathematical Logic Quarterly

    Volume 61, Issue 3, May 2015, Pages: 132–150, Makoto Fujiwara and Ulrich Kohlenbach

    Version of Record online : 15 MAY 2015, DOI: 10.1002/malq.201300056

  4. Upward Morley's theorem downward

    Mathematical Logic Quarterly

    Volume 59, Issue 4-5, August 2013, Pages: 303–331, Gábor Sági and Zalán Gyenis

    Version of Record online : 6 AUG 2013, DOI: 10.1002/malq.201110048

  5. On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality

    Mathematical Logic Quarterly

    Volume 61, Issue 6, November 2015, Pages: 418–477, Tarek Sayed Ahmed

    Version of Record online : 5 NOV 2015, DOI: 10.1002/malq.201300064

  6. On Martin's Axiom and Forms of Choice

    Mathematical Logic Quarterly

    Volume 62, Issue 3, May 2016, Pages: 190–203, Eleftherios Tachtsis

    Version of Record online : 13 APR 2016, DOI: 10.1002/malq.201400115

  7. On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements

    Mathematical Logic Quarterly

    Volume 62, Issue 3, May 2016, Pages: 155–176, Paul Howard, Denis I. Saveliev and Eleftherios Tachtsis

    Version of Record online : 27 MAY 2016, DOI: 10.1002/malq.201400089

  8. On the strength of marriage theorems and uniformity

    Mathematical Logic Quarterly

    Volume 60, Issue 3, May 2014, Pages: 136–153, Makoto Fujiwara, Kojiro Higuchi and Takayuki Kihara

    Version of Record online : 11 MAY 2014, DOI: 10.1002/malq.201300021

  9. The Boolean prime ideal theorem and products of cofinite topologies

    Mathematical Logic Quarterly

    Volume 59, Issue 6, November 2013, Pages: 382–392, Kyriakos Keremedis

    Version of Record online : 14 NOV 2013, DOI: 10.1002/malq.201100077

  10. Iteration on notation and unary functions

    Mathematical Logic Quarterly

    Volume 59, Issue 6, November 2013, Pages: 415–434, Stefano Mazzanti

    Version of Record online : 4 NOV 2013, DOI: 10.1002/malq.201200055

  11. Completeness of intermediate logics with doubly negated axioms

    Mathematical Logic Quarterly

    Volume 60, Issue 1-2, February 2014, Pages: 6–11, Mohammad Ardeshir and S. Mojtaba Mojtahedi

    Version of Record online : 20 DEC 2013, DOI: 10.1002/malq.201200083

  12. The strong reflecting property and Harrington's Principle

    Mathematical Logic Quarterly

    Volume 61, Issue 4-5, August 2015, Pages: 329–340, Yong Cheng

    Version of Record online : 19 AUG 2015, DOI: 10.1002/malq.201400016

  13. From Bolzano-Weierstraß to Arzelà-Ascoli

    Mathematical Logic Quarterly

    Volume 60, Issue 3, May 2014, Pages: 177–183, Alexander P. Kreuzer

    Version of Record online : 11 MAY 2014, DOI: 10.1002/malq.201200076

  14. Inconsistency lemmas in algebraic logic

    Mathematical Logic Quarterly

    Volume 59, Issue 6, November 2013, Pages: 393–406, James G. Raftery

    Version of Record online : 6 NOV 2013, DOI: 10.1002/malq.201200020

  15. What is the theory ZFC without power set?

    Mathematical Logic Quarterly

    Volume 62, Issue 4-5, August 2016, Pages: 391–406, Victoria Gitman, Joel David Hamkins and Thomas A. Johnstone

    Version of Record online : 25 JUL 2016, DOI: 10.1002/malq.201500019

  16. You have free access to this content
    On the strength of a weak variant of the axiom of counting

    Mathematical Logic Quarterly

    Volume 63, Issue 1-2, April 2017, Pages: 94–103, Zachiri McKenzie

    Version of Record online : 24 MAR 2017, DOI: 10.1002/malq.201600004

  17. A note on the theory SID<ω of stratified induction

    Mathematical Logic Quarterly

    Volume 60, Issue 6, November 2014, Pages: 487–497, Florian Ranzi and Thomas Strahm

    Version of Record online : 3 NOV 2014, DOI: 10.1002/malq.201300063

  18. A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics

    Mathematical Logic Quarterly

    Volume 62, Issue 3, May 2016, Pages: 177–189, Norihiro Kamide

    Version of Record online : 2 MAY 2016, DOI: 10.1002/malq.201400086

  19. You have free access to this content
    A Groszek-Laver pair of undistinguishable E0-classes

    Mathematical Logic Quarterly

    Volume 63, Issue 1-2, April 2017, Pages: 19–31, Mohammad Golshani, Vladimir Kanovei and Vassily Lyubetsky

    Version of Record online : 31 MAR 2017, DOI: 10.1002/malq.201500020

  20. Paraconsistent double negation as a modal operator

    Mathematical Logic Quarterly

    Volume 62, Issue 6, December 2016, Pages: 552–562, Norihiro Kamide

    Version of Record online : 29 DEC 2016, DOI: 10.1002/malq.201500042