scientific article; zbMATH DE number 3632470
From MaRDI portal
Publication:4193455
zbMath0407.04001MaRDI QIDQ4193455
H. C. Doets, Dirk van Dalen, H. C. M. De Swart
Publication date: 1978
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) Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Other classical set theory (including functions, relations, and set algebra) (03E20) Axiom of choice and related propositions (03E25)
Related Items (10)
Correctness of fixpoint transformations ⋮ Domain theory for nonmonotonic functions ⋮ A study of the metatheory of assertoric syllogistic ⋮ Criteria of theoreticity: bridging statement and non-statement view ⋮ Reformulations of measure differential inclusions and their closed graph property ⋮ On Comparability in a Topos ⋮ Unnamed Item ⋮ Hereditarily finite sets and identity trees ⋮ A Bayesian analysis of ratios of proportions in tree-structured experiments ⋮ Issues in the design of modeling languages for mathematical programming
This page was built for publication:
