Generalized Computability and Model Theory for Linguistic Structures - Conference attendances

Generalized Computability and Model Theory for Linguistic Structures Conference attendances

Language

Английский

Participant type

Пленарный

Conference

Международная конференция "Мальцевские чтения"
10-14 Nov 2025 , Новосибирск, ИМ СО РАН

Authors

Stukachev A.I. ^1,2

Affiliations

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

There is a remarkable list of mathematicians who contributed to both generalized computability theory and mathematical linguistics, including R. Montague, J. Barwise and Y. Moschovakis. In this talk, we discuss results of Yu.L. Ershov on approximation spaces and finite type functionals, which allow to construct generalized computable models for formal semantics (also known as Montague semantics) of natural languages, unifying generalized computability with mathematical linguistics. We survey our recent results and discuss some open questions.

Stukachev A.I.
Generalized Computability and Model Theory for Linguistic Structures
Международная конференция "Мальцевские чтения" 10-14 Nov 2025