Logotipo ImpactU
Autor

On d-finiteness in continuous structures

Acceso Abierto
ID Minciencias: ART-0001053051-2
Ranking: ART-ART_B

Abstract:

We observe that certain classical results of first order model theory fail in the context of continuous first order logic. We argue that this happens since finite tuples in a continuous structure may behave as infinite tuples in classical model theory. Th

Tópico:

Logic, Reasoning, and Knowledge

Citaciones:

Citations: 34
34

Citaciones por año:

Altmétricas:

Paperbuzz Score: 0
0

Información de la Fuente:

SCImago Journal & Country Rank
FuenteFundamenta Mathematicae
Cuartil año de publicaciónNo disponible
Volumen194
Issue1
Páginas67 - 88
pISSNNo disponible
ISSN0016-2736

Enlaces e Identificadores:

Artículo de revista