Higher internal covers

Research output: Contribution to journalArticlepeer-review

Abstract

We define and study a higher-dimensional version of model-theoretic internality, and relate it to higher-dimensional definable groupoids in the base theory.

Original languageEnglish
Pages (from-to)449-479
Number of pages31
JournalModel Theory
Volume2
Issue number2
DOIs
StatePublished - 1 Jan 2023

Keywords

  • binding group
  • definable groupoid
  • higher groupoid
  • internality

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Logic

Fingerprint

Dive into the research topics of 'Higher internal covers'. Together they form a unique fingerprint.

Cite this