rzach's foundations [9 articles] Export

Recent papers added to rzach's library classified by the tag foundations. You can also see everyone's foundations.

	An ordinal analysis of stability [My Copy] Archive for Mathematical Logic, Vol. 44, No. 1. (January 2005), pp. 1-62. by Michael Rathjen posted to foundations proof_theory by rzach on 2005-06-09 17:59:20 as along with 1 person and 1 group htowsner LogicPhilMath
	An ordinal analysis of parameter free Î <sup>1</sup><sub>2</sub>-comprehension [My Copy] Archive for Mathematical Logic, Vol. 44, No. 3. (April 2005), pp. 263-362. by Michael Rathjen posted to foundations proof_theory by rzach on 2005-06-09 17:57:06 as along with 1 person and 1 group htowsner LogicPhilMath
	Categories in Context: Historical, Foundational, and Philosophical [My Copy] Philosophia Mathematica (III), Vol. 13, No. 1. (2005), pp. 1-43. by Elaine Landry, Jean-Pierre Marquis posted to category_theory foundations philosophy_of_mathematics by rzach on 2005-03-16 18:11:08 as along with 1 person and 1 group greg_restall LogicPhilMath
	Tarski's System of Geometry [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 2. (1999), pp. 175-214. by Alfred Tarski, Steven Givant posted to foundations geometry history history_of_logic logic mathematics tarski by rzach on 2005-03-16 18:09:28 as along with 2 people and 3 groups shankar A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Hilbert's Programs: 1917-1922 [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 1. (1999), pp. 1-44. by Wilfried Sieg posted to finitism foundations hilbert history history_of_logic logic russell by rzach on 2005-03-16 18:08:48 as along with 1 person and 1 group noam_zeilberger LogicPhilMath
	Between Russell and Hilbert: Behmann on the Foundations of Mathematics [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 303-330. by Paolo Mancosu posted to behmann foundations hilbert history_of_logic philosophy_of_mathematics principia_mathematica russell by rzach on 2005-03-16 18:07:20 as along with 1 group LogicPhilMath
	Does Mathematics Need New Axioms? [My Copy] The Bulletin of Symbolic Logic, Vol. 6, No. 4. (2000), pp. 401-446. by Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel posted to foundations philosophy_of_mathematics set_theory by rzach on 2005-03-16 18:05:04 as along with 2 people and 3 groups A_Olympia Ed Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	The Mathematical Development of Set Theory from Cantor to Cohen [My Copy] The Bulletin of Symbolic Logic, Vol. 2, No. 1. (1996), pp. 1-71. by Akihiro Kanamori posted to foundations history_of_logic set_theory by rzach on 2005-03-14 17:38:18 as along with 6 people and 3 groups A_Olympia recordmymind aeagle ds Scis0000002 ansobol Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs [My Copy] History and Philosophy of Logic, Vol. 25 (2004), pp. 79-94. by Richard Zach posted to epsilon foundations hilbert history history_of_logic mathematics philosophy_of_mathematics proof_theory by rzach on 2005-03-14 15:37:52 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath

Note: You may cite this page as: http://www.citeulike.org/user/rzach/tag/foundations

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

proof_theory	28
philosophy_of_mathematics	24
history_of_logic	22
epsilon	16
logic	14
sequent_calculus	10
foundations	9
four_color_theorem	9
godel	9
hilbert	9
arithmetic	4
history	4
russell	4
tarski	4
vagueness	4
church	3
frege	3
fuzzy_logic	3
godel_logic	3
hilberts_program	3
philosophy_of_logic	3
behmann	2
bernays	2
category_theory	2
field	2
finitism	2
hypersequents	2
intuitionistic_logic	2
kreisel	2
lambda_calculus	2
lisp	2
lukasiewicz_logic	2
many-valued_logic	2
mathematics	2
natural_deduction	2
principia_mathematica	2
programming_languages	2
resolution	2
set_theory	2
shoemaker	2
tableaux	2
truth	2
type_theory	2
analytic_philosophy	1
benacerraf	1
bibtex-import	1
bolzano	1
computer	1
computer_science	1
curry	1
disquotation	1
explanation	1
forcing	1
free_logic	1
generalization_of_proofs	1
gentzen	1
geometry	1
herbrand	1
hsitor_of_logic	1
indexicals	1
kant	1
kleene	1
konig	1
logicism	1
logic_teaching	1
lucas	1
mechanism	1
modal_logic	1
nominalism	1
normalization	1
paradox	1
peer_review	1
post	1
progressions	1
ramsey	1
reflection	1
reverse_mathematics	1
sorites	1
supervaluationism	1
temporal_logic	1
types	1

rzach's foundations [9 articles] Export

rzach's tags