Copertina

Independence questions in a finite axiom-schematization of first-order logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Jubin, Benoit
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic 03B10, 03C30
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Tarski's Undefinability Theorem and first-order arithmetic
di: Boyce, Stephen
Pubblicazione: (2010)

The finite cohesiveness principle
di: Sun, Mengzhou
Pubblicazione: (2025)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
di: Baldwin, John T., et al.
Pubblicazione: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
di: Baldwin, John T., et al.
Pubblicazione: (2026)

Logic families
di: Andréka, H., et al.
Pubblicazione: (2023)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
di: Spadetto, Matteo
Pubblicazione: (2025)

A classical-logic view on a paraconsistent logic
di: Middelburg, C. A.
Pubblicazione: (2020)

A Reflection Principle for Potential Infinite Models of Type Theory
di: Eberl, Matthias
Pubblicazione: (2024)

Open questions about Ramsey-type statements in reverse mathematics
di: Patey, Ludovic
Pubblicazione: (2015)

Herbrand's Theorem: a short statement and a model-theoretic proof
di: Badano, Mariana
Pubblicazione: (2025)

Avoiding logical strength in real analysis
di: Freund, Anton, et al.
Pubblicazione: (2026)

Maximal order types for sequences with gap condition
di: Uftring, Patrick
Pubblicazione: (2025)

$Π^0_4$ conservation of the Ordered Variable Word theorem
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

Independence and Induction in Reverse Mathematics
di: Belanger, David, et al.
Pubblicazione: (2024)

Categoricity and non-arithmetic Fuchsian groups
di: Baldwin, John, et al.
Pubblicazione: (2026)

On the expressive power of inquisitive epistemic logic
di: Ciardelli, Ivano, et al.
Pubblicazione: (2023)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
di: Hieronymi, Philipp, et al.
Pubblicazione: (2026)

On inverse Goodstein sequences
di: Uftring, Patrick
Pubblicazione: (2023)

Herbrandized modified realizability
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
di: Olkhovikov, Grigory
Pubblicazione: (2024)

Equivalence of finite non-deterministic logical matrices is undecidable
di: Caleiro, Carlos, et al.
Pubblicazione: (2024)

The Galvin-Prikry Theorem in the Weihrauch lattice
di: Marcone, Alberto, et al.
Pubblicazione: (2024)

The amalgamation property and Urysohn structures in continuous logic
di: Gao, Su, et al.
Pubblicazione: (2023)

First-order friendliness
di: Badia, Guillermo, et al.
Pubblicazione: (2022)

Corrigendum to "Kim-independence in positive logic"
di: Dobrowolski, Jan, et al.
Pubblicazione: (2024)

A topos for extended Weihrauch degrees
di: Maschio, Samuele, et al.
Pubblicazione: (2025)

Retractors in local positive logic
di: Fanlo, Arturo Rodriguez, et al.
Pubblicazione: (2024)

Completeness in local positive logic
di: Fanlo, Arturo Rodriguez, et al.
Pubblicazione: (2024)

More conservativity for weak Kőnig's lemma
di: Freund, Anton, et al.
Pubblicazione: (2024)

There is No Composition in the Computable Reducibility Degrees
di: Mourad, Daniel
Pubblicazione: (2024)

Finite models for positive combinatorial and exponential algebra
di: Alsulami, Tumadhir, et al.
Pubblicazione: (2024)

Bounded Ramsey's theorem for triples in computability theory
di: Patey, Ludovic, et al.
Pubblicazione: (2026)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
di: Frey, Jonas
Pubblicazione: (2023)

The reverse mathematics of bounded Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
di: Abbadini, Marco, et al.
Pubblicazione: (2024)

Craig Interpolation for Subgeometric Logics
di: Di Liberti, Ivan, et al.
Pubblicazione: (2026)

Kinds of preservations for properties
di: Rajabov, Temurboy E., et al.
Pubblicazione: (2025)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
di: Olkhovikov, Grigory K., et al.
Pubblicazione: (2022)