1979•Florence Research (University of Florence)Requires access

Robinson consistency theorem in soft model theory

Daniele Mundici

Abstract

Si enunciano alcuni risultati provati dall'autore negli articoli citati nella bibliografia, alcuni dei quali in corso di stampa su Zeit für Math. Logik, Archiv für Math. Logik, Trans. AMS e sul Journal of Symbolic Logic. Tali risultati collegano le nozioni di interpolazione e compattezza nell'ambito della teoria astratta dei modelli, al teorema di consistenza di Robinson, oppure a nozioni puramente algebriche. In particolare, in ogni logica il teorema di consistenza di Robinson è equivalente al teorema di interpolazione di Craig insieme alla compattezza; quest'ultima, a sua volta, equivale alla proprietà «JEP» di immersione congiunta. Altri risultati riguardano il terzo e quarto problema di H. Friedman e le estensioni della logica col quantificatore «ci sono incontabilmente molti».

About this research paper

What this paper is about

Why it matters

OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Mathematics, Consistency (knowledge bases), Interpolation (computer graphics), Extension (predicate logic), Compact space, Countable set, Property (philosophy), Context (archaeology)