𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Infinite Time Decidable Equivalence Relation Theory

✍ Scribed by Coskey, Samuel; Hamkins, Joel David


Book ID
124069780
Publisher
University of Notre Dame
Year
2011
Tongue
English
Weight
311 KB
Volume
52
Category
Article
ISSN
0029-4527

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Decidable and undecidable prime theories
✍ Daniele Mundici; Giovanni Panti πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 106 KB

In classical propositional logic, a theory T is prime (i.e., for every pair of formulas F; G, either T F β†’ G or T G β†’ F) i it is complete. In Lukasiewicz inΓΏnite-valued logic the two notions split, completeness being stronger than primeness. Using toric desingularization algorithms and the ΓΏne struc