Publication:5631102
From MaRDI portal
zbMath0225.02043MaRDI QIDQ5631102
Wilson M. Zaring, Gaisi Takeuti
Publication date: 1971
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03Exx: Set theory
Related Items
FULL REGULARITY FOR A C*-ALGEBRA OF THE CANONICAL COMMUTATION RELATIONS, Sequent calculus and data fusion, Markets with many more agents than commodities Aumann's ``hidden assumption, Command algebras, recursion and program transformation, Identical particles and the simplicial category, Deadlock and fairness in morphisms of transition systems, Processes and formalisms for unbounded choice, The concept of state and the axiom of choice, An algebraic generalization of Frege structures -- binding algebras, Fixpoint semantics and simulation, Linguistic\(\leftrightarrow \)rational agents' semantics, New model categories from old, Combinatorial Dichotomies in Set Theory, INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN, Set theory with a filter quantifier, Some results concerning strongly compact cardinals, A result of relative consistency about the predicate WO(δ, x), The κ-closed unbounded filter and supercpmpact cardinals, A proof-theoretic characterization of the primitive recursive set functions, Boolean extensions which efface the Mahlo property, One hundred and two problems in mathematical logic, On splitting stationary subsets of large cardinals, Chang's conjecture and powers of singular cardinals, Σ1-compactness in languages stronger than, Generalized quantifiers and elementary extensions of countable models, A Generalized Topological Measure Theory