Infinitary Methods in Finite Model Theory

DOI10.1515/9781614516873.305zbMath1429.03132OpenAlexW999499221MaRDI QIDQ5213574

Henry Towsner, Steven Lindell, Scott Weinstein

Publication date: 3 February 2020

Published in: Logic Without Borders (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/3969325ab52d97c2f21e33c33e9070366b6c0064

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items (1)

Nonstandard methods for finite structures

This page was built for publication: Infinitary Methods in Finite Model Theory