A generalized small model property for languages which force the infinity

Pietro Ursino

Published: 2004-11-10 | Updated: 2004-12-30

Comments: 21 pages. to appear on "Le Matematiche"

Note:

Publication:

# BIB PDF ARXIV

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.

arXiv++ Combinatorics

A generalized small model property for languages which force the infinity

Abstract

BibTeX