CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Secision Procedures for Elementary Sublanguages of Set Theory XI. Unsolvability of the Decision Problem for a Restricted Subclass of the Delta_0-Formulas in Set Theory
Franco Parlamento
,
Alberto Policriti
1988-01-01
Cite
Type
Journal article
Publication
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS
Set theory; Decidability; Restricted formulae
Related
Finite families with few symmetric differences
Witnessing differences without redundancies
Decidability of E*A-sentences in Membership Theories
A derived algorithm for evaluating epsilon-expressions over abstract sets
Undecidability Results for Restricted Universally Quantified Formulae of Set Theory
Cite
×