«model-theory» etiketlenmiş sorular

Gerçek sayılarla, gerçek sayıların kullanımına ilişkin en bilinen sonuçların yalnızca hesaplanabilir gerçekler göz önüne alındığında kullanılabileceğini belirten genel bir teorem var mı? Yoksa yalnızca hesaplanabilir gerçekler göz önüne alındığında geçerli kalan sonuçların uygun bir karakterizasyonu var mı? Bir yan soru, hesaplanabilir gerçeklerle ilgili sonuçların, tüm gerçekleri veya hesaplanamayan herhangi bir …

16 computability  computing-over-reals  topology  model-theory 

Hindley-Milner tipi sistem gibi bağımlı tiplere sahip olmayan sistemler için, tipler sezgisel mantık formüllerine karşılık gelir. Orada modellerinin Heyting cebirleri olduğunu biliyoruz ve özellikle bir formülü çürütmek için, her formülün açık bir alt kümesiyle temsil edildiği bir Heyting cebiri ile sınırlayabiliriz .R,R,\mathbb{R} Örneğin, göstermek istiyorsak . α ∨ ( α …

15 lo.logic  dependent-type  model-theory  calculus-of-constructions