Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
type: Item
instance of: scholarly article
title: Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
zbMATH Open document ID: 0904.03005
author: Carsten Butz
published in: Notre Dame Journal of Formal Logic
publication date: 1998-08-20T00:00:00Z
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03C90
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 1192479
zbMATH Keywords: first-order logic extended by quantification over functions
zbMATH Keywords: Heyting categories
zbMATH Keywords: Grothendieck topos
zbMATH Keywords: completeness
zbMATH Keywords: Heyting-valued models
zbMATH Keywords: locally connected geometric morphisms
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1039700744
OpenAlex ID: W1490103217
cites work: Topological representation of the λ-calculus
cites work: Topological completeness for higher-order logic
cites work: Molecular toposes
cites work: La logique des topos
cites work: Classifying toposes for first-order theories
cites work: Representing topoi by topological groupoids
cites work: Q3050433
cites work: Q3995720
cites work: Completeness in the theory of types
cites work: Open maps of toposes
cites work: Toposes are Cohomologically Equivalent to Spaces
cites work: Q3918651
cites work: Q3727946
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: Constructive Sheaf Semantics
DOI: 10.1305/NDJFL/1039700744
description: scientific article; zbMATH DE number 1192479