A simple proof of Σ^1_3 correctness of K

Ralf Schindler

Type: Preprint

Publication Date: 2002-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.math/0201067

Similar Works

Action	Title	Year	Authors
+	A simple proof of \Sigma^1_3 correctness of K	2002	Ralf Schindler
+	Sharps and the Σ^1_3 correctness of K	2002	Ralf Schindler
+	Sharps and the \Sigma^1_3 correctness of K	2002	Ralf Schindler
+	3 The Standard Axioms	2000	Penelope Maddy
+	An elementary proof of entry 3.411.5	2014
+	A note on sigma-fragmentability in C_p(K)	2011	Alireza Kamel Mirmostafaee Seyyed Alireza
+	A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation	2023	Stefan Hoffelner
+	An Axiomatization of G'3.	2006	Mauricio Osorio José R. Arrazola Ramírez José Luis Carballido Oscar Estrada
+	Mekler's construction preserves CM-triviality	2002	Andreas Baudisch
+	The Consistency of the $\bf{Σ^1_3}$-Separation Property	2019	Stefan Hoffelner
+	K1-theory and the congruence problem	1969	L. N. Vasershtein
+	A formal proof of the irrationality of ζ(3)	2021	Assia Mahboubi Thomas Sibut-Pinote
+	$\omega $-satisfiability, $\omega $-consistency property, and the downward Lowenheim Skolem theorem for $L_{k,k}$	1982	R Ferro
+	The Bachmann-Howard Structure in Terms of Σ1-Elementarity	2006	Gunnar Wilken
+	Chapter 6: An inductive definition of $K$	1996	John R. Steel
+	The truth in N and the validity in <i>K(F)</i>	2010	Jan Krajı́ček
+	An elementary proof of Strauss conjecture	2014	N. Lai Yi Zhou
+	An Elementary Proof of the ABC Conjecture	2018	Abdelmajid Ben Hadj Salem
+	Chapter 1: The construction of $K^c$	1996	John R. Steel
+	The Proof of the Lonely Runner Conjecture	2017	Kurmet Sultan

Action	Title	Year	Authors

Action	Title	Year	Authors