Search Results

There are 24056 results for: content related to: Sequence encoding without induction

VIEW

  1. 1 - 20
  2. 21 - 40
  3. 41 - 60
  4. 61 - 80
  5. Next >
  1. You have free access to this content
    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

  2. Non-well-founded extensions of equation image

    Mathematical Logic Quarterly

    Volume 59, Issue 3, May 2013, Pages: 167–176, William R. Brian

    Article first published online : 26 APR 2013, DOI: 10.1002/malq.201200014

  3. Comparison of exponential-logarithmic and logarithmic-exponential series

    Mathematical Logic Quarterly

    Volume 58, Issue 6, November 2012, Pages: 434–448, Salma Kuhlmann and Marcus Tressl

    Article first published online : 9 OCT 2012, DOI: 10.1002/malq.201100113

  4. You have free access to this content
    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

  5. A note on parameter free Π1-induction and restricted exponentiation

    Mathematical Logic Quarterly

    Volume 57, Issue 5, October 2011, Pages: 444–455, A. Cordón-Franco, A. Fernández-Margarit and F. F. Lara-Martín

    Article first published online : 15 JUN 2011, DOI: 10.1002/malq.201010013

  6. Powers of positive elements in C*-algebras

    Mathematical Logic Quarterly

    Volume 57, Issue 5, October 2011, Pages: 481–484, Hiroki Takamura

    Article first published online : 5 APR 2011, DOI: 10.1002/malq.201010024

  7. 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

  8. How to construct a product of a-frames

    Mathematical Logic Quarterly

    Volume 58, Issue 4-5, August 2012, Pages: 281–293, Douglas S. Bridges

    Article first published online : 6 JUL 2012, DOI: 10.1002/malq.201110059

  9. 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

  10. Simulating non-prenex cuts in quantified propositional calculus

    Mathematical Logic Quarterly

    Volume 57, Issue 5, October 2011, Pages: 524–532, Emil Jeřábek and Phuong Nguyen

    Article first published online : 22 JUN 2011, DOI: 10.1002/malq.201020093

  11. 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

  12. Reverse mathematics and infinite traceable graphs

    Mathematical Logic Quarterly

    Volume 58, Issue 1-2, February 2012, Pages: 18–28, Peter Cholak, David Galvin and Reed Solomon

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

  13. Isomorphic formulae in classical propositional logic

    Mathematical Logic Quarterly

    Volume 58, Issue 1-2, February 2012, Pages: 5–17, Kosta Došen and Zoran Petrić

    Article first published online : 2 NOV 2011, DOI: 10.1002/malq.201020020

  14. 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

  15. Linear extensions of partial orders and reverse mathematics

    Mathematical Logic Quarterly

    Volume 58, Issue 6, November 2012, Pages: 417–423, Emanuele Frittaion and Alberto Marcone

    Article first published online : 27 SEP 2012, DOI: 10.1002/malq.201200025

  16. Algebraic semantics for the (↔, ¬¬)-fragment of IPC

    Mathematical Logic Quarterly

    Volume 58, Issue 1-2, February 2012, Pages: 29–37, Katarzyna Słomczyńska

    Article first published online : 15 NOV 2011, DOI: 10.1002/malq.201110001

  17. Low sets without subsets of higher many-one degree

    Mathematical Logic Quarterly

    Volume 57, Issue 5, October 2011, Pages: 517–523, Patrizio Cintioli

    Article first published online : 21 JUN 2011, DOI: 10.1002/malq.200920043

  18. Completeness, Compactness, Effective Dimensions

    Mathematical Logic Quarterly

    Volume 59, Issue 3, May 2013, Pages: 206–218, Stephen Binns

    Article first published online : 10 MAY 2013, DOI: 10.1002/malq.201100096

  19. Metric complements of overt closed sets

    Mathematical Logic Quarterly

    Volume 57, Issue 4, August 2011, Pages: 373–378, Thierry Coquand, Erik Palmgren and Bas Spitters

    Article first published online : 28 APR 2011, DOI: 10.1002/malq.201010011

  20. On a positive set theory with inequality

    Mathematical Logic Quarterly

    Volume 57, Issue 5, October 2011, Pages: 474–480, Giacomo Lenzi

    Article first published online : 15 JUN 2011, DOI: 10.1002/malq.201010022

VIEW

  1. 1 - 20
  2. 21 - 40
  3. 41 - 60
  4. 61 - 80
  5. Next >