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:
Computers and the Mechanics of Communication Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

Prime Model with No Degree of Autostability Relative to Strong Constructivizations

verfasst von : Nikolay Bazhenov

Erschienen in: Evolving Computability

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

We build a decidable structure \(\mathcal {M}\) such that \(\mathcal {M}\) is a prime model of the theory \(Th(\mathcal {M})\) and \(\mathcal {M}\) has no degree of autostability relative to strong constructivizations.

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 Some Results on Interactive Proofs for Real Computations
Nächstes Kapitel Immune Systems in Computer Virology
Literatur
1.
Fröhlich, A., Shepherdson, J.C.: Effective procedures in field theory. Philos. Trans. Roy. Soc. London. Ser. A. 248, 407–432 (1956)MATHMathSciNetCrossRef
2.
3.
Mal’tsev, A.I.: On recursive abelian groups. Sov. Math. Dokl. 32, 1431–1434 (1962)MATH
4.
Fokina, E.B., Kalimullin, I., Miller, R.: Degrees of categoricity of computable structures. Arch. Math. Logic. 49, 51–67 (2010)MATHMathSciNetCrossRef
5.
Csima, B.F., Franklin, J.N.Y., Shore, R.A.: Degrees of categoricity and the hyperarithmetic hierarchy. Notre Dame J. Formal Logic. 54, 215–231 (2013)MATHMathSciNetCrossRef
6.
7.
Anderson, B.A., Csima, B.F.: Degrees that are not degrees of categoricity. Notre Dame J. Formal Logic. (to appear)
8.
Fokina, E., Frolov, A., Kalimullin, I.: Categoricity spectra for rigid structures. Notre Dame J. Formal Logic. (to appear)
9.
Goncharov, S.S.: Degrees of autostability relative to strong constructivizations. Proc. Steklov Inst. Math. 274, 105–115 (2011)MATHMathSciNetCrossRef
10.
Miller, R.: \(\mathbf{d}\)-computable categoricity for algebraic fields. J. Symb. Log. 74, 1325–1351 (2009)MATHCrossRef
11.
Fokina, E.B., Harizanov, V., Melnikov, A.: Computable model theory. In: Downey, R. (ed.) Turing’s Legacy: Developments from Turing Ideas in Logic. Lecture Notes Logic, vol. 42, pp. 124–194. Cambridge University Press, Cambridge (2014)
12.
Bazhenov, N.A.: Autostability spectra for Boolean algebras. Algebra Logic. 53, 502–505 (2014)CrossRef
13.
Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam (1973)MATH
14.
Jockusch, C.G., Soare, R.I.: \(\Pi ^0_1\) classes and degrees of theories. Trans. Amer. Math. Soc. 173, 33–56 (1972)MATHMathSciNet
15.
Cenzer, D.: \(\Pi ^0_1\) classes in computability theory. In: Griffor, E.R. (ed.) Handbook of Computability Theory. Studies Logic Foundations Mathematics, vol. 140, pp. 37–85. Elsevier Science B.V., Amsterdam (1999)
16.
Ash, C.J., Knight, J.F.: Computable Structures and the Hyperarithmetical Hierarchy. Elsevier Science B.V, Amsterdam (2000)MATH
17.
Ershov, Y.L., Goncharov, S.S.: Constructive Models. Kluwer Academic/Plenum Publishers, New York (2000)MATHCrossRef
18.
Goncharov, S.S.: Countable Boolean Algebras and Decidability. Consultants Bureau, New York (1997)MATH
19.
Ershov, Y.L.: Decidability of the elementary theory of distributive lattices with relative complements and the theory of filters. Algebra Logic. 3, 17–38 (1964)MATH
20.
Metadaten
Titel
Prime Model with No Degree of Autostability Relative to Strong Constructivizations
verfasst von
Nikolay Bazhenov
Copyright-Jahr
2015
Buch
Evolving Computability

Print ISBN: 978-3-319-20027-9

Electronic ISBN: 978-3-319-20028-6

Copyright-Jahr: 2015

DOI
https://doi.org/10.1007/978-3-319-20028-6_12