Copertina

Algebraic characterisation of pseudo-elementary and second-order classes

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Ivanyos, János Balázs
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Limit models in strictly stable abstract elementary classes
di: Will Boney, et al.
Pubblicazione: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
di: Becker, Justus, et al.
Pubblicazione: (2026)

A linear proof language for second-order intuitionistic linear logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)

Non-elementary categoricity and projective locally o-minimal classes
di: Zilber, Boris
Pubblicazione: (2022)

Boolean-valued second-order logic revisited
di: Ikegami, Daisuke
Pubblicazione: (2025)

The uniqueness of elementary embeddings
di: Goldberg, Gabriel
Pubblicazione: (2021)

The class of Krasner hyperfields is not elementary
di: Błaszkiewicz, Piotr, et al.
Pubblicazione: (2024)

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

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

On first-order transductions of classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

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

Ultrafilter extensions of bounded graphs are elementary
di: Molnár, Zalán
Pubblicazione: (2024)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
di: Alvarez, David Quinn
Pubblicazione: (2025)

Hereditary undecidability of fragments of some elementary theories
di: Karpov, Vladimir E.
Pubblicazione: (2024)

An order-theoretic circuit syntax and characterisation of the concept lattice
di: van der Lugt, Tein
Pubblicazione: (2025)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Model theory of second order logic
di: Väänänen, Jouko
Pubblicazione: (2025)

A modular bisimulation characterisation for fragments of hybrid logic
di: Badia, Guillermo, et al.
Pubblicazione: (2023)

Completions of Kleene's second model
di: Terwijn, Sebastiaan A.
Pubblicazione: (2023)

Quasitoposes as elementary quotient completions
di: Maietti, Maria Emilia, et al.
Pubblicazione: (2021)

Undecidability of the elementary theory of Young--Fibonacci lattice
di: Evtushevsky, Vsevolod
Pubblicazione: (2024)

Left adjoint to precomposition in elementary doctrines
di: Guffanti, Francesca
Pubblicazione: (2023)

New inner models from second order logics
di: Magidor, Menachem, et al.
Pubblicazione: (2025)

The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
di: Ivanova, Tatyana, et al.
Pubblicazione: (2021)

On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices
di: Rostami, Esmaeil
Pubblicazione: (2025)

Algebraic proof theory for LE-logics
di: Greco, Giuseppe, et al.
Pubblicazione: (2018)

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
di: Koberda, Thomas, et al.
Pubblicazione: (2023)

On the problem of stability of abstract elementary classes of modules
di: Paolini, Gianluca, et al.
Pubblicazione: (2025)

Revisiting second-order linear differential equations over Hardy fields
di: Aschenbrenner, Matthias, et al.
Pubblicazione: (2026)

On the Effectiveness of Partition Regularity over Algebraic Structures
di: Laboska, Gabriela
Pubblicazione: (2025)

O-minimal open core is not an elementary property
di: Gorman, Alexi Block, et al.
Pubblicazione: (2026)

Compactifications of pseudofinite and pseudo-amenable groups
di: Conant, Gabriel, et al.
Pubblicazione: (2023)

Hardness of monadic second-order formulae over succinct graphs
di: Gamard, Guilhem, et al.
Pubblicazione: (2023)

Capturing the polynomial hierarchy by second-order revised Krom logic
di: Wang, Kexu, et al.
Pubblicazione: (2022)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
di: Jana, Purbita, et al.
Pubblicazione: (2025)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
di: Leandro, Bryan González
Pubblicazione: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

Constructive characterisations of the must-preorder for asynchrony
di: Bernardi, Giovanni, et al.
Pubblicazione: (2025)

Order-invariant cluster first-order logic on graph classes of bounded degree
di: Ghasemi, Fatemeh, et al.
Pubblicazione: (2026)

Logical characterisations, rule formats and compositionality for input-output conformance simulation
di: Aceto, Luca, et al.
Pubblicazione: (2024)