scientific article; zbMATH DE number 1926638
From MaRDI portal
Publication:4707766
zbMath1012.68181MaRDI QIDQ4707766
Publication date: 11 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2408/24080214.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates ⋮ Banishing Ultrafilters from Our Consciousness ⋮ Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF ⋮ Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets
Uses Software
This page was built for publication:
