scientific article; zbMATH DE number 3356762
From MaRDI portal
zbMath0225.02043MaRDI QIDQ5631102
Wilson M. Zaring, Gaisi Takeuti
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx)
Related Items
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, Σ1-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
