Since 2014
Syntax and Semantics of the logic L_omega omega^lambda
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Syntax and Semantics of the logic L_omega omega^lambda
|
|
| Creator |
Butz, Carsten
|
|
| Description |
In this paper we study the logic L_omega omega^lambda , which is first order logic extended by quantification over functions (but not over relations). We give the syntax of the logic, as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of L_omega omega^lambda with respect to models in Grothendieck toposes, which can be sharpened to completenesswith respect to Heyting valued models. The logic L_omega omega^lambda is thestrongest for which Heyting valued completeness is known. Finally,we relate the logic to locally connected geometric morphisms between toposes.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1997-01-22
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/18948
10.7146/brics.v4i22.18948 |
|
| Source |
BRICS Report Series; No 22 (1997): RS-22 Syntax and Semantics of the logic L_omega omega^lambda
BRICS Report Series; Nr. 22 (1997): RS-22 Syntax and Semantics of the logic L_omega omega^lambda 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/18948/16587
|
|