Imagen de Portada

Definable sets in Skolem arithmetic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Kamiński, Łukasz
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

Skolemization In Intermediate Logics
por: Baaz, Matthias, et al.
Publicado: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
por: Przybocki, Benjamin, et al.
Publicado: (2024)

An Approximate Skolem Function Counter
por: Shaw, Arijit, et al.
Publicado: (2023)

Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
por: Gitman, Victoria, et al.
Publicado: (2024)

Relative to any non-arithmetic set
por: Harrison-Trainor, Matthew
Publicado: (2025)

Skolem and Positivity Completeness of Ergodic Markov Chains
por: Vahanwala, Mihir
Publicado: (2023)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
por: Akshay, S., et al.
Publicado: (2022)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
por: Gamsakhurdia, Mariami, et al.
Publicado: (2025)

The Skolem Problem in rings of positive characteristic
por: Dong, Ruiwen, et al.
Publicado: (2025)

On the Complexity of the Skolem Problem at Low Orders
por: Bacik, Piotr, et al.
Publicado: (2025)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
por: Bacik, Piotr, et al.
Publicado: (2026)

Bi-reachability in Petri nets with data
por: Kamiński, Łukasz, et al.
Publicado: (2024)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
por: Hamkins, Joel David
Publicado: (2022)

On matrix rank function over bounded arithmetics
por: Ken, Eitetsu, et al.
Publicado: (2023)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
por: Chatterjee, Krishnendu, et al.
Publicado: (2024)

On the $p$-adic Skolem Problem
por: Bacik, Piotr, et al.
Publicado: (2025)

On the Counting Complexity of the Skolem Problem
por: Jindal, Gorav, et al.
Publicado: (2024)

Axiomatization of Büchi arithmetic
por: Kovalyov, Konstantin
Publicado: (2024)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
por: Kirst, Dominik, et al.
Publicado: (2026)

Graphings of arithmetical equivalence relations
por: Arant, Tyler
Publicado: (2025)

On the downward Löwenheim-Skolem Theorem for elementary submodels
por: Kunik, Matthias
Publicado: (2024)

Iterating reflection over intuitionistic arithmetic
por: Frittaion, Emanuele
Publicado: (2024)

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
por: Beeson, Michael
Publicado: (2021)

A non-sequential arithmetical theory with pairing
por: Murwanashyaka, Juvenal
Publicado: (2025)

The modal logic of arithmetic potentialism and the universal algorithm
por: Hamkins, Joel David
Publicado: (2018)

Searching problems above arithmetical transfinite recursion
por: Suzuki, Yudai, et al.
Publicado: (2023)

An efficient quantifier elimination procedure for Presburger arithmetic
por: Haase, Christoph, et al.
Publicado: (2024)

Analysis of logics with arithmetic
por: Benedikt, Michael, et al.
Publicado: (2025)

Completeness theorems for modal logic in second-order arithmetic
por: Shimomichi, Sho, et al.
Publicado: (2025)

Pathwise-random trees and models of second-order arithmetic
por: Barmpalias, George, et al.
Publicado: (2021)

On the representation of C-recursive integer sequences by arithmetic terms
por: Prunescu, Mihai, et al.
Publicado: (2024)

Definable discrete sets with large continuum
por: Schrittesser, David
Publicado: (2016)

Naturality and Definability III
por: Asgharzadeh, Mohsen, et al.
Publicado: (2023)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
por: Kaneko, Yuzuki, et al.
Publicado: (2026)

Higher-order generalizations of stability and arithmetic regularity
por: Terry, C., et al.
Publicado: (2021)

Definability in affine continuous logic
por: Bagheri, Seyed-Mohammad
Publicado: (2024)

Many-Valued Modal Logic
por: Karniel, Amir, et al.
Publicado: (2024)

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
por: Bahrami, Saeideh
Publicado: (2022)

Models of true arithmetic are integer parts of nice real closed fields
por: Carl, Merlin
Publicado: (2013)

Higher arithmetic on the ordinals
por: Ducourtial, Adrian
Publicado: (2025)