The Universe of Set Theory
From MaRDI portal
Publication:5573368
DOI10.1007/978-3-642-86745-3_8zbMath0182.01202OpenAlexW140750319MaRDI QIDQ5573368
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
Related Items
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
