The Universe of Set Theory

DOI10.1007/978-3-642-86745-3_8zbMath0182.01202OpenAlexW140750319MaRDI QIDQ5573368

Gaisi Takeuti

Publication date: 1969

Published in: Foundations of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-86745-3_8

zbMATH Keywords

algebraic logic, model theory

Mathematics Subject Classification ID

Set theory (03Exx)

Related Items (10)

Completeness of a first-order temporal logic with time-gaps ⋮ Understanding uniformity in Feferman's explicit mathematics ⋮ A higher-order calculus and theory abstraction ⋮ Variations on mobile processes ⋮ What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory ⋮ On Feferman's operational set theory \textsf{OST} ⋮ Interpolants, cut elimination and flow graphs for the propositional calculus ⋮ Bounded arithmetic for NC, ALogTIME, L and NL ⋮ Turning cycles into spirals ⋮ On Takeuti's early view of the concept of set

This page was built for publication: The Universe of Set Theory