Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2204.11284 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
by: Bahrami, Saeideh
Published: (2026)
by: Bahrami, Saeideh
Published: (2026)
Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)
by: Das, Anupam, et al.
Published: (2025)
On Presburger arithmetic extended with non-unary counting quantifiers
by: Habermehl, Peter, et al.
Published: (2022)
by: Habermehl, Peter, et al.
Published: (2022)
An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)
by: Hetzl, Stefan, et al.
Published: (2025)
On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)
by: Kunik, Matthias
Published: (2024)
Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)
by: Das, Anupam, et al.
Published: (2026)
Weight, net weight, and elementary submodels
by: Dow, Alan, et al.
Published: (2025)
by: Dow, Alan, et al.
Published: (2025)
Pathwise-random trees and models of second-order arithmetic
by: Barmpalias, George, et al.
Published: (2021)
by: Barmpalias, George, et al.
Published: (2021)
On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)
by: Ken, Eitetsu, et al.
Published: (2023)
Relative fixed points of functors
by: Schoen, Ezra, et al.
Published: (2023)
by: Schoen, Ezra, et al.
Published: (2023)
Computational expressivity of (circular) proofs with fixed points
by: Curzi, Gianluca, et al.
Published: (2023)
by: Curzi, Gianluca, et al.
Published: (2023)
More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)
by: Poliakov, Nikolai L., et al.
Published: (2026)
Axiomatization of Büchi arithmetic
by: Kovalyov, Konstantin
Published: (2024)
by: Kovalyov, Konstantin
Published: (2024)
Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
by: Rybakov, M., et al.
Published: (2025)
by: Rybakov, M., et al.
Published: (2025)
Tarski's least fixed point theorem: A predicative type theoretic formulation
by: Ray, Ian
Published: (2024)
by: Ray, Ian
Published: (2024)
Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)
by: Kamiński, Łukasz
Published: (2025)
Graphings of arithmetical equivalence relations
by: Arant, Tyler
Published: (2025)
by: Arant, Tyler
Published: (2025)
Expansions of real closed fields with the Banach fixed point property
by: Athipat Thamrongthanyalak
Published: (2024)
by: Athipat Thamrongthanyalak
Published: (2024)
Iterating reflection over intuitionistic arithmetic
by: Frittaion, Emanuele
Published: (2024)
by: Frittaion, Emanuele
Published: (2024)
Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)
by: Harrison-Trainor, Matthew
Published: (2025)
An efficient quantifier elimination procedure for Presburger arithmetic
by: Haase, Christoph, et al.
Published: (2024)
by: Haase, Christoph, et al.
Published: (2024)
Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)
by: Hori, Hiromasa, et al.
Published: (2023)
Substructural fixed-point theorems and the diagonal argument: theme and variations
by: Roberts, David Michael
Published: (2021)
by: Roberts, David Michael
Published: (2021)
Analysis of logics with arithmetic
by: Benedikt, Michael, et al.
Published: (2025)
by: Benedikt, Michael, et al.
Published: (2025)
Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)
by: Hamkins, Joel David
Published: (2022)
The pcf theory of non fixed points
by: Matet, Pierre
Published: (2023)
by: Matet, Pierre
Published: (2023)
The modal logic of arithmetic potentialism and the universal algorithm
by: Hamkins, Joel David
Published: (2018)
by: Hamkins, Joel David
Published: (2018)
Searching problems above arithmetical transfinite recursion
by: Suzuki, Yudai, et al.
Published: (2023)
by: Suzuki, Yudai, et al.
Published: (2023)
A non-sequential arithmetical theory with pairing
by: Murwanashyaka, Juvenal
Published: (2025)
by: Murwanashyaka, Juvenal
Published: (2025)
Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)
by: Shimomichi, Sho, et al.
Published: (2025)
On the representation of C-recursive integer sequences by arithmetic terms
by: Prunescu, Mihai, et al.
Published: (2024)
by: Prunescu, Mihai, et al.
Published: (2024)
Higher arithmetic on the ordinals
by: Ducourtial, Adrian
Published: (2025)
by: Ducourtial, Adrian
Published: (2025)
A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
by: Bauer, Esaïe, et al.
Published: (2025)
by: Bauer, Esaïe, et al.
Published: (2025)
Y is a least fixed point combinator
by: Helfer, Joseph
Published: (2025)
by: Helfer, Joseph
Published: (2025)
On models of affine arithmetic
by: Bagheri, Seyed-Mohammad
Published: (2025)
by: Bagheri, Seyed-Mohammad
Published: (2025)
Higher-order generalizations of stability and arithmetic regularity
by: Terry, C., et al.
Published: (2021)
by: Terry, C., et al.
Published: (2021)
Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)
by: Kaneko, Yuzuki, et al.
Published: (2026)
The uniqueness of elementary embeddings
by: Goldberg, Gabriel
Published: (2021)
by: Goldberg, Gabriel
Published: (2021)
The complexity of Presburger arithmetic with power or powers
by: Benedikt, Michael, et al.
Published: (2023)
by: Benedikt, Michael, et al.
Published: (2023)
Stabilizers and NIP arithmetic regularity
by: Conant, G., et al.
Published: (2025)
by: Conant, G., et al.
Published: (2025)