Search Results

There are 5320 results for: content related to: On the strength of Ramsey's theorem without Σ 1 -induction

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

    Version of Record online : 25 JAN 2013, DOI: 10.1002/malq.201100100

  2. Craig interpolation for semilinear substructural logics

    Mathematical Logic Quarterly

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

    Version of Record online : 19 OCT 2012, DOI: 10.1002/malq.201200004

  3. Shakedown and Safety Assessment

    Standard Article

    Encyclopedia of Computational Mechanics

    Nestor Zouain

    Published Online : 15 NOV 2004, DOI: 10.1002/0470091355.ecm031

  4. Compact and Loeb Hausdorff spaces in equation image and the axiom of choice for families of finite sets

    Mathematical Logic Quarterly

    Volume 58, Issue 3, May 2012, Pages: 130–138, Kyriakos Keremedis

    Version of Record online : 25 APR 2012, DOI: 10.1002/malq.201020039

  5. Elastoplastic and Viscoplastic Deformations in Solids and Structures

    Standard Article

    Encyclopedia of Computational Mechanics

    F. Armero

    Published Online : 15 NOV 2004, DOI: 10.1002/0470091355.ecm029

  6. Computational Modeling of Forming Processes

    Standard Article

    Encyclopedia of Computational Mechanics

    D. Perić and D. R. J. Owen

    Published Online : 15 NOV 2004, DOI: 10.1002/0470091355.ecm037

  7. Quantum computational logic with mixed states

    Mathematical Logic Quarterly

    Volume 59, Issue 1-2, February 2013, Pages: 27–50, Hector Freytes and Graciela Domenech

    Version of Record online : 25 JAN 2013, DOI: 10.1002/malq.201110030

  8. Realisability in weak systems of explicit mathematics

    Mathematical Logic Quarterly

    Volume 57, Issue 6, December 2011, Pages: 551–565, Daria Spescha and Thomas Strahm

    Version of Record online : 26 AUG 2011, DOI: 10.1002/malq.201020064

  9. On effective σ-boundedness and σ-compactness

    Mathematical Logic Quarterly

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

    Version of Record online : 16 APR 2013, DOI: 10.1002/malq.201200001

  10. You have free access to this content
    Optimal linearization trajectories for tangent linear models

    Quarterly Journal of the Royal Meteorological Society

    Volume 138, Issue 662, January 2012 Part A, Pages: 170–184, R. J. J. Stappers and J. Barkmeijer

    Version of Record online : 24 AUG 2011, DOI: 10.1002/qj.908

  11. Sparse graphs: Metrics and random models

    Random Structures & Algorithms

    Volume 39, Issue 1, August 2011, Pages: 1–38, Béla Bollobás and Oliver Riordan

    Version of Record online : 20 JUL 2010, DOI: 10.1002/rsa.20334

  12. Computational Modelling of Damage and Failures in Composite Laminates

    Standard Article

    Encyclopedia of Computational Mechanics

    J. N. Reddy and D. H. Robbins

    Published Online : 15 NOV 2004, DOI: 10.1002/0470091355.ecm036

  13. Thin equivalence relations in scaled pointclasses

    Mathematical Logic Quarterly

    Volume 57, Issue 6, December 2011, Pages: 615–620, Ralf Schindler and Philipp Schlicht

    Version of Record online : 28 OCT 2011, DOI: 10.1002/malq.200920050

  14. Density functional embedded cluster calculations on Lewis acid centers of the α-Al2O3(0001) surface: Adsorption of a CO probe

    International Journal of Quantum Chemistry

    Volume 90, Issue 1, 2002, Pages: 386–402, Vladimir A. Nasluzov, Vladimir V. Rivanenkov, Alexey M. Shor, Konstantin M. Neyman, Uwe Birkenheuer and Notker Rösch

    Version of Record online : 31 JAN 2002, DOI: 10.1002/qua.988

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

    Version of Record online : 10 OCT 2012, DOI: 10.1002/malq.201100095

  16. Nonlinear Systems and Bifurcations

    Standard Article

    Encyclopedia of Computational Mechanics

    Werner C. Rheinboldt

    Published Online : 15 NOV 2004, DOI: 10.1002/0470091355.ecm020

  17. Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view

    Mathematical Logic Quarterly

    Volume 58, Issue 4-5, August 2012, Pages: 252–262, Sandra Marques Pinto and M. Teresa Oliveira-Martins

    Version of Record online : 13 JUN 2012, DOI: 10.1002/malq.201020058

  18. You have full text access to this OnlineOpen article
    A mixed-phase bulk orographic precipitation model with embedded convection

    Quarterly Journal of the Royal Meteorological Society

    Volume 140, Issue 683, July 2014 Part B, Pages: 1997–2012, Dirk J. Cannon, Daniel J. Kirshbaum and Suzanne L. Gray

    Version of Record online : 12 FEB 2014, DOI: 10.1002/qj.2269

  19. Do there exist complete sets for promise classes?

    Mathematical Logic Quarterly

    Volume 57, Issue 6, December 2011, Pages: 535–550, Olaf Beyersdorff and Zenon Sadowski

    Version of Record online : 16 JUN 2011, DOI: 10.1002/malq.201010021

  20. Integral geometry for equation image-modules on dual flag manifolds and generalized Verma modules

    Mathematische Nachrichten

    Volume 286, Issue 10, July 2013, Pages: 992–1006, Corrado Marastoni

    Version of Record online : 8 JAN 2013, DOI: 10.1002/mana.201200149