Yehuda Rav

Generating author description...

All published works

Action	Title	Year	Authors
+	A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices	2007	Yehuda Rav
+	Philosophical Problems of Mathematics in the Light of Evolutionary Epistemology	2006	Yehuda Rav
+	Why Do We Prove Theorems?	1999	Yehuda Rav
+	Purkert w, ilgauds hj. Georg cantor 1845-1918. Vita mathematica, vol. I, basel, birkhauser verlag, 1987, 262 p	1991	Yehuda Rav
+	Semiprime ideals in general lattices	1989	Yehuda Rav
+	Subdirect decomposition of rings and the axiom of choice	1988	Yehuda Rav
+	Variants of R<scp>ADO'S</scp> Selection Lemma and their Applications	1977	Yehuda Rav
+	On the representation of rational numbers as a sum of a fixed number of unit fractions.	1966	Yehuda Rav

Common Coauthors

Coauthor	Papers Together

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	The Nature of Mathematical Knowledge	1985	Philip Kitcher	2
+	On the infinite	1984	David Hilbert	2
+ PDF Chat	A set-theoretical equivalent of the prime ideal theorem for Boolean algebras	1975	Johan van Benthem	1
+	Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.	1964	Carol Karp	1
+	Building models by games	1985	Wilfrid Hodges	1
+	Lectures on Elementary Number Theory	1977	Hans Rademacher	1
+	The origin of mathematics	1978	A. Seidenberg	1
+	Logical Number Theory I	1991	C. Smoryński	1
+	The Phenomenology of Mathematical Proof	1997	Gian‐Carlo Rota	1
+ PDF Chat	Some applications of the notions of forcing and generic sets	1964	Solomon Feferman	1
+	The Unreasonable Effectiveness of Mathematics in the Natural Sciences	1990	E. P. Wigner	1
+	Cultures of Proving	1999	Eric Livingston	1
+ PDF Chat	Correction to: “On a question of Tarski and a maximal theorem of Kurepa”	1972	J. D. Halpern	1
+	Fermat's Last Theorem. A Genetic Introduction to Algebraic Number Theory.	1978	Lawrence C. Washington Harold M. Edwards	1
+	A Mathematician's Apology	1942	Virginia Modesitt G. H. Hardy	1
+ PDF Chat	Subdirect unions in universal algebra	1944	Garrett Birkhoff	1
+ PDF Chat	Correction to my paper on the colouring of infinite graphs and the theorem of Kuratowski	1967	Jerzy Mycielski	1
+	Mathematical engineering and mathematical change<sup>1</sup>	1999	Jean‐Pierre Marquis	1
+	Subdirectly irreducible commutative rings	1945	Neal H. McCoy	1
+	Proof: A Many-Splendored Thing	2011	Israel Kleiner	1
+	Dialogues on Mathematics	2019	A. Rényi	1
+ PDF Chat	On a question of Tarski and a maximal theorem of Kurepa	1972	J. D. Halpern	1
+ PDF Chat	Axiom of choice and complementation	1975	Radu Diaconescu	1
+	<i>Mathematics in Western Culture</i>	1955	Morris Kline Charles Süsskind	1
+	Some remarks and problems on the colouring of infinite graphs and the theorem of Kuratowski	1964	Jan Mycielski	1
+ PDF Chat	Prime ideals and integral dependence	1946	Ismael Cohen A. Seidenberg	1
+	The Power of the Ultrafilter Theorem	1983	Bernhard Banaschewski	1
+	Variants of R<scp>ADO'S</scp> Selection Lemma and their Applications	1977	Yehuda Rav	1
+	Why Do Mathematicians Re-prove Theorems?	2006	John W Dawson	1
+	On the Effectivity of Some Field Constructions	1976	Wilfrid Hodges	1
+	Intentional Gaps In Mathematical Proofs	2003	Don Fallis	1
+ PDF Chat	On proof and progress in mathematics	1994	William P. Thurston	1
+	On rewriting the history of the foundations of mathematics at the turn of the century	1986	Alejandro Garciadiego	1
+	Lattice Aspects of Radical Ideals and Choice Principles	1985	Bernhard Banaschewski Roswitha Harting	1
+	An Embedding Theorem for Algebric Systems	1954	Bernhard Neumann	1
+	History of the Theory of Numbers	1919	L. E. Dickson	1
+ PDF Chat	What is Dialectical Philosophy of Mathematics?†	2001	Brendan Larvor	1
+ PDF Chat	The point of pointless topology	1983	Peter Johnstone	1
+	A selection lemma	1971	Richard Rado	1
+	The unreasonable effectiveness of mathematics in the natural sciences. Richard courant lecture in mathematical sciences delivered at New York University, May 11, 1959	1960	E. P. Wigner	1
+ PDF Chat	Introduction to Model Theory and to the Metamathematics of Algebra	1963	José Sanmartín Esplugues	1
+ PDF Chat	Lectures on Fermat's Last Theorem	1981	Lawrence C. Washington Paulo Ribenboim	1
+	Foundations without Foundationalism: A Case for Second-Order Logic.	1994	Gila Sher Stewart Shapiro	1
+	The World of Mathematics	1956	James R. Newman	1
+ PDF Chat	On the equivalence of three local theorem techniques	1972	Kenneth K. Hickin J. M. Plotkin	1
+ PDF Chat	Some combinatorial theorems equivalent to the prime ideal theorem	1973	Robert Cowen	1
+ PDF Chat	On theorems of Tychonoff, Alexander, and R. Rado	1967	E. S. Wolk	1
+ PDF Chat	From the Taniyama-Shimura conjecture to Fermat's last theorem	1990	Kenneth A. Ribet	1
+	First International Colloquium on the Philosophy and History of Mathematics	1986	Alejandro Garciadiego	1
+	Mathematical logic: Tool and object lesson for science	1985	G. Kreisel	1