The following pages link to Peter Koepke (Q375822):
Displaying 50 items.
- Violating the singular cardinals hypothesis without large cardinals (Q375823) (← links)
- On the elimination of Malitz quantifiers over Archimedian real closed fields (Q584248) (← links)
- (Q639677) (redirect page) (← links)
- Global square and mutual stationarity at the \(\aleph_n\) (Q639679) (← links)
- On the consistency strength of ''accessible'' Jonsson cardinals and of the weak Chang conjecture (Q761448) (← links)
- Register computations on ordinals (Q944224) (← links)
- Making all cardinals almost Ramsey (Q953283) (← links)
- Ordinal machines and admissible recursion theory (Q1032634) (← links)
- Some applications of short core models (Q1099171) (← links)
- On the free subset property at singular cardinals (Q1114681) (← links)
- The category of inner models (Q1868169) (← links)
- Characterizations of ITBM-computability. I (Q2026737) (← links)
- Characterizations of ITBM-computability. II (Q2041591) (← links)
- The Isabelle/Naproche natural language proof assistant (Q2055899) (← links)
- Beautiful formalizations in Isabelle/Naproche (Q2128789) (← links)
- Interpreting mathematical texts in Naproche-SAD (Q2219411) (← links)
- The basic theory of infinite time register machines (Q2267751) (← links)
- The computational power of infinite time Blum-Shub-Smale machines (Q2401544) (← links)
- Minimality considerations for ordinal computers modeling constructibility (Q2482462) (← links)
- The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice (Q2505506) (← links)
- Homogeneously Souslin sets in small inner models (Q2580958) (← links)
- All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters (Q2813677) (← links)
- Transition of Consistency and Satisfiability under Language Extensions (Q2852156) (← links)
- The Gödel Completeness Theorem for Uncountable Languages (Q2852157) (← links)
- Towards a Theory of Infinite Time Blum-Shub-Smale Machines (Q2904435) (← links)
- The first measurable cardinal can be the first uncountable regular cardinal at any successor height (Q2933745) (← links)
- A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0 (Q3091451) (← links)
- Turing Computations On Ordinals (Q3370613) (← links)
- Ordinal computations (Q3422023) (← links)
- (Q3425068) (← links)
- Forcing a mutual stationarity property in cofinality 𝜔₁ (Q3426002) (← links)
- (Q3437623) (← links)
- An Enhanced Theory of Infinite Time Register Machines (Q3507445) (← links)
- Ordinal Computability (Q3576060) (← links)
- The consistency strength of the free-subset property for ω<sub>ω</sub> (Q3720592) (← links)
- Some Stationary Subsets of (λ) (Q3813813) (← links)
- (Q3837731) (← links)
- (Q3995709) (← links)
- Extenders, embedding normal forms, and the Martin-Steel-theorem (Q4227884) (← links)
- An Elementary Approach to the Fine Structure of <i>L</i> (Q4382501) (← links)
- Singularizing successor cardinals by forcing (Q4596006) (← links)
- (Q4732464) (← links)
- Superatomic Boolean algebras constructed from morasses (Q4858827) (← links)
- (Q4885261) (← links)
- A minimal Prikry-type forcing for singularizing a measurable cardinal (Q4916545) (← links)
- The consistency strength of choiceless failures of SCH (Q4931106) (← links)
- (Q4934560) (← links)
- Parsing and Disambiguation of Symbolic Mathematics in the Naproche System (Q5200117) (← links)
- (Q5271424) (← links)
- Hyperfine structure theory and gap 1 morasses (Q5480620) (← links)
