EuDML | Browse

Page 1

Displaying 1 – 9 of 9

Bad Wadge-like reducibilities on the Baire space

Luca Motto Ros (2014)

Fundamenta Mathematicae

We consider various collections of functions from the Baire space $^{ω} ω$ into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings, and functions which are nonexpansive or Lipschitz with respect to suitable complete ultrametrics on $^{ω} ω$ (compatible with its standard topology). We analyze the degree-structures induced by such sets of functions when used as reducibility notions between subsets of...

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama (2012)

Formalized Mathematics

In this article we formalize one of the most important theorems of linear operator theory - the Closed Graph Theorem commonly used in a standard text book such as [10] in Chapter 24.3. It states that a surjective closed linear operator between Banach spaces is bounded.

Displaying 1 – 9 of 9

Bad Wadge-like reducibilities on the Baire space

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.

Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.

Binumerability in a sequence of theories

Boolean algebras, splitting theorems, and $Δ_{2}^{0}$ sets

Boolean algebras with finite families of computable automorphisms.

Borel equivalence and isomorphism of coanalytic sets [Book]

Built-up systems of fundamental sequences and hierarchies of number-theoretic functions.

Currently displaying 1 – 9 of 9