Construction of sentences with specific interpretability properties

DOI10.4064/FM-142-2-189-200MaRDI QIDQ4314798zbMATH OpenOpenAlexFDO

Authors Alan S. Stern

Publication date 27 November 1994

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/211981, http://matwbn.icm.edu.pl/ksiazki/fm/fm142/fm14213.pdf

zbMATH Keywords

lattice of local interpretability typessentences that satisfy a recursively enumerable set of interpretability properties

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

Recommendations

• On Partially Conservative Sentences and Interpretability
• Some Theorems on the Lattice of Local Interpretability Types
• scientific article; zbMATH DE number 3892594
• Notion of Interpretation and Nonelementary Languages
• On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability

Cited in

(3)

• Exhaustive interpretation of complex sentences
• The comprehension construction
• An optimal construction of Hanf sentences

This page was built for publication: Construction of sentences with specific interpretability properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4314798)