Imagen de Portada

Certified $Σ_1$-sentences

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kurahashi, Taishi, Visser, Albert
Formato:	Preprint
Publicado:	2023
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Doubly partially conservative sentences
por: Kogure, Haruka, et al.
Publicado: (2025)

A variety of partially conservative sentences
por: Kogure, Haruka, et al.
Publicado: (2024)

Extensional Independence
por: Kurahashi, Taishi, et al.
Publicado: (2025)

Pour-El's Landscape
por: Kurahashi, Taishi, et al.
Publicado: (2023)

Refinements of provability and consistency principles for the second incompleteness theorem
por: Kurahashi, Taishi
Publicado: (2025)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
por: Kurahashi, Taishi
Publicado: (2024)

The finite frame property of some extensions of the pure logic of necessitation
por: Kurahashi, Taishi, et al.
Publicado: (2023)

Modal logical aspects of provability predicates and consistency statements
por: Kogure, Haruka, et al.
Publicado: (2025)

Finite Kripke models and provability interpretations in quantified modal logic
por: Kogure, Haruka, et al.
Publicado: (2026)

On collection schemes and Gaifman's splitting theorem
por: Kurahashi, Taishi, et al.
Publicado: (2024)

Smullyan's truth and provability
por: Kurahashi, Taishi, et al.
Publicado: (2024)

Visser frames for sublogics of $\mathbf{IL}$
por: Okawa, Yuya, et al.
Publicado: (2022)

Hierarchical formula classes with respect to semi-classical prenex normalization
por: Fujiwara, Makoto, et al.
Publicado: (2025)

Frege on the reference of sentences
por: Rodrigues, Abilio
Publicado: (2024)

On the computability of optimal Scott sentences
por: Alvir, Rachael, et al.
Publicado: (2025)

Cut-free sequent calculi for the provability logic D
por: Kashima, Ryo, et al.
Publicado: (2023)

On $Σ_1$-Definable Closed Unbounded Sets
por: Ben-Neria, Omer, et al.
Publicado: (2023)

On a Question of Hamkins'
por: Visser, Albert
Publicado: (2025)

Feferman Interpretability
por: Joosten, Joost J., et al.
Publicado: (2024)

Incompleteness of boundedly axiomatizable theories
por: Enayat, Ali, et al.
Publicado: (2023)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
por: Hoffelner, Stefan
Publicado: (2024)

$Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
por: Boney, Will
Publicado: (2024)

On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
por: Goldberg, Gabriel, et al.
Publicado: (2025)

Lewis and Brouwer meet Strong Löb
por: Visser, Albert, et al.
Publicado: (2024)

Scott-Karp analysis without sentences
por: Brunner, Andreas, et al.
Publicado: (2026)

From Numbers to Container Strings
por: Visser, Albert
Publicado: (2024)

On a Theorem by Bezboruah & Shepherdson
por: Visser, Albert
Publicado: (2026)

First-order sentences in random groups I: universal sentences
por: Kharlampovich, O., et al.
Publicado: (2021)

On some $Σ^{B}_{0}$-formulae generalizing counting principles over $V^{0}$
por: Ken, Eitetsu
Publicado: (2022)

Positionality in $Σ_0^2$ and a completeness result
por: Ohlmann, Pierre, et al.
Publicado: (2023)

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
por: Hoffelner, Stefan
Publicado: (2025)

Power $Σ_1$ in Card with two Woodin cardinals
por: Schlutzenberg, Farmer
Publicado: (2025)

When Bi-interpretability implies Synonymy
por: Friedman, Harvey M., et al.
Publicado: (2025)

Computable Scott sentences and the weak Whitehead problem for finitely presented groups
por: Paolini, Gianluca
Publicado: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
por: Enayat, Ali, et al.
Publicado: (2025)

Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
por: Hoffelner, Stefan
Publicado: (2026)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
por: Hoffelner, Stefan
Publicado: (2026)

$Σ^1_3$ sets in the Sacks model
por: Schilhan, Jonathan
Publicado: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
por: Liu, Yong, et al.
Publicado: (2026)

Program Synthesis is $Σ_3^0$-Complete
por: Kim, Jinwoo
Publicado: (2024)