Intuitionistic Logic Model Theory and Forcing

✍ Scribed by Melvin Chris Fitting (Eds.)

• Publisher: Elsevier Science
• Year: 1969
• Tongue: English
• Leaves: 177
• Series: Studies in Logic and the Foundations of Mathematics 54
• Category: Library

✦ Table of Contents

Content:
Advisory Editorial Board
Page 2

Edited by
Page 3

Copyright page
Page 4

Acknowledgments
Page 11

Introduction
Pages 13-15

Chapter 1 Propositional Intuitionistic Logic Semantics
Pages 19-27

Chapter 2 Propositional Intuitionistic Logic Proof Theory
Pages 28-37

Chapter 3 Related Systems of Logic
Pages 38-44

Chapter 4 First Order Intuitionistic Logic Semantics
Pages 45-52

Chapter 5 First Order Intuitionistic Logic Proof Theory
Pages 53-70

Chapter 6 Additional First Order Results
Pages 71-87

Chapter 7 Intuitionistic M_О± Generalizations
Pages 91-115

Chapter 8 Independence of the Axiom of Choice
Pages 116-121

Chapter 9 ordinals and Cardinals
Pages 122-132

Chapter 10 Independence of the Continuum Hypothesis
Pages 133-136

Chapter 11 Definability and Constructability
Pages 137-149

Chapter 12 Independence of the Axiom of Constructability
Pages 150-151

Chapter 13 Additional Results
Pages 152-162

Chapter 14 Additional Classical Model Generalizations
Pages 163-178

Appendix (to ch. 11 В§ 2)
Pages 179-187

Bibliography
Pages 188-189

Subject Index
Pages 190-191