A generalized small model property for languages which force the infinity

  • Pietro Ursino

Abstract

This paper deals with formulas of set theory which force the infinity.
For such formulas, we provide a technique to infer satisfiability from a finite assignment.
Published
2006-06-01
Section
Articoli