scientific article; zbMATH DE number 3356762

zbMath0225.02043MaRDI QIDQ5631102

Wilson M. Zaring, Gaisi Takeuti

Publication date: 1971

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx)

Related Items (28)

Identical particles and the simplicial category ⋮ Some results concerning strongly compact cardinals ⋮ Deadlock and fairness in morphisms of transition systems ⋮ INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN ⋮ New model categories from old ⋮ FULL REGULARITY FOR A C*-ALGEBRA OF THE CANONICAL COMMUTATION RELATIONS ⋮ Linguistic\(\leftrightarrow \)rational agents' semantics ⋮ A proof-theoretic characterization of the primitive recursive set functions ⋮ Mining the surface: witnessing the low complexity theorems of arithmetic ⋮ Boolean extensions which efface the Mahlo property ⋮ Command algebras, recursion and program transformation ⋮ One hundred and two problems in mathematical logic ⋮ Processes and formalisms for unbounded choice ⋮ Sequent calculus and data fusion ⋮ On splitting stationary subsets of large cardinals ⋮ Markets with many more agents than commodities Aumann's ``hidden assumption ⋮ The concept of state and the axiom of choice ⋮ A result of relative consistency about the predicate WO(δ, x) ⋮ Chang's conjecture and powers of singular cardinals ⋮ Σ₁-compactness in languages stronger than ⋮ Generalized quantifiers and elementary extensions of countable models ⋮ Combinatorial Dichotomies in Set Theory ⋮ An algebraic generalization of Frege structures -- binding algebras ⋮ A Generalized Topological Measure Theory ⋮ Fixpoint semantics and simulation ⋮ Set theory with a filter quantifier ⋮ On Takeuti's early view of the concept of set ⋮ The κ-closed unbounded filter and supercpmpact cardinals

This page was built for publication: