Imagen de Portada

Elementarity of Subgroups and Complexity of Theories for Profinite Groups

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Block, Jason
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Measuring the Complexity of Countable Presburger Models
por: Block, Jason
Publicado: (2026)

A Proof Theory for Profinite Modal Algebras
por: De Berardinis, Matteo, et al.
Publicado: (2025)

Profiniteness, Monadicity and Universal Models in Modal Logic
por: De Berardinis, Matteo, et al.
Publicado: (2023)

Profinite lambda-terms and parametricity
por: van Gool, Sam, et al.
Publicado: (2023)

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
por: Grochow, Joshua A., et al.
Publicado: (2022)

Meta-Mathematics of Computational Complexity Theory
por: Oliveira, Igor C.
Publicado: (2025)

Profinite rigidity of affine Coxeter groups
por: Paolini, Gianluca, et al.
Publicado: (2024)

Reduction Complexities in Set Theory
por: Carl, Merlin
Publicado: (2025)

The Complexity of the Set of Validities of a Theory
por: Hirschfeldt, Denis R., et al.
Publicado: (2025)

Model Theory of Hilbert Spaces with a Discrete Group Action
por: Berenstein, Alexander, et al.
Publicado: (2024)

Computability for tree presentations of continuum-size structures
por: Block, Jason, et al.
Publicado: (2025)

Profinite trees, through Lawvere theories and the lambda-calculus
por: Moreau, Vincent
Publicado: (2024)

Cyclic Implicit Complexity
por: Curzi, Gianluca, et al.
Publicado: (2021)

O-minimal open core is not an elementary property
por: Gorman, Alexi Block, et al.
Publicado: (2026)

The Complexity of the Constructive Master Modality
por: Santiago-Fernández, Sofía, et al.
Publicado: (2026)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

Sparse regular subsets of the reals
por: Bell, Jason, et al.
Publicado: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
por: Pshenitsyn, Tikhon
Publicado: (2023)

The Pebble-Relation Comonad in Finite Model Theory
por: Montacute, Yoàv, et al.
Publicado: (2021)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Layered Modal Type Theories
por: Hu, Jason Z. S., et al.
Publicado: (2023)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
por: Geuvers, Herman
Publicado: (2026)

Universal Proof Theory, TACL 2022 Lecture Notes
por: Iemhoff, Rosalie, et al.
Publicado: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
por: Qu, Zhuoyuan
Publicado: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
por: Grilletti, Gianluca, et al.
Publicado: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
por: Sabelli, Pietro
Publicado: (2024)

Proof Complexity of Linear Logics
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2026)

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

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
por: De Domenico, Andrea, et al.
Publicado: (2024)

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

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
por: Ma, Zhifeng, et al.
Publicado: (2024)

An Introduction to Categorical Proof Theory
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)