Intuitionistic logic, model theory and forcing.

By:

Fitting, Melvin, 1942-

Contributor(s):

ScienceDirect eBooks

Series: Studies in logic and the foundations of mathematics1969Description: 1 online resource (191 pages)Content type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9780444534187
0444534180

Subject(s):

Genre/Form:

Electronic books.

Additional physical formats: Print version:: Intuitionistic logic, model theory and forcing.LOC classification:

QA9 .F56

Online resources:

Click here to access online

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.

Action note:

digitized 2010 HathiTrust Digital Library committed to preserve

Item type:

eBooks

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 9 )

No physical items for this record

Includes bibliographical references (pages 188-189).

Print version record.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

Elsevier ScienceDirect All Books