A valuation theoretic characterization of recursively saturated real closed fields
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: The Journal of Symbolic Logic ; 80 (2015), 1. - S. 194-206. - ISSN 0022-4812. - eISSN 1943-5886
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2015
- Urheber
- URN
-
urn:nbn:de:bsz:352-0-288863
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:50 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- D'Aquino, Paola
- Kuhlmann, Salma
- Lange, Karen
- Bibliothek der Universität Konstanz
Entstanden
- 2015