activity
20032023
most citedA generalized small model property for languages which force the infinity

3 citations · 3 across the 12 of their papers we have counts for

collaborators
Showing 2004Show all

2 papers · 1 filter

math.LO2004★ 3 cited

A generalized small model property for languages which force the infinity

Pietro Ursino

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.

math.LO2004

Formative processes with applications to the decision problem in set theory: II. powerset and singleton operators, finiteness predicate

Domenico Cantone, Pietro Ursino

In this paper we solve the satisfiability problem of an extended fragment of set computable theory which "forces the infinity" by a fruitful use of the witness small model property…