Power Kripke-Platek set theory and the axiom of choice Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England, Abstract

Source URL: www1.maths.leeds.ac.uk

Fragments of Kripke–Platek Set Theory with Infinity Michael Rathjen ∗

Source URL: www1.maths.leeds.ac.uk

KRIPKE-PLATEK SET THEORY AND THE ANTI-FOUNDATION AXIOM M. RATHJEN Abstract. The paper investigates the strength of the Anti-Foundation Axiom, AFA, on the basis of Kripke-Platek set theory without Foundation. It is shown

Source URL: www1.maths.leeds.ac.uk

Relativized ordinal analysis: The case of Power Kripke-Platek set theory Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England,

Source URL: www1.maths.leeds.ac.uk

Partiality as nondeterminism Yngve Lamo Michal Walicki Abstract

Source URL: www.nik.no

• Logic
• Symbol
• Interpretation
• Structure
• Constructible universe
• Sheaf
• Function
• Sigma-algebra
• Kripke–Platek set theory
• Mathematics
• Model theory
• Mathematical logic

An extended predicative definition of the Mahlo universe Reinhard Kahle

Source URL: www.cs.swan.ac.uk

• Ordinal numbers
• Proof theory
• Ordinal analysis
• Constructible universe
• Impredicativity
• Function
• Model theory
• Zermelo–Fraenkel set theory
• Kripke–Platek set theory
• Mathematics
• Mathematical logic
• Logic

PDF Document

Source URL: www1.maths.leeds.ac.uk

• Axioms of set theory
• Ordinal numbers
• Proof theory
• Z notation
• Constructive set theory
• Axiom schema of replacement
• Ordinal analysis
• Kripke–Platek set theory
• Constructible universe
• Mathematical logic
• Mathematics
• Logic