The Löwenheim–Skolem–Mal'tsev Theorem for \mathbbHF-Structures

DOI10.1023/B:ALLO.0000048830.64509.c7zbMath1097.03024OpenAlexW2598453064MaRDI QIDQ5476779

V. G. Puzarenko

Publication date: 18 July 2006

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:allo.0000048830.64509.c7

zbMATH Keywords

admissible setHanf numberhereditarily finite structureLöwenhein-Skolem theorem

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Basic properties of first-order languages and structures (03C07) Logic on admissible sets (03C70)

This page was built for publication: The Löwenheim–Skolem–Mal'tsev Theorem for \mathbbHF-Structures