On End‐Extensions of Models of ¬exp

DOI10.1002/malq.19960420102zbMath0842.03041OpenAlexW1987750486MaRDI QIDQ4868237

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

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

Related Items (2)

END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS ⋮ Groundwork for weak analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

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