Image de couverture de livre

Elementarity of Subgroups and Complexity of Theories for Profinite Groups

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Block, Jason
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Measuring the Complexity of Countable Presburger Models
par: Block, Jason
Publié: (2026)

A Proof Theory for Profinite Modal Algebras
par: De Berardinis, Matteo, et autres
Publié: (2025)

Profiniteness, Monadicity and Universal Models in Modal Logic
par: De Berardinis, Matteo, et autres
Publié: (2023)

Profinite lambda-terms and parametricity
par: van Gool, Sam, et autres
Publié: (2023)

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
par: Grochow, Joshua A., et autres
Publié: (2022)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)

Profinite rigidity of affine Coxeter groups
par: Paolini, Gianluca, et autres
Publié: (2024)

Reduction Complexities in Set Theory
par: Carl, Merlin
Publié: (2025)

The Complexity of the Set of Validities of a Theory
par: Hirschfeldt, Denis R., et autres
Publié: (2025)

Model Theory of Hilbert Spaces with a Discrete Group Action
par: Berenstein, Alexander, et autres
Publié: (2024)

Computability for tree presentations of continuum-size structures
par: Block, Jason, et autres
Publié: (2025)

Profinite trees, through Lawvere theories and the lambda-calculus
par: Moreau, Vincent
Publié: (2024)

Cyclic Implicit Complexity
par: Curzi, Gianluca, et autres
Publié: (2021)

O-minimal open core is not an elementary property
par: Gorman, Alexi Block, et autres
Publié: (2026)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

Primitive Recursive Dependent Type Theory
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Sparse regular subsets of the reals
par: Bell, Jason, et autres
Publié: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
par: Pshenitsyn, Tikhon
Publié: (2023)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

Layered Modal Type Theories
par: Hu, Jason Z. S., et autres
Publié: (2023)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

Universal Proof Theory, TACL 2022 Lecture Notes
par: Iemhoff, Rosalie, et autres
Publié: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
par: Qu, Zhuoyuan
Publié: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
par: Sabelli, Pietro
Publié: (2024)

Proof Complexity of Linear Logics
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2026)

Axiomatic Theory of Independence Relations in Model Theory
par: d'Elbée, Christian
Publié: (2023)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
par: De Domenico, Andrea, et autres
Publié: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
par: Takahashi, Yuta
Publié: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
par: Ma, Zhifeng, et autres
Publié: (2024)

An Introduction to Categorical Proof Theory
par: Tabatabai, Amirhossein Akbar
Publié: (2024)