On End‐Extensions of Models of ¬exp

DOI10.1002/MALQ.19960420102MaRDI QIDQ4868237zbMATH OpenOpenAlexFDO

Authors Fernando Ferreira

Publication date 24 July 1996

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19960420102

zbMATH Keywords

computational complexitybounded arithmetictally part of a modelbounded collection

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Recommendations

• End-extending models of $IΔ_0 + exp + ΒΣ_1$
• On maximal theories
• End extensions of models of fragments of \(\mathrm{PA}\)

Cited in

(8)

• Extending to a model structure is not a first-order property
• Local collection and end-extensions of models of compositional truth
• Groundwork for weak analysis
• Theories of arithmetics in finite models
• End-extensions of models of weak arithmetic from complexity-theoretic containments
• Blunt and topless end extensions of models of set theory
• Binary models generated by their tally part
• Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme

This page was built for publication: On End‐Extensions of Models of ¬exp

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