scientific article; zbMATH DE number 3991491

zbMATH Open0613.03021MaRDI QIDQ3753997FDOQ3753997

Authors: Pierluigi Minari 

Publication date: 1985

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

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

zbMATH Keywords

Kripke semantics

Mathematics Subject Classification ID

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

Cited In (3)

• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• Title not available (Why is that?)
• 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)