Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Verifying Systems of Resource-Bounded Agents Kapitel lesen Erstes Kapitel lesen

2016 | OriginalPaper | Buchkapitel

The Typical Constructible Object

verfasst von : Mathieu Hoyrup

Erschienen in: Pursuit of the Universal

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Baire Category is an important concept in mathematical analysis. It gives a notion of large set, hence a way of identifying the properties of typical objects. One of the most important applications of Baire Category is to provide a way of proving the existence of objects with specified properties without having to give an explicit construction, showing at the same time that these properties are prevalent. For instance it has been extensively used in mathematical analysis to better understand and separate classes of real functions such as analytic and smooth functions (see [9] for a wide range of applications of the Baire Category Theorem in analysis).

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Semantic Security and Key-Privacy with Random Split of St-Gen Codes
Nächstes Kapitel Computability in Symbolic Dynamics
Literatur
1.
Brattka, V., Hendtlass, M., Kreuzer, A.P.: On the uniform computational content of the Baire category theorem (2015). CoRR arXiv:​1510.​01913
2.
Bridges, D., Ishihara, H., Vîă, L.: A new constructive version of Baire’s theorem. Hokkaido Math. J. 35(1), 107–118 (2006)MathSciNetCrossRefMATH
3.
Brown, D.K., Simpson, S.G.: The Baire category theorem in weak subsystems of second-order arithmetic. J. Symb. Logic 58(2), 557–578 (1993)MathSciNetCrossRefMATH
4.
Richard, M.: Friedberg: two recursively enumerable sets of incomparable degrees of unsolvability (solution of Post’s problem, 1944). Proc. Natl. Acad. Sci. U.S.A. 43(2), 236–238 (1957)CrossRefMATH
5.
Hoyrup, M.: Irreversible computable functions. In: Mayr, E.W., Portier, N. (eds.) 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, 5–8 March 2014, Lyon, France, LIPIcs, vol. 25, pp. 362–373. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2014)
6.
Hoyrup, M.: Genericity of weakly computable objects. Theory of Computing Systems (2016, to appear)
7.
Ingrassia, M.A.: P-genericity for recursively enumerable sets. Ph.D. thesis, University of Illinois at Urbana-Champaign (1981)
8.
Carl, G.: Jockush: simple proofs of some theorems on high degrees. Can. J. Math. 29, 1072–1080 (1977)CrossRefMATH
9.
Jones, S.H.: Applications of the Baire category theorem. Real Anal. Exch. 23(2), 363–394 (1999)MathSciNetMATH
10.
Kleene, S.C., Emil, L.: Post: the upper semi-lattice of degrees of recursive unsolvability. Ann. Math. 59(3), 379–407 (1954)CrossRefMATH
11.
12.
13.
Muchnik, A.A.: On the unsolvability of the problem of reducibility in the theory of algorithms. Dokl. Akad. Nauk SSSR 108, 194–197 (1956)MathSciNetMATH
14.
Nies, A.: Computability and Randomness. Oxford Logic Guides. Oxford University Press, Oxford (2009)CrossRefMATH
Metadaten
Titel
The Typical Constructible Object
verfasst von
Mathieu Hoyrup
Copyright-Jahr
2016
Buch
Pursuit of the Universal

Print ISBN: 978-3-319-40188-1

Electronic ISBN: 978-3-319-40189-8

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-319-40189-8_12