5570 results in Programming Languages and Applied Logic
Set Theory, Arithmetic, and Foundations of Mathematics
- Theorems, Philosophies
-
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011
ω-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
Contents
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp vii-viii
-
- Chapter
- Export citation
History of constructivism in the 20th century
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 150-179
-
- Chapter
- Export citation
Tennenbaum's proof of the irrationality of √2
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 226-227
-
- Chapter
- Export citation
Historical remarks on Suslin's problem
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 1-12
-
- Chapter
- Export citation
A very short history of ultrafinitism
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 180-199
-
- Chapter
- Export citation
Introduction
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp ix-xiv
-
- Chapter
- Export citation
The continuum hypothesis, the generic-multiverse of sets, and the Ω conjecture
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 13-42
-
- Chapter
- Export citation
Tennenbaum's theorem and recursive reducts
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 112-149
-
- Chapter
- Export citation
Diophantine correct open induction
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 93-111
-
- Chapter
- Export citation
Hierarchies of subsystems of weak arithmetic
-
-
- Book:
- Set Theory, Arithmetic, and Foundations of Mathematics
- Published online:
- 07 October 2011
- Print publication:
- 01 September 2011, pp 80-92
-
- Chapter
- Export citation
CHAPTER 3 - THE EXISTENCE PREDICATE
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 103-126
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp i-vi
-
- Chapter
- Export citation
Contents
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp vii-viii
-
- Chapter
- Export citation
CHAPTER 4 - PROPOSITIONAL FUNCTIONS AND PREDICATE SUBSTITUTION
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 127-158
-
- Chapter
- Export citation
INTRODUCTION AND OVERVIEW
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp ix-xiv
-
- Chapter
- Export citation
REFERENCES
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 251-260
-
- Chapter
- Export citation
Quantifiers, Propositions and Identity
- Admissible Semantics for Quantified Modal and Substructural Logics
-
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011
CHAPTER 5 - IDENTITY
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 159-202
-
- Chapter
- Export citation