Explore: Infinitary Languages

“Model theory for infinitary logic” Metadata:

• Title: ➤  Model theory for infinitary logic
• Author: H. Jerome Keisler
• Language: English
• Number of Pages: Median: 208
• Publisher: North-Holland Pub. Co.
• Publish Date: 1971
• Publish Location: Amsterdam

“Model theory for infinitary logic” Subjects and Themes:

• Subjects: Infinitary languages - Model theory

Edition Identifiers:

• The Open Library ID: OL4466730M
• Library of Congress Control Number (LCCN): 79140490
• All ISBNs: 0720422582 - 9780720422580

“Lectures on Infinitary Model Theory” Metadata:

• Title: ➤  Lectures on Infinitary Model Theory
• Author: David Marker
• Language: English
• Number of Pages: Median: 192
• Publisher: Cambridge University Press
• Publish Date: 2016

“Lectures on Infinitary Model Theory” Subjects and Themes:

• Subjects: Infinitary languages

Edition Identifiers:

• The Open Library ID: OL40679792M - OL28613408M - OL34714616M
• All ISBNs: ➤  1316859606 - 1316855562 - 1107181933 - 9781316855560 - 9781316859605 - 9781107181939

“The Syntax and semantics of infinitary languages” Metadata:

• Title: ➤  The Syntax and semantics of infinitary languages
• Author: Jon Barwise
• Language: English
• Number of Pages: Median: 270
• Publisher: ➤  Springer-Verlag - Springer - Springer London, Limited
• Publish Date: 1968 - 2006
• Publish Location: Berlin - New York [etc.]

“The Syntax and semantics of infinitary languages” Subjects and Themes:

• Subjects: Infinitary languages - Mathematics - Mathematics, general

Edition Identifiers:

• The Open Library ID: OL5631287M - OL34472461M - OL28139447M
• Online Computer Library Center (OCLC) ID: 525575
• Library of Congress Control Number (LCCN): 68057175
• All ISBNs: 9783540042426 - 3540042423 - 9783540359005 - 3540359001

“Infinitary logic” Metadata:

• Title: Infinitary logic
• Author: W. D. Keuker
• Language: English
• Number of Pages: Median: 206
• Publisher: Springer-Verlag
• Publish Date: 1975
• Publish Location: Berlin - New York

“Infinitary logic” Subjects and Themes:

• Subjects: Infinitary languages - Model theory - Langages infinitaires - Modèles, Théorie des - Mathematische Logik

Edition Identifiers:

• The Open Library ID: OL5207920M - OL7442539M
• Online Computer Library Center (OCLC) ID: 1859762
• Library of Congress Control Number (LCCN): 75034464
• All ISBNs: 9780387074191 - 0387074198

“Incompactness in infinitary languages with respect to Boolean-valued interpretations” Metadata:

• Title: ➤  Incompactness in infinitary languages with respect to Boolean-valued interpretations
• Author: Attila Máté
• Language: English
• Number of Pages: Median: 55
• Publisher: ➤  University of Szeged Bolyai Mathematical Institute
• Publish Date: 1971
• Publish Location: Szeged

“Incompactness in infinitary languages with respect to Boolean-valued interpretations” Subjects and Themes:

• Subjects: Boolean Algebra - Infinitary languages

Edition Identifiers:

• The Open Library ID: OL5454614M
• Library of Congress Control Number (LCCN): 73156807

“The set of schemata of c-valid equations between regular expressions is independent of the basic alphabet” Metadata:

• Title: ➤  The set of schemata of c-valid equations between regular expressions is independent of the basic alphabet
• Author: Matti Linna
• Language: English
• Publisher: Turun Yliopisto
• Publish Date: 1970
• Publish Location: Turku [Finland]

“The set of schemata of c-valid equations between regular expressions is independent of the basic alphabet” Subjects and Themes:

• Subjects: ➤  Infinitary languages - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL5324594M
• Library of Congress Control Number (LCCN): 72177339

“Problems in the model theory of infinite languages” Metadata:

