Image de couverture de livre

On the first-order theory of the remainder

Fuente: arXiv

Enregistré dans:

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

Documents similaires

A Minimal Substitution Basis for the Kalmár Elementary Functions
par: Prunescu, Mihai, et autres
Publié: (2025)

On the relationships between some meta-mathematical properties of arithmetical theories
par: Cheng, Yong
Publié: (2023)

Contrasting the Halves of an Ahmad Pair
par: Ravishankar, Karthik
Publié: (2025)

Effective inseparability and some applications in meta-mathematics
par: Cheng, Yong
Publié: (2022)

The limitless First Incompleteness Theorem
par: Cheng, Yong
Publié: (2021)

On the categoricity of complete second order theories
par: Saarinen, Tapio, et autres
Publié: (2024)

Sequential discontinuity and first-order problems
par: Pauly, Arno, et autres
Publié: (2024)

Rational Lukasiewicz logic and DMV-algebras
par: Gerla, Brunella
Publié: (2012)

Non-trivial copies of N*
par: Dow, Alan
Publié: (2024)

Some combinatorial properties of semiselective ideals
par: Cano, Julián C., et autres
Publié: (2023)

Proof-theoretic dilator and intermediate pointclasses
par: Jeon, Hanul
Publié: (2025)

More conservativity for weak Kőnig's lemma
par: Freund, Anton, et autres
Publié: (2024)

Induction on Dilators and Bachmann-Howard Fixed Points
par: Aguilera, Juan P., et autres
Publié: (2024)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
par: Sorg, Christopher
Publié: (2026)

New definitions in the theory of Type 1 computable topological spaces
par: Rauzy, Emmanuel
Publié: (2023)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
par: Aceves-Martínez, Bruno Fernando, et autres
Publié: (2024)

Cofinal families of finite VC-dimension
par: Ben-Neria, Omer, et autres
Publié: (2025)

Regressive versions of Hindman's Theorem
par: Carlucci, Lorenzo, et autres
Publié: (2022)

On the first-order theories of quaternions and octonions
par: Savi, Enrico
Publié: (2024)

Dilators and the reverse mathematics zoo
par: Freund, Anton
Publié: (2024)

Mixed quantifier prefixes over Diophantine equations with integer variables
par: Sun, Zhi-Wei
Publié: (2021)

Algorithmic correspondence and analytic rules
par: De Domenico, Andrea, et autres
Publié: (2022)

Duality theory for categorical theories
par: Ye, Lingyuan
Publié: (2026)

An effective version of the Stone duality
par: Bazhenov, Nikolay A., et autres
Publié: (2026)

Decidability of theories of modules over tubular algebras
par: Gregory, Lorna
Publié: (2016)

Some results on the $π$-weight of countable Fréchet-Urysohn spaces
par: Dow, Alan
Publié: (2025)

A virtual five element basis for the uncountable linear orders
par: Krueger, John, et autres
Publié: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
par: Samra, Jean Abou, et autres
Publié: (2026)

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
par: Kanovei, Vladimir, et autres
Publié: (2025)

Finding descending sequences through ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2020)

The weakness of finding descending sequences in ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2024)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
par: Fukumoto, Yusei
Publié: (2025)

Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
par: Lutz, Patrick, et autres
Publié: (2023)

Minimal covers in the Weihrauch degrees
par: Lempp, Steffen, et autres
Publié: (2023)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2026)

A non-speedup result for the chain-antichain principle over a weak base theory
par: Kowalik, Katarzyna W.
Publié: (2025)

Strong reducibilities and set theory
par: Schweber, Noah
Publié: (2024)

Arithmetic closed forms count the Mersenne primes, the Fermat primes and the twin-prime pairs
par: Prunescu, Mihai
Publié: (2025)

Automatic structures and the problem of natural well-orderings
par: Beklemishev, Lev D., et autres
Publié: (2024)