The Syntax and Semantics of Infinitary Lan... - MEOVERSA

Cover: 9783540042426 | The Syntax and Semantics of Infinitary Languages | Jon Barwise | Buch

Rückseite: 9783540042426 | The Syntax and Semantics of Infinitary Languages | Jon Barwise | Buch

Cover: 9783540042426 | The Syntax and Semantics of Infinitary Languages | Jon Barwise | Buch

Rückseite: 9783540042426 | The Syntax and Semantics of Infinitary Languages | Jon Barwise | Buch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

48,14 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Beschreibung

Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible ordinals.- An algebraic proof of the barwise compactness theorem.- Formulas with linearly ordered quantifiers.- Some problems in group theory.- Choice of infinitary languages by means of definability criteria; Generalized recursion theory.- Definability, automorphisms, and infinitary languages.- The hanf number for complete sentences.- Quantified algebras.- Normal derivability in classical logic.- A determinate logic.- (?1, ?) properties of unions of models.

Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible ordinals.- An algebraic proof of the barwise compactness theorem.- Formulas with linearly ordered quantifiers.- Some problems in group theory.- Choice of infinitary languages by means of definability criteria; Generalized recursion theory.- Definability, automorphisms, and infinitary languages.- The hanf number for complete sentences.- Quantified algebras.- Normal derivability in classical logic.- A determinate logic.- (?1, ?) properties of unions of models.

Inhaltsverzeichnis

Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible ordinals.- An algebraic proof of the barwise compactness theorem.- Formulas with linearly ordered quantifiers.- Some problems in group theory.- Choice of infinitary languages by means of definability criteria; Generalized recursion theory.- Definability, automorphisms, and infinitary languages.- The hanf number for complete sentences.- Quantified algebras.- Normal derivability in classical logic.- A determinate logic.- (?1, ?) properties of unions of models.

Details

Fachbereich:	Grundlagen
Genre:	Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	Lecture Notes in Mathematics
Inhalt:	vi 270 S.
ISBN-13:	9783540042426
ISBN-10:	3540042423
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Barwise, Jon
Redaktion:	Barwise, Jon
Herausgeber:	Jon Barwise
Hersteller:	Springer Springer Vieweg Springer-Verlag GmbH Lecture Notes in Mathematics
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 16 mm
Von/Mit:	Jon Barwise
Gewicht:	0,423 kg

Artikel-ID: 101904092

Ähnliche Produkte

Broschüre

Cover: 9783507002616 | INTRO Mathematik SI. Arbeitsheft 2 | Nicole Hemmers | Broschüre | 2022

INTRO Mathematik SI. Arbeitsheft 2

Sekundarstufe 1 - Zur Vorbereitung auf den Regelunterricht

EAN: 9783507002616

Sprache: Deutsch

Von/Mit: Nicole Hemmers

Maße: 299 x 210 x 12 mm

Genre: Schule und Lernen

12,25 €

Lieferzeit 1-2 Werktage

Broschüre

Cover: 9783122545321 | Der Nussknacker. Arbeitsheft 3. Schuljahr. Ausgabe für Sachsen | 96 S.

Der Nussknacker. Arbeitsheft 3. Schuljahr. Ausgabe für Sachsen

EAN: 9783122545321

Sprache: Deutsch

Von/Mit: Frank/Poser, Katja Lippmann

Maße: 297 x 209 x 9 mm

Genre: Schule und Lernen

12,50 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781447125914 | Ergodic Theory | with a view towards Number Theory | Taschenbuch

with a view towards Number Theory

EAN: 9781447125914

Sprache: Englisch

Von/Mit: Manfred Einsiedler (u. a.)

59,25 €

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9783842105560 | Excel 2019 | Helmut Vonhoegen | Taschenbuch | 1080 S. | Deutsch | 2019

Das große Excel-Handbuch. Einstieg, Praxis, Profi-Tipps - das Kompendium für die Anwender-Praxis. Aktuell, auch zu...

EAN: 9783842105560

Sprache: Deutsch

Von/Mit: Helmut Vonhoegen

24,90 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783403082088 | Mathematikunterricht mit DaZ-Schülern 8-10 | Julian Stey | Taschenbuch

Mathematikunterricht mit DaZ-Schülern 8-10

Arbeitsblätter mit darauf abgestimmten Wortschatzkarten Sofort-Hilfe für Lehrer ohne DaZ-Kenntniss (8. bis 10. Klasse)

EAN: 9783403082088

Sprache: Deutsch

Von/Mit: Julian Stey

Maße: 297 x 210 x 7 mm

Genre: Schule und Lernen

24,99 €

Lieferzeit 1-2 Werktage

Buch

Cover: 9783446478619 | Grundlagen der Nachrichtentechnik | Carsten Roppel | Buch | 348 S.

Grundlagen der Nachrichtentechnik

Übertragungstechnik und Signalverarbeitung

EAN: 9783446478619

Sprache: Deutsch

Von/Mit: Carsten Roppel

39,99 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783868944532 | Die KI-Revolution in der Medizin | GPT-4 und darüber hinaus | Buch

Die KI-Revolution in der Medizin

GPT-4 und darüber hinaus

EAN: 9783868944532

Sprache: Deutsch

Von/Mit: Peter Lee (u. a.)

29,95 €

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783293005983 | KRYO - Die Verfehlung | Thriller. Die KRYO-Trilogie III | Petra Ivanov

KRYO - Die Verfehlung

Thriller. Die KRYO-Trilogie III

EAN: 9783293005983

Sprache: Deutsch

Von/Mit: Petra Ivanov

19,00 €

Lieferzeit 1-2 Werktage

Buch

Cover: 9781032850139 | The Routledge Handbook of Artificial Intelligence and International...

The Routledge Handbook of Artificial Intelligence and International Relations

EAN: 9781032850139

Sprache: Englisch

Von/Mit: Diego Brasioli (u. a.)

369,00 €

Aktuell nicht verfügbar