Perspectives in Logic

Chapter XII: Definable Second-Order Quantifiers

J. Baldwin

Full-text: Open access

Chapter information

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

Dates
First available in Project Euclid: 23 February 2009

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

Mathematical Reviews number (MathSciNet)
MR819543

Rights
Copyright © 1985, Association for Symbolic Logic

Citation

Baldwin, J. Chapter XII: Definable Second-Order Quantifiers. Model-Theoretic Logics, 445--477, Springer-Verlag, New York, 1985. https://projecteuclid.org/euclid.pl/1235417278


Export citation