scientific article; zbMATH DE number 3424017
From MaRDI portal
Publication:5686039
zbMath0269.02028MaRDI QIDQ5686039
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Set theory (03Exx)
Related Items
Regular relations and bicartesian squares ⋮ On Cantorian spacetime over number systems with division by zero ⋮ Cantor and generalized continuum hypotheses may be false ⋮ Reconsidering pairs and functions as sets ⋮ Copies from ``Standard set theory? A note on the foundations of minimalist syntax in reaction to Chomsky, Gallego and Ott (2019) ⋮ Why mathematics needs engineering ⋮ Issues in commonsense set theory ⋮ Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study ⋮ Regularity of relations: A measure of uniformity ⋮ Set theory for verification. II: Induction and recursion ⋮ Pursuit evasion on infinite graphs ⋮ Specification methodology: An integrated relational approach ⋮ The Jacobson radical for an inconsistency predicate ⋮ On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic ⋮ Mind the Croc! Rationality Gaps vis-à-vis the Crocodile Paradox ⋮ Dominance-based measurement of productive and environmental performance for manufacturing. ⋮ Simple feature engineering via neat default retrenchments ⋮ Iterated strict dominance in general games ⋮ Monographs, a category of graph structures ⋮ On representation and approximation of operations in Boolean algebras ⋮ On the identification of changing tastes ⋮ Properties of distance spaces with power triangle inequalities ⋮ An open formalism against incompleteness ⋮ Study of the diagnosability of automated production systems based on functional graphs ⋮ On using random relations to generate upper and lower probabilities ⋮ Asking infinite voters `who is a J?': group identification problems in \(\mathbb{N} \) ⋮ Verifying programs by induction on their data structure: general format and applications ⋮ Transformational derivation of an improved alias analysis algorithm ⋮ Weyl conjecture and thermal radiation of finite systems
This page was built for publication:
