Finite and infinite model theory - a historical perspective

DOI10.1093/jigpal/8.5.605zbMath0972.03033OpenAlexW1987693060MaRDI QIDQ4511540

John T. Baldwin

Publication date: 30 October 2000

Published in: Logic Journal of IGPL (Search for Journal in Brave)

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

zbMATH Keywords

finite model theoryfinite variable logicsinfinite model theory

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45)

Related Items

A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem