Rozhodnutelné dílčí jazyky teorie množin - Decidable sublanguages of set theory

tento článek potřebuje pozornost odborníka na matematiku. Přidejte prosím důvod nebo a mluvit parametr k této šabloně pro vysvětlení problému s článkem. Matematika WikiProject může pomoci s náborem odborníka. (Říjen 2019)

v matematická logika, různé podjazyky jazyka teorie množin jsou rozhodnutelné.^[1]^[2] Tyto zahrnují:

Sady s monotónními, aditivními a multiplikativními funkcemi.^[3]
Sady s omezenými kvantifikátory.^[4]

Reference

^ Cantone, D., E. G. Omodeo a A. Policriti, "Set Theory for Computing. From Decision Procedures to Logic Programming with Sets", Monographs in Computer Science, Springer, 2001.
^ „Procedury rozhodování pro základní podjazyky teorie množin: XIII. Modelové grafy, reflexe a rozhodnutelnost“, Franco Parlamento a Alberto Policriti Journal of Automated Reasoning, svazek 7, číslo 2 (červen 1991), strany: 271 - 284
^ „Postup rozhodování o subjazyku teorie množin zahrnujících monotónní, aditivní a multiplikativní funkce“, Domenico Cantone a kol.
^ „Tabákový rozhodovací postup pro fragment teorie množin zahrnující omezenou formu kvantifikace“, Domenico Cantone, Calogero G. Zarba, Viale A. Doria, 1997^{[trvalý mrtvý odkaz ]}