20 results
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 12 December 2022, pp. 1526-1555
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 13 August 2021, pp. 1584-1611
- Print publication:
- December 2021
-
- Article
- Export citation
The use of proteomics for the identification of promising vaccine and diagnostic biomarkers in Plasmodium falciparum
-
- Journal:
- Parasitology / Volume 147 / Issue 12 / October 2020
- Published online by Cambridge University Press:
- 19 June 2020, pp. 1255-1262
-
- Article
- Export citation
TRUTH AND FEASIBLE REDUCIBILITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 20 September 2019, pp. 367-421
- Print publication:
- March 2020
-
- Article
- Export citation
ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 01 May 2018, pp. 146-164
- Print publication:
- March 2018
-
- Article
- Export citation
MARGINALIA ON A THEOREM OF WOODIN
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 21 March 2017, pp. 359-374
- Print publication:
- March 2017
-
- Article
- Export citation
ω-models of finite set theory
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 43-65
-
- Chapter
- Export citation
2008–2009 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 237-245
- Print publication:
- June 2009
-
- Article
- Export citation
Mohammad Ardeshir. Manteghé Riazi (Mathematical Logic). Hermes Publications, Tehran, 2005, 262 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 118-119
- Print publication:
- March 2008
-
- Article
- Export citation
Frontmatter
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp i-iv
-
- Chapter
- Export citation
From bounded arithmetic to second order arithmetic via automorphisms
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 87-113
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp vii-viii
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp v-vi
-
- Chapter
- Export citation
Logic in Tehran
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006
Workshop and conference on logic, algebra, and arithmetic: Tehran, October 18–22, 2003
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp ix-x
-
- Chapter
- Export citation
Leibnizian models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 775-789
- Print publication:
- September 2004
-
- Article
- Export citation
Power-like models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1766-1782
- Print publication:
- December 2001
-
- Article
- Export citation
The First Iranian Summer School in Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 1476
- Print publication:
- December 1993
-
- Article
- Export citation
Conservative extensions of models of set theory and generalizations
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1005-1021
- Print publication:
- December 1986
-
- Article
- Export citation
Weakly compact cardinals in models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 476-486
- Print publication:
- June 1985
-
- Article
- Export citation