Relations in monadic third-order logic

DOI10.1023/A:1004247419201zbMath0886.03005OpenAlexW2040290908MaRDI QIDQ1372940

Allen P. Hazen

Publication date: 4 November 1997

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

Full work available at URL: https://doi.org/10.1023/a:1004247419201

zbMATH Keywords

axiom of choicemonadic logictheory of typessymmetric relations

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25)

Related Items

Representation of functions and total antisymmetric relations in monadic third order logic

Cites Work

• Mathematics in Megethology
• Arithmetic and the theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item