A finitary analogue of the downward Löwenheim-Skolem property

DOI10.4230/LIPICS.CSL.2017.37MaRDI QIDQ5111207zbMATH OpenFDO

Authors Abhisekh Sankaran

Publication date 26 May 2020

Full work available at URL https://arxiv.org/abs/1705.04493

zbMATH Keywords

treestree-depthcographsnested wordsfixed parameter tractable algorithmtree representationcomposition lemmadownward Löwenheim-Skolem theoremtranslation schemeslogical fractal

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Model theory of finite structures (03C13)

Recommendations

• A generalization of the Łoś-Tarski preservation theorem over classes of finite structures
• Finite Model Theory on Tame Classes of Structures
• Infinitary logic and inductive definability over finite structures
• Infinitary queries and their asymptotic probabilities. II. Properties definable in least fixed point logic
• scientific article; zbMATH DE number 6678444

This page was built for publication: A finitary analogue of the downward Löwenheim-Skolem property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111207)