The metamathematics of real numbers can be developed by analysing different formal theories of real numbers. Based on the theory of real closed fields several extensions are investigated proof-theoretically and compared with each other and with other canonical mathematical theories via the relation of interpretability. The results determine the resources employed in those theories and establish a reducibility approach to real numbers.
Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94-1921) Format: PDF
Vom Dezember 1913 bis April 1914 arbeitete Husserl an einer Neufassung der VI. Logischen Untersuchung. Der vorliegende Band enthält zum einen die im Zuge dieser Arbeit entstandenen Manuskripte und…
What are pure geometric forms? In what sense are there an infinite number of points on a line? What is the relationship between empirically correct statements about real bodily figures (or…
What are pure geometric forms? In what sense are there an infinite number of points on a line? What is the relationship between empirically correct statements about real bodily figures (or…
In these seven essays published from 1986 to 2008, philosophy is portrayed as an activity in which one gives an account of the experiences that one has and transmits through acting and speaking. A…
In these seven essays published from 1986 to 2008, philosophy is portrayed as an activity in which one gives an account of the experiences that one has and transmits through acting and speaking. A…
In these seven essays published from 1986 to 2008, philosophy is portrayed as an activity in which one gives an account of the experiences that one has and transmits through acting and speaking. A…
Die Forschungsmanuskripte Edmund Husserls basieren auf den sogenannten U-Blättern, einer von Edith Stein im Auftrag Husserls 1917 zusammengestellten Manuskriptsammlung zur Urteilstheorie. Die im…
Die Forschungsmanuskripte Edmund Husserls basieren auf den sogenannten U-Blättern, einer von Edith Stein im Auftrag Husserls 1917 zusammengestellten Manuskriptsammlung zur Urteilstheorie. Die im…
There is a long tradition in the philosophy of explaining the concept of ”meaning“ in terms of reference of the thing that our sign signifies. At the latest since Wittgenstein,…
There is a long tradition in the philosophy of explaining the concept of ”meaning“ in terms of reference of the thing that our sign signifies. At the latest since Wittgenstein,…
Das Amtsblatt des Landkreises Wunsiedel i.Fichtelgebirge. Lesen Sie Bekanntmachungen, Änderungen von Satzungen und Festlegungen. Im Amtsblatt des Landkreises Wunsiedel i. Fichtelgebirge geht es ...
Vom Deutschen Patent- und Markenamt erteilte Patente. Bibliographie, Patentanspruch, wichtigste Zeichnung.
Thomson Reuters is the world’s leading source of intelligent information for businesses ...
Veröffentlichte Gebrauchsmustereintragungen beim Deutschen Patent- und Markenamt. Bibliographie, Hauptanspruch,wichtigste Zeichnung, Nebenklassenhinweise.
Checkpoint is a tax research system that ...
Die herstellerunabhängige Fachzeitschrift wendet sich an alle Anwender und Entscheider, die mit Softwarelösungen von Autodesk arbeiten. Das Magazin gibt praktische ...
BIBEL FÜR HEUTE ist die Bibellese für alle, die die tägliche Routine durchbrechen wollen: Um sich intensiver mit einem Bibeltext zu beschäftigen. Um beim Bibel lesen Einblicke in Gottes ...
Informationsdienst für die Spielwarenbranche
Seit 1980 ist der „BRANCHENBRIEF INTERNATIONAL - Spielzeugbranche aktuell" der Informationsdienst der Spielwarenbranche, bekannt unter dem Kürzel ...
Das Grundeigentum - Zeitschrift für die gesamte Grundstücks-, Haus- und Wohnungswirtschaft. Für jeden, der sich gründlich und aktuell informieren will. Zu allen Fragen rund um die Immobilie. Mit ...
SPORT in BW (Württemberg) ist das offizielle Verbandsorgan des Württembergischen Landessportbund e.V. (WLSB) und Informationsmagazin für alle im Sport organisierten Mitglieder in Württemberg. ...
Die Flugzeuge der NVA
Neben unser F-40 Reihe, soll mit der DHS die Geschichte der "anderen" deutschen Luftwaffe, den Luftstreitkräften der Nationalen Volksarmee (NVA-LSK) der ehemaligen DDR ...
Bau und Einsatz von Werkzeugmaschinen für spangebende und spanlose sowie abtragende und umformende Fertigungsverfahren.
dima - die maschine - bietet als Fachzeitschrift die Kommunikationsplattform ...