scientific article; zbMATH DE number 3335898

zbMath0212.01901MaRDI QIDQ5613181

Bruno Scarpellini

Publication date: 1971

Full work available at URL: http://www.numdam.org/item?id=CM_1971__23_1_123_0

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

Mathematics Subject Classification ID

Model theory (03C99)

Related Items (14)

Limit spaces with approximations ⋮ Measure theory and higher order arithmetic ⋮ On Spector's bar recursion ⋮ Internal Density Theorems for Hierarchies of Continuous Functionals ⋮ A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces ⋮ Unnamed Item ⋮ Bar recursion over finite partial functions ⋮ Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen ⋮ On the computational content of the Bolzano-Weierstraß Principle ⋮ Partial enumerable and finite functionals ⋮ Eine beweistheoretische Anwendung partieller stetiger Funktionale ⋮ THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT ⋮ Unnamed Item ⋮ Everywhere-defined continuous functionals

Cites Work

• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• Consistency of the Continuum Hypothesis. (AM-3)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: