5570 results in Programming Languages and Applied Logic
10 - Validating Models
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 171-188
-
- Chapter
- Export citation
Subject Index
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 283-286
-
- Chapter
- Export citation
CHAPTER IX - NON-ω-MODELS
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 359-388
-
- Chapter
- Export citation
Subsystems of Second Order Arithmetic
-
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009
INDEX
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 425-444
-
- Chapter
- Export citation
Contents
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp vii-x
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp i-vi
-
- Chapter
- Export citation
Part A - Development of Mathematics within Subsystems of Z2
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 61-62
-
- Chapter
- Export citation
CHAPTER VI - Π11 COMPREHENSION
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 217-240
-
- Chapter
- Export citation
Part B - Models of Subsystems of Z2
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 241-242
-
- Chapter
- Export citation
BIBLIOGRAPHY
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 409-424
-
- Chapter
- Export citation
PREFACE
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp xiii-xiv
-
- Chapter
- Export citation
CHAPTER VII - β-MODELS
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 243-308
-
- Chapter
- Export citation
CHAPTER VIII - ω-MODELS
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 309-358
-
- Chapter
- Export citation
CHAPTER V - ARITHMETICAL TRANSFINITE RECURSION
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 167-216
-
- Chapter
- Export citation
CHAPTER IV - WEAK KÖNIG'S LEMMA
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 127-166
-
- Chapter
- Export citation
ACKNOWLEDGMENTS
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp xv-xvi
-
- Chapter
- Export citation
CHAPTER II - RECURSIVE COMPREHENSION
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 63-104
-
- Chapter
- Export citation
CHAPTER III - ARITHMETICAL COMPREHENSION
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp 105-126
-
- Chapter
- Export citation
LIST OF TABLES
-
- Book:
- Subsystems of Second Order Arithmetic
- Published online:
- 19 February 2010
- Print publication:
- 29 May 2009, pp xi-xii
-
- Chapter
- Export citation