:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Day, Adam, Greenberg, Noam, Harrison-Trainor, Matthew, Turetsky, Dan
Format:	Preprint
Published:	2022
Subjects:	Logic 03D99
Online Access:	https://arxiv.org/abs/2211.07958
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Forcing and classes of $\mathsf{HYP}$-dominating functions
by: Greenberg, Noam, et al.
Published: (2026)

Low$_2$ computably enumerable sets have hyperhypersimple supersets
by: Cholak, Peter, et al.
Published: (2024)

Two results on complexities of decision problems of groups
by: Andrews, Uri, et al.
Published: (2024)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Open Problems in Computability Theory and Descriptive Set Theory
by: Barmpalias, George, et al.
Published: (2025)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

Cofinal families of finite VC-dimension
by: Ben-Neria, Omer, et al.
Published: (2025)

Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)

Preservation of some topological properties under forcing
by: Lambie-Hanson, Chris, et al.
Published: (2026)

Mixed quantifier prefixes over Diophantine equations with integer variables
by: Sun, Zhi-Wei
Published: (2021)

The Logic of Cardinality Comparison Without the Axiom of Choice
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Generalized Von Neumann Universe and Non-Well-Founded Sets
by: Zhang, Eugene
Published: (2023)

Computable Gelfand Duality
by: Burton, Peter, et al.
Published: (2024)

Ramsey's coheirs
by: Colla, Eugenio, et al.
Published: (2019)

Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
by: Matiyasevich, Yuri, et al.
Published: (2025)

An ordinal analysis of a single stable ordinal
by: Arai, Toshiyasu
Published: (2022)

An ordinal analysis of $Π_{N}$-Collection
by: Arai, Toshiyasu
Published: (2023)

Nonclassical logics and multivariate truth values
by: Zhuravlov, Volodymyr M.
Published: (2024)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
by: Bacik, Piotr, et al.
Published: (2026)

First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)

The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)

First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)

An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)

Relativized Galois groups of first order theories over a hyperimaginary
by: Lee, Hyoyoon, et al.
Published: (2024)

On non-isomorphic universal sofic groups
by: Alekseev, Vadim, et al.
Published: (2024)

On Sets That Encode Themselves
by: Em, Taeyoung
Published: (2026)

Partially-elementary end extensions of countable models of set theory
by: McKenzie, Zachiri
Published: (2024)

A Closer Look at the Russell Paradox
by: Sheridan, Flash
Published: (2021)

Uniform terms and local elements
by: Zhuravlov, Volodymyr
Published: (2024)

Iterated jump noncomputability and compactness
by: Dooley, Gavin
Published: (2025)

Topology, forcing, and graph colourings
by: Greenberg, Noam, et al.
Published: (2026)

Minimal covers in the Weihrauch degrees
by: Lempp, Steffen, et al.
Published: (2023)

Normality, Relativization, and Randomness
by: Calvert, Wesley, et al.
Published: (2023)

Generalized Borel Sets
by: Agostini, Claudio, et al.
Published: (2025)

A Note About Models of Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)