Запитання з тегом «model-theory»

Чи існує загальна теорема, яка б за умови належної санітарії стверджувала, що більшість відомих результатів щодо використання реальних чисел можна реально використовувати, якщо розглядати лише обчислювані цифри? Або є належна характеристика результатів, які залишаються дійсними, якщо враховувати лише обчислювані цифри? Побічне питання полягає в тому, чи можна довести результати, що …

16 computability  computing-over-reals  topology  model-theory 

Для систем без залежних типів, таких як система типу Хіндлі-Мілнера, типи відповідають формулам інтуїтивістської логіки. Там ми знаємо, що його моделями є алгебри Хейтінга, і, зокрема, для спростування формули, ми можемо обмежитися однією алгеброю Хейтінга, де кожна формула представлена ​​відкритим підмножиною .RR\mathbb{R} Наприклад, якщо ми хочемо показати, що не заселено, …

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