scientific article; zbMATH DE number 3991491

MaRDI QIDQ3753997zbMATH OpenFDO

Authors Pierluigi Minari

Publication date 1985

zbMATH Keywords

Kripke semantics

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Iterating ordinal definability
• scientific article; zbMATH DE number 5354049
• Ordinal definability and combinatorics of equivalence relations
• Ordinals and Knuth-Bendix orders
• Constructive Theory of Ordinals
• Models of set theory with definable ordinals
• Definable sets in ordered structures
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Ordinal computability
• Ordinal notations and well-orderings in bounded arithmetic

Cited in

(3)

• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• scientific article; zbMATH DE number 5270689 (Why is no real title available?)
• Ordinal definability in Jensen's model

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 Q3753997)