Baldwin: Chapter XII: Definable Second-Order Quantifiers

previous :: next

Chapter XII: Definable Second-Order Quantifiers

J. Baldwin

Source: J. Barwise, S. Feferman, eds., Model-Theoretic Logics (New York: Springer-Verlag, 1985), 445-477.

Full-text: Open access

PDF File (3413 KB)

Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.pl/1235417278

previous :: next

back to Table of Contents

2009 © Association for Symbolic Logic

Perspectives in Logic

ASL PiL Home

Perspectives in Logic