• Title: ➤  Problems in the model theory of infinite languages
• Author: Jerome Malitz
• Language: English
• Number of Pages: Median: 83
• Publisher: Malitz
• Publish Date: 1966
• Publish Location: [Berkeley, Calif

“Problems in the model theory of infinite languages” Subjects and Themes:

• Subjects: Infinitary languages - Model theory

Edition Identifiers:

• The Open Library ID: OL14808300M

“Model theory for infinitely deep languages” Metadata:

• Title: ➤  Model theory for infinitely deep languages
• Author: Maaret Karttunen
• Language: English
• Number of Pages: Median: 96
• Publisher: Suomalainen Tiedeakatemia
• Publish Date: 1984
• Publish Location: Helsinki

“Model theory for infinitely deep languages” Subjects and Themes:

• Subjects: Infinitary languages - Model theory

Edition Identifiers:

• The Open Library ID: OL52434958M
• Online Computer Library Center (OCLC) ID: 11836082
• All ISBNs: 9514104773 - 9789514104770

“Propositional extensions of L[subscript” Metadata:

• Title: ➤  Propositional extensions of L[subscript
• Author: Richard Gostanian
• Language: English
• Number of Pages: Median: 59
• Publisher: Państwowe Wydawnictwo Naukowe
• Publish Date: 1980
• Publish Location: Warszawa

“Propositional extensions of L[subscript” Subjects and Themes:

• Subjects: ➤  Infinitary languages - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL50487321M
• Online Computer Library Center (OCLC) ID: 7524986
• All ISBNs: 9788301011055 - 830101105X

“Definability and infinitely deep languages” Metadata:

• Title: ➤  Definability and infinitely deep languages
• Author: Heikki Heikkilä
• Language: English
• Number of Pages: Median: 62
• Publisher: Suomalainen Tiedeakatemia
• Publish Date: 1993
• Publish Location: Helsinki

“Definability and infinitely deep languages” Subjects and Themes:

• Subjects: ➤  Infinitary languages - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL52431022M
• Online Computer Library Center (OCLC) ID: 29305773
• All ISBNs: 9789514107245 - 9514107241

“Herbrand and Skolem theorems in infinitary languages” Metadata:

• Title: ➤  Herbrand and Skolem theorems in infinitary languages
• Author: Herman Ruge Jervell
• Language: English
• Number of Pages: Median: 11
• Publisher: ➤  Universitetet i Oslo, Matematisk institutt
• Publish Date: 1972
• Publish Location: Oslo

“Herbrand and Skolem theorems in infinitary languages” Subjects and Themes:

• Subjects: Infinitary languages

Edition Identifiers:

• The Open Library ID: OL5079474M
• Library of Congress Control Number (LCCN): 74150333

“A Functorial Model Theory Newer Applications To Algebraic Topology Descriptive Sets And Computing Categories Topos” Metadata:

• Title: ➤  A Functorial Model Theory Newer Applications To Algebraic Topology Descriptive Sets And Computing Categories Topos
• Author: Cyrus F. Nourani
• Publisher: Apple Academic Press Inc.
• Publish Date: 2014

“A Functorial Model Theory Newer Applications To Algebraic Topology Descriptive Sets And Computing Categories Topos” Subjects and Themes:

• Subjects: ➤  Functor theory - Model theory - Infinitary languages - Algebraic topology - Descriptive set theory - Categories (Mathematics) - Langages infinitaires - Topologie algébrique - Théorie descriptive des ensembles - Catégories (Mathématiques) - MATHEMATICS - General

Edition Identifiers:

• The Open Library ID: OL25971031M
• Online Computer Library Center (OCLC) ID: 872667448
• Library of Congress Control Number (LCCN): 2013955135
• All ISBNs: 1926895924 - 9781926895925

“Wu jiong luo ji” Metadata:

• Title: Wu jiong luo ji
• Author: Xiaowu Li
• Language: chi
• Number of Pages: Median: 620
• Publisher: ➤  She hui ke xue wen xian chu ban she
• Publish Date: 1996
• Publish Location: Beijing

“Wu jiong luo ji” Subjects and Themes:

• Subjects: Infinitary languages - Model theory

Edition Identifiers:

• The Open Library ID: OL18753454M
• All ISBNs: 9787800507717 - 7800507718

“Infinitary Logic: In Memoriam Carol Karp (Lecture Notes in Mathematics)” Metadata:

• Title: ➤  Infinitary Logic: In Memoriam Carol Karp (Lecture Notes in Mathematics)
• Number of Pages: Median: 208
• Publisher: Springer
• Publish Date: 1975

“Infinitary Logic: In Memoriam Carol Karp (Lecture Notes in Mathematics)” Subjects and Themes:

• Subjects: Infinitary languages - Model theory - Mathematics - Mathematics, general

Edition Identifiers:

• The Open Library ID: OL26737390M
• All ISBNs: 3540074198 - 9783540074199

“Model theory for infinitary logic” Metadata:

• Title: ➤  Model theory for infinitary logic
• Author: H. Jerome Keisler
• Number of Pages: Median: 208
• Publisher: North-Holland
• Publish Date: 1971
• Publish Location: Amsterdam

“Model theory for infinitary logic” Subjects and Themes:

• Subjects: Infinitary languages - Model theory

Edition Identifiers:

• The Open Library ID: OL23793631M

“Large infinitary languages” Metadata:

• Title: Large infinitary languages
• Author: M. A. Dickmann
• Language: English
• Number of Pages: Median: 464
• Publisher: ➤  American Elsevier Pub. Co. - North-Holland Pub. Co.
• Publish Date: 1975
• Publish Location: New York - Amsterdam

“Large infinitary languages” Subjects and Themes:

• Subjects: Infinitary languages - Model theory

Edition Identifiers:

• The Open Library ID: OL5433972M
• Online Computer Library Center (OCLC) ID: 1974959
• Library of Congress Control Number (LCCN): 73081530
• All ISBNs: 0444106227 - 9780444106223

“Model theory of infinitary languages” Metadata:

• Title: ➤  Model theory of infinitary languages
• Author: M. A. Dickmann
• Language: English
• Publisher: ➤  Universitet, Matematisk institut]
• Publish Date: 1970
• Publish Location: [Aarhus, Denmark

“Model theory of infinitary languages” Subjects and Themes:

• Subjects: Infinitary languages - Model theory

Edition Identifiers:

• The Open Library ID: OL4859941M
• Library of Congress Control Number (LCCN): 75851382

“Le principe de la méthode infinitésimale et son histoire” Metadata:

• Title: ➤  Le principe de la méthode infinitésimale et son histoire
• Author: Hermann Cohen
• Language: fre
• Number of Pages: Median: 189
• Publisher: ➤  Librairie Philosophique J. Vrin
• Publish Date: 1999
• Publish Location: Paris

“Le principe de la méthode infinitésimale et son histoire” Subjects and Themes:

• Subjects: ➤  Calcul différentiel - Connaissance, Théorie de la - Philosophie - Mathématiques - Mathematics - Philosophy - Logic - Infinitary languages

Edition Identifiers:

• The Open Library ID: OL21199082M
• Online Computer Library Center (OCLC) ID: 42868917
• All ISBNs: 9782711614097 - 2711614093

“Infinitary logic” Metadata:

• Title: Infinitary logic
• Author: Carol R. Karp

“Infinitary logic” Subjects and Themes:

• Subjects: Infinitary languages - Model theory
• People: Carol Karp (1926-1972)