Intuitionistic logic, model theory and forcing.

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Fitting, Melvin, 1942-
Format: Electronic eBook
Language:Inglés
Published: Amsterdam, North-Holland Pub. Co., 1969.
Series:Studies in logic and the foundations of mathematics.
Subjects:
Model theory.
Axiomatic set theory.
Forcing (Model theory)
Logic, Symbolic and mathematical.
Logique symbolique et math�ematique.
Th�eorie axiomatique des ensembles.
Th�eorie des mod�eles.
Forcing (Th�eorie des mod�eles)
Online Access:Texto completo
Texto completo
Texto completo
Table of Contents:
  • Propositional intuitionistic logic semantics
  • Propositional intuitionistic logic proof theory
  • Related systems of logic
  • First order intuitionistic logic semantics
  • First order intuitionistic logic proof theory
  • Additional first order results
  • Intuitionistic M generalizations
  • Independence of the axiom of choice
  • Ordinals and cardinals
  • Independence of the continuum hypothesis
  • Definability and constructability
  • Independence of the axiom of constructability
  • Additional results
  • Additional classical model generalizations.

Similar Items