A note on restriction rules
arXiv2312.06626MaRDI QIDQ6463083FDOQ6463083
Authors: Denis I. Saveliev 
Publication date: 11 December 2023
Models with special properties (saturated, rigid, etc.) (03C50) Proof theory in general (including proof-theoretic semantics) (03F03) Categoricity and completeness of theories (03C35) Other infinitary logic (03C75) Second- and higher-order arithmetic and fragments (03F35) Interpolation, preservation, definability (03C40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Inner models, including constructibility, ordinal definability, and core models (03E45) Second- and higher-order model theory (03C85) Logic on admissible sets (03C70)
This page was built for publication: A note on restriction rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6463083)
