Kripke–Platek set theory - PDFSEARCH.IO - Document Search Engine

Kripke–Platek set theory
Results: 7

#	Item
1	Power Kripke-Platek set theory and the axiom of choice Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England, Abstract Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2014-04-02 04:48:18
2	Fragments of Kripke–Platek Set Theory with Infinity Michael Rathjen ∗ Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 11:13:14
3	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 Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 12:51:42
4	Relativized ordinal analysis: The case of Power Kripke-Platek set theory Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England, Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2013-05-15 05:52:40
5	Partiality as nondeterminism Yngve Lamo Michal Walicki Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-03-09 04:39:36 Logic Symbol Interpretation Structure Constructible universe Sheaf Function Sigma-algebra Kripke–Platek set theory Mathematics Model theory Mathematical logic
6	An extended predicative definition of the Mahlo universe Reinhard Kahle Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2010-02-07 19:53:07 Ordinal numbers Proof theory Ordinal analysis Constructible universe Impredicativity Function Model theory Zermelo–Fraenkel set theory Kripke–Platek set theory Mathematics Mathematical logic Logic
7	PDF Document Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 12:56:02 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

UPDATE