:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Ivanyos, János Balázs
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2605.09728
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

The uniqueness of elementary embeddings
by: Goldberg, Gabriel
Published: (2021)

Boolean-valued second-order logic revisited
by: Ikegami, Daisuke
Published: (2025)

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

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

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

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

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

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

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

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

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

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

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

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

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

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

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

Left adjoint to precomposition in elementary doctrines
by: Guffanti, Francesca
Published: (2023)

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

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

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

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

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

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

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

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

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

Deconstructible abstract elementary classes of modules and categoricity
by: Šaroch, Jan, et al.
Published: (2023)

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

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

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

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

Algebraic structures arising from the finite condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
by: Blanc, Manon, et al.
Published: (2023)

Building models in small cardinals in local abstract elementary classes
by: Mazari-Armida, Marcos, et al.
Published: (2023)