scientific article; zbMATH DE number 1342208

zbMATH Open0933.03037MaRDI QIDQ4263792

H. K. Hoang

Publication date: 22 September 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

expressive powergeneralized quantifiersfinite structuresfixpoint logicchoice construct

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13)

Related Items (4)

Choice inclusive general rough semantics ⋮ A Constructive Proof of Dependent Choice, Compatible with Classical Logic ⋮ Title not available (Why is that?) ⋮ Determinate logic and the axiom of choice

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263792)