Pages that link to "Item:Q1314542"
From MaRDI portal
The following pages link to Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542):
Displaying 25 items.
- Explicit mathematics: power types and overloading (Q556826) (← links)
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- The provably terminating operations of the subsystem PETJ of explicit mathematics (Q639690) (← links)
- Full operational set theory with unbounded existential quantification and power set (Q1024551) (← links)
- The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals (Q1267848) (← links)
- Formalizing non-termination of recursive programs (Q1349246) (← links)
- The \(\omega\)-consistency of elementary analysis (Q1375797) (← links)
- Theories with self-application and computational complexity. (Q1427856) (← links)
- The unfolding of non-finitist arithmetic (Q1577479) (← links)
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Totality in applicative theories (Q1896484) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Explicit mathematics with the monotone fixed point principle (Q4212918) (← links)
- Polynomial time operations in explicit mathematics (Q4358055) (← links)
- TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES (Q4692077) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Induction and inductive definitions in fragments of second order arithmetic (Q5486242) (← links)
- Some theories with positive induction of ordinal strength <i>φω</i>0 (Q5687318) (← links)
