Разветвляющееся удлинение

• Определение разветвляющегося и неразветвляющегося расширения

  • Разветвляющееся расширение имеет меньший ранг Морли, чем неразветвляющееся. 
  • Разветвляющееся расширение может быть использовано для расширения понятия линейной или алгебраической независимости в устойчивых теориях. 

• Аксиомы неразветвляющегося отношения

  • Неразветвляющееся отношение уникально и удовлетворяет определенным аксиомам. 
  • Отношение удовлетворяет свойствам элементарного отображения и транзитивности. 
  • Существует кардинал, ограничивающий количество типов, которые могут быть меньше данного типа. 
  • Существует предел на количество непротиворечивых типов, которые могут быть меньше данного типа. 

• Рекомендации по форматированию

  • Приведены рекомендации по форматированию для различных элементов статьи. 
  • Упомянуты значки и стили для различных элементов статьи.