reposiTUm: A Derived Model Theorem in an Admissible Context

Record link:

Title:

Citation:

Kruschewski, J. (2025, July 11). A Derived Model Theorem in an Admissible Context [Conference Presentation]. Logic Colloquium 2025, Wien, Austria.

Publication Type:

Presentation - Conference Presentation

Language:

English

Authors:

Organisational Unit:

E104-02 - Forschungsbereich Computational Logic

Date (published):

11-Jul-2025

Event name:

Logic Colloquium 2025

Event date:

7-Jul-2025 - 11-Jul-2025

Event place:

Wien, Austria

Keywords:

inner model theory; Kripke-Platek set theory; Axiom of Determinacy

Research Areas:

Modeling and Simulation: 50%
Fundamental Mathematics Research: 50%

Science Branch:

1020 - Informatik: 5%
1010 - Mathematik: 95%

Appears in Collections:

Show full item record

Check