Article,

Minimal Satisfaction Classes with an Application to Rigid Models of Peano Arithmetic.

, and .
Notre Dame J. Formal Log., 32 (3): 392-398 (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews