Imagen de Portada

The Complexity of the Set of Validities of a Theory

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hirschfeldt, Denis R., Towsner, Henry, Weinstein, Scott
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Hanf Locality and Invariant Elementary Definability
por: Lindell, Steven, et al.
Publicado: (2025)

Proofs that Modify Proofs, 1/2
por: Towsner, Henry
Publicado: (2025)

Polymorphic Ordinal Notations
por: Towsner, Henry
Publicado: (2025)

Proofs that Modify Proofs
por: Towsner, Henry
Publicado: (2024)

A classification of incompleteness statements
por: Towsner, Henry, et al.
Publicado: (2024)

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

Intersecting sets in probability spaces and Shelah's classification
por: Chernikov, Artem, et al.
Publicado: (2024)

Perfect stable regularity lemma and slice-wise stable hypergraphs
por: Chernikov, Artem, et al.
Publicado: (2024)

Higher-arity PAC learning, VC dimension and packing lemma
por: Chernikov, Artem, et al.
Publicado: (2025)

Averages of hypergraphs and higher arity stability
por: Chernikov, Artem, et al.
Publicado: (2025)

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

$G$-systems and 4E Cognitive Science
por: Weinstein, Vadim K.
Publicado: (2025)

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

Gödel's Program in Set Theory
por: Müller, Sandra, et al.
Publicado: (2024)

Classical Set Theory: Theory of Sets and Classes
por: Banakh, Taras
Publicado: (2020)

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

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

A Note on OTM-Realizability and Constructive Set Theories
por: Carl, Merlin
Publicado: (2019)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
por: Atserias, Albert, et al.
Publicado: (2024)

Sets and Classes: Operational Theory
por: Warner, Garth
Publicado: (2024)

The Groupoid-Syntax of Type Theory is a Set
por: Altenkirch, Thorsten, et al.
Publicado: (2025)

On a form of intrinsic optimism in Set Theory
por: Pérez, M. Muñoz
Publicado: (2025)

Elementarity of Subgroups and Complexity of Theories for Profinite Groups
por: Block, Jason
Publicado: (2024)

On Conway's Numbers and Games, the Von Neumann Universe, and Pure Set Theory
por: Bertram, Wolfgang
Publicado: (2025)

Hammering Higher Order Set Theory
por: Brown, Chad E., et al.
Publicado: (2025)

Are Dependent Types in Set Theory Feasible?
por: Yang, Yunsong, et al.
Publicado: (2026)

Dependence Logics in Temporal Settings
por: Baltag, Alexandru, et al.
Publicado: (2022)

A Guide to Krivine Realizability for Set Theory
por: Matthews, Richard
Publicado: (2023)

Relative consistency of Set Matrix Theory with ZF
por: Cabbolet, Marcoen J. T. F.
Publicado: (2024)

Iterated Priority Arguments in Descriptive Set Theory
por: Day, Adam, et al.
Publicado: (2022)

Models of Set Theory: Extensions and Dead-ends
por: Enayat, Ali
Publicado: (2024)

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

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
por: Aoto, Takahito, et al.
Publicado: (2024)

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
por: Shakiba, Yousef, et al.
Publicado: (2025)

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

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

Logic of Sets with Atoms
por: Masters, Jake
Publicado: (2025)

Reduced Set Theory
por: Kunik, Matthias
Publicado: (2023)

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

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