The following pages link to On <i>LP</i>-models of arithmetic (Q5387309):
Displaying 8 items.
- \(\text{NP}\not={co}\)-NP and models of arithmetic (Q672454) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- Some Comments and Replies (Q3305682) (← links)
- Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity (Q3387886) (← links)
- New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency (Q4912987) (← links)
- On elimination of quantifiers in some non‐classical mathematical theories (Q5109215) (← links)
- (Q5693580) (← links)