Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
type: Item
instance of: scholarly article
title: Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
zbMATH Open document ID: 0443.03001
published in: Studies in Logic and the Foundations of Mathematics
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03C20
Mathematics Subject Classification ID: 03C35
Mathematics Subject Classification ID: 03H05
Mathematics Subject Classification ID: 03C70
Mathematics Subject Classification ID: 03C75
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03E65
Mathematics Subject Classification ID: 03E20
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E45
Mathematics Subject Classification ID: 03E50
Mathematics Subject Classification ID: 54A35
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D30
Mathematics Subject Classification ID: 03D60
Mathematics Subject Classification ID: 03D65
Mathematics Subject Classification ID: 03D70
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 3691296
zbMATH Keywords: alpha-recursion
zbMATH Keywords: research survey articles
zbMATH Keywords: categorical logic
zbMATH Keywords: homogeneous sets
zbMATH Keywords: constructibility
zbMATH Keywords: Martin's axiom
zbMATH Keywords: unsolvable problems
zbMATH Keywords: decidable theories
zbMATH Keywords: projective sets
zbMATH Keywords: incompleteness theorems
zbMATH Keywords: direct proof
zbMATH Keywords: theories of finite type
zbMATH Keywords: type free lambda calculus
zbMATH Keywords: Peano arithmetic
zbMATH Keywords: forcing
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3691296