Interpretability in Robinson's Q

By  

Bulletin of Symbolic Logic, Vol. 19, Iss. 3, 2013-09 ,pp. : 289-317

Cambridge University Press

Access to resources Recommend Favorite

Double-exponential inseparability of Robinson subsystem Q ₊

By  

The Journal of Symbolic Logic, Vol. 76, Iss. 1, 2011-03 ,pp. : 94-124

Cambridge University Press

Access to resources Recommend Favorite

How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q

By  

The Journal of Symbolic Logic, Vol. 67, Iss. 1, 2002-03 ,pp. : 465-496

Cambridge University Press

Access to resources Recommend Favorite

Mendelian Randomization: Methods for using Genetic Variants in Causal Estimation S. Burgess and S. G. Thompson, 2015 Boca Raton, Chapman and Hall–CRC xiv + 210 pp $62.95 ISBN 978‐1‐466‐57317‐8

By  

JOURNAL OF THE ROYAL STATISTICAL SOCIETY: SERIES A (STATISTICS IN SOCIETY), Vol. 181, Iss. 2, 2018-02 ,pp. : 549-550

John Wiley & Sons Inc

Access to resources Recommend Favorite

Identities and congruences for Ramanujan’s ω(q)

By Bruinier Jan   Ono Ken  

The Ramanujan Journal, Vol. 23, Iss. 1-3, 2010-12 ,pp. : 151-157

Springer Publishing Company

Access to resources Recommend Favorite