Intuitionistic logic, model theory and forcing.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Fitting, Melvin, 1942-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam, North-Holland Pub. Co., 1969.
Colección:Studies in logic and the foundations of mathematics.
Temas:
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)
Acceso en línea:Texto completo
Texto completo
Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares