نتایج جستجو برای: set theory

تعداد نتایج: 1343953  

Journal: :Advances in Mathematics 1981

Journal: :Journal of Physics: Conference Series 2021

Journal: :Annals of Pure and Applied Logic 1990

Journal: :Annals of Mathematical Logic 1971

Journal: :Annals of Pure and Applied Logic 2012

Journal: :Journal of King Saud University - Science 2011

Journal: :Transactions of the American Mathematical Society 1969

Journal: :Annals of Pure and Applied Logic 2023

We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). show our notion of OTM-realisability sound with respect to certain systems logic, and all axioms Kripke-Platek are realised. Finally, we use variant the propositional admissible rules (finitary) exactly logic.

Journal: :Bulletin of Symbolic Logic 1999

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید