scientific article; zbMATH DE number 1354177
From MaRDI portal
Publication:4268492
zbMath0925.03045MaRDI QIDQ4268492
Domenico Cantone, Alberto Policriti, Vincenzo Cutello
Publication date: 28 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25)
Related Items (4)
Undecidability results for restricted universally quantified formulae of set theory ⋮ Techniques of computable set theory with applications to proof verification ⋮ Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case* ⋮ Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
This page was built for publication:
