Non-isomorphism invariant Borel quantifiers

DOI10.1090/S0002-9939-2011-10849-9zbMath1250.03083MaRDI QIDQ3104470

Philipp Schlicht, Fredrik Engström

Publication date: 13 December 2011

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

Descriptive set theory (03E15) Logic with extra quantifiers and operators (03C80) Symmetric groups (20B30)

Cites Work

• Invariant sets in topology and logic
• An interpolation theorem for denumerably long formulas
• Unnamed Item
• Unnamed Item
• Unnamed Item