What is sequentiality?

MaRDI QIDQ5222085zbMATH OpenFDO

Authors Albert Visser

Publication date 30 March 2020

zbMATH Keywords

interpretabilityinterpretations

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• A theory of sequentiality
• Another approach to sequentiality: Kleene's unimonotone functions
• Relative sequentiality
• On the definition of sequential consistency
• scientific article; zbMATH DE number 431761

Cited in

(8)

• On \(\mathsf{Q}\)
• Friedman-reflexivity
• Extension and interpretability
• On a question of Krajewski's
• The small-is-very-small principle
• The interpretation existence lemma
• When bi-interpretability implies synonymy
• Transductions in arithmetic

This page was built for publication: What is sequentiality?

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