Pages that link to "Item:Q1362598"
From MaRDI portal
The following pages link to Inconsistent models of arithmetic. I: Finite models (Q1362598):
Displaying 14 items.
- Notes on the model theory of DeMorgan logics (Q424585) (← links)
- Adaptive Fregean set theory (Q831216) (← links)
- Peeking at the impossible (Q1276419) (← links)
- Second-order logic of paradox (Q1633895) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Inconsistency in mathematics and the mathematics of inconsistency (Q2263045) (← links)
- A note on Priest's finite inconsistent arithmetics (Q2499311) (← links)
- Inconsistent models of arithmetic Part II: the general case (Q2710594) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- Variations on the Collapsing Lemma (Q3305667) (← links)
- Denotation, Paradox and Multiple Meanings (Q3305675) (← links)
- Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity (Q3387886) (← links)
- On elimination of quantifiers in some non‐classical mathematical theories (Q5109215) (← links)
- On <i>LP</i>-models of arithmetic (Q5387309) (← links)
