Sequential theories and infinite distributivity in the lattice of chapters

DOI10.2307/2275024zbMath0675.03035OpenAlexW2008721322MaRDI QIDQ3829549

Alan S. Stern

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275024

zbMATH Keywords

complexityinterpretationfinitely axiomatizable theoriessequential theorieslattice of chapters

Mathematics Subject Classification ID

Complete distributivity (06D10) Logical aspects of lattices and related structures (03G10) Relative consistency and interpretations (03F25)

Related Items (3)

Extension and interpretability ⋮ On \(\mathsf{Q}\) ⋮ Interpretability degrees of finitely axiomatized sequential theories

Cites Work

• Cuts, consistency statements and interpretations

This page was built for publication: Sequential theories and infinite distributivity in the lattice of chapters