Imagen de Portada

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Baldwin, John T., Brîncuş, Constantin C.
Formato:	Preprint
Publicado:	2026
Materias:	Logic 03A05, 03C75, 03B10, 03B72
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
por: Coniglio, Marcelo E., et al.
Publicado: (2025)

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
por: Banerjee, Rishi, et al.
Publicado: (2024)

Ultrahomogeneity and $ω$-categoricity of monounary algebras
por: Quinn-Gregson, Thomas
Publicado: (2026)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
por: Citkin, Alex, et al.
Publicado: (2025)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
por: Lin, Deren, et al.
Publicado: (2022)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
por: Inoué, Takao, et al.
Publicado: (2024)

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

Zilber's notion of logically perfect structure: Universal Covers
por: Baldwin, John T., et al.
Publicado: (2023)

On three-valued presentations of classical logic
por: da Ré, Bruno, et al.
Publicado: (2023)

When does $\aleph_1$-categoricity imply $ω$-stability?
por: Baldwin, John T., et al.
Publicado: (2023)

Independence questions in a finite axiom-schematization of first-order logic
por: Jubin, Benoit
Publicado: (2022)

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

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
por: Sato, Yuta
Publicado: (2025)

More on expressibility of satisfiability in submodels and extensions
por: Poliakov, Nikolai L., et al.
Publicado: (2026)

Categoricity and amalgamation for AEC and $ κ$ measurable
por: Kolman, Oren, et al.
Publicado: (1996)

Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
por: Hoffelner, Stefan
Publicado: (2026)

$ω$-consistency for Different Arrays of Quantifiers
por: Santos, Paulo Guilherme
Publicado: (2024)

Connexive implications in Substructural Logics
por: Fazio, Davide, et al.
Publicado: (2022)

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
por: Lietz, Andreas
Publicado: (2024)

The most natural paradefinite logic relative to classical logic
por: Middelburg, C. A.
Publicado: (2026)

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

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
por: Lyon, Tim S.
Publicado: (2025)

Modern Definition and Ancient Definition
por: Protin, Clarence
Publicado: (2022)

Aristotle's Second-Order Logic and Natural Deduction
por: Protin, Clarence
Publicado: (2023)

Logic families
por: Andréka, H., et al.
Publicado: (2023)

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

The Coase Theorem and Ideal Exchanges
por: Lü, Daniel
Publicado: (2025)

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

Algebraizable Weak Logics
por: Nakov, Georgi, et al.
Publicado: (2022)

Model theory of class-sized logics
por: Osinski, Jonathan, et al.
Publicado: (2026)

Maximal order types for sequences with gap condition
por: Uftring, Patrick
Publicado: (2025)

On ends of degree $ω_1$
por: Aurichi, Leandro, et al.
Publicado: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
por: Stanković, Marko, et al.
Publicado: (2025)

Varsovian models $ω$
por: Schlutzenberg, Farmer
Publicado: (2022)

Counting Sets with Surnatural Numbers
por: Lynch, Peter, et al.
Publicado: (2023)

Strict potentialism in modal mirrors
por: Linnebo, Øystein
Publicado: (2026)

Adding an Implication to Logics of Perfect Paradefinite Algebras
por: Greati, Vitor, et al.
Publicado: (2023)

An Iteration Theorem for $ω_1$-preserving Forcings
por: Lietz, Andreas
Publicado: (2024)

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