We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION.
- Authors
Parlamento, Franco; Policriti, Alberto
- Abstract
The article discusses the use of the restricted universal quantification in the language and to the axiom of foundation. It mentions that finite set-satisfiability is applicable if the set satisfying formula are required to be finite. It states that the new set was introduced to act as a universe and to ask using (&#x2200 &#x2203)0 formula which is enough to have witnesses for disequalities involved in pairs of set.
- Subjects
PREDICATE calculus; FOUNDATIONS of mathematical analysis; CONSTRUCTIBILITY (Set theory); AXIOM of choice; MODULES (Algebra)
- Publication
Mathematical Logic Quarterly, 1992, Vol 38, Issue 1, p143
- ISSN
0942-5616
- Publication type
Article
- DOI
10.1002/malq.19920380110