Preservation theorems in finite model theory

DOI10.1007/3-540-60178-3_99OpenAlexW1538714536MaRDI QIDQ6064296

Eric Rosen, Scott Weinstein

Publication date: 12 December 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://repository.upenn.edu/ircs_reports/119

zbMATH Keywords

normal formwinning strategyexistential sentencefinite modelfinite case

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Upper and lower bounds for first order expressibility
• Infinitary logics and 0-1 laws
• Datalog vs first-order logic
• Infinitary logic and inductive definability over finite structures
• On datalog vs polynomial time
• Concerning measures in first order calculi
• A counterexample to a conjecture of Scott and Suppes
• Probabilities on finite models
• On Moschovakis closure ordinals
• Deux ou trois choses que je sais de L_n

This page was built for publication: Preservation theorems in finite model theory