5570 results in Programming Languages and Applied Logic
A survey of the reversemathematics of ordinal arithmetic
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 222-234
-
- Chapter
- Export citation
The Baire category theoremover a feasible base theory
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 164-174
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp v-viii
-
- Chapter
- Export citation
Chapter 7 - Logic and Mathematics
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 171-184
-
- Chapter
- Export citation
Representation theorem for models of dynamic intensional logic
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 160-173
-
- Chapter
- Export citation
Weak theories of nonstandard arithmetic and analysis
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 19-46
-
- Chapter
- Export citation
Aspects of the Turing jump
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 365-382
-
- Chapter
- Export citation
Models of arithmetic: quantifiers and complexity
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 271-280
-
- Chapter
- Export citation
Preface
-
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp v-vi
-
- Chapter
- Export citation
Notions of computability at higher types I
- from TUTORIALS
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 32-142
-
- Chapter
- Export citation
The semantics of modal predicate logic II. Modal individuals revisited
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 60-96
-
- Chapter
- Export citation
Free sets and reversemathematics
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 104-119
-
- Chapter
- Export citation
Analytic and pseudo-analytic structures
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 392-408
-
- Chapter
- Export citation
Rigidity conjectures
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 252-271
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp ix-xviii
-
- Chapter
- Export citation
Sequences of degrees associated with models of arithmetic
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 217-241
-
- Chapter
- Export citation
Weak fragments of Peano Arithmetic
-
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 149-184
-
- Chapter
- Export citation
Intensionality in philosophy andmetamathematics
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 123-159
-
- Chapter
- Export citation
Contents
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp ix-x
-
- Chapter
- Export citation
Contents
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp vii-viii
-
- Chapter
- Export citation