Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Отпечаток Узнайте самые подробные результаты анализа активности Роман Русланович Авдеев. Указанные в этом разделе метке относятся к действиям этого человека. Вместе они формируют уникальную картину его активности.

  • 2 Похожие профили
Computable Structure Математика
Peano Arithmetic Математика
Admissible Set Математика
Computability Математика
Standard Model Математика
Model Математика

Сеть Недавняя внешняя коллаборация на уровне стран. Углубитесь в детали нажатием на точки.

Результат исследований 2017 2019

  • 2 статья

A Computable Structure with Non-Standard Computability

Avdeev, R. R. & Puzarenko, V. G., 1 апр 2019, В : Siberian Advances in Mathematics. 29, 2, стр. 77-115 39 стр.

Результат исследования: Научные публикации в периодических изданияхстатья

Computable Structure
Peano Arithmetic
Admissible Set
Computability
Standard Model

A Computable Structure with Nonstandard Computability

Avdeev, R. R. & Puzarenko, V. G., 1 ноя 2017, В : Algebra and Logic. 56, 5, стр. 425-426 2 стр.

Результат исследования: Научные публикации в периодических изданияхстатья