CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES

DOI10.1017/jsl.2019.70zbMath1480.03060arXiv1604.03851OpenAlexW2977682276WikidataQ127216568 ScholiaQ127216568MaRDI QIDQ5207556

Peter LeFanu Lumsdaine, Henrik Forssell

Publication date: 10 January 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.03851

zbMATH Keywords

constructive semanticsregular logicchoice principles

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Other constructive mathematics (03F65)

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Institution-independent model theory
• The axiom of multiple choice and models for constructive set theory
• Injectivity, Projectivity, and the Axiom of Choice
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• The Relation Reflection Scheme
• Dynamical method in algebra: Effective Nullstellensätze
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item