نتایج جستجو برای: recursive

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

2015
Tin Lok Wong

At first sight, recursive saturation may seem an ‘unhappy marriage’ between model theory and recursion theory, as some authors put it. Nevertheless, it turns out to work wonderfully well with models of arithmetic. First and most important of all, since there are only countably many recursive sets, the number of recursive types over any infinite structure M is exactly card(M). So by an elementar...

Journal: :Proceedings of the American Mathematical Society 1955

Journal: :Discrete Mathematics 1996

Journal: :Journal of Mathematical Analysis and Applications 1993

Journal: :Computational Statistics & Data Analysis 2003

Journal: :International Journal of Database Theory and Application 2014

Journal: :Annals of Pure and Applied Logic 2017

Journal: :RAIRO. Informatique théorique 1982

Journal: :Computers & Mathematics with Applications 2004

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

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