An Introduction to the Technique of Formative Processes in Set Theory

DOI10.1007/978-3-319-74778-1zbMath1402.03004OpenAlexW2791952676MaRDI QIDQ4571911

Domenico Cantone, Pietro Ursino

Publication date: 3 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-74778-1

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Applications of set theory (03E75) Axiomatics of classical set theory and its fragments (03E30)

Related Items (4)

Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership ⋮ Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case* ⋮ A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× ⋮ An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆

This page was built for publication: An Introduction to the Technique of Formative Processes in Set Theory