Home  Mathematical_Logic  Consistency And Independence Results 
Page 1 156 of 56 1 
1. JSTOR Further Consistency And Independence Results In NF Obtained THE JOURNAL OF SYMBOLIC LOGIC Volume 48, Number 2, June 1983 FURTHER Consistency and independence results IN NF OBTAINED BY THE PERMUTATION METHOD T. E. http://links.jstor.org/sici?sici=00224812(198306)48:2<236:FCAIRI>2.0.CO;2V 
2. Further Consistency And Independence Results In NF Obtained By The Further Consistency and independence results in NF Obtained by the Permutation Method. T. E. Forster. Source J. Symbolic Logic Volume 48, Issue 2 (1983), http://projecteuclid.org/handle/euclid.jsl/1183741241  

3. Date Wed, 24 Mar 1999 111812 0700 From Randall Holmes Holmes So the practice of studying Consistency and independence results makes perfect sense from the secondorder ZFC standpoint; the only difference is one of http://math.boisestate.edu/~holmes/holmes/fomletter15.txt  

4. Hilbert's First And Second Problems And The Foundations Of Mathematics By Peter Part B, on set theory, has many Consistency and independence results, including applications to topology. The article by J.P. Burgess in Part B gives a fine http://at.yorku.ca/t/a/i/c/52.htm  

5. The Consistency Of "P = NP" And Related Problems With Fragments Of Number Theory Consistency results represent an approach to the lower bound problems of complexity 4 J. Hartmanis and J. Hopcroft, Âindependence results in Computer http://portal.acm.org/citation.cfm?id=800141.804652 
6. Interests Ever since 1977, I have been a leading researcher in the part of topology that deals with these Consistency and independence results. http://www.math.sc.edu/~nyikos/statement.html  

7. Gentzen's Consistency Proof  Wikipedia, The Free Encyclopedia In 1936 Gerhard Gentzen proved the Consistency of firstorder arithmetic using Kirby, L. and Paris, J., Accessible independence results for Peano http://en.wikipedia.org/wiki/Gentzen's_consistency_proof  

8. 03E: Set Theory However, results in mathematical logic imply it is impossible to determine 03E35 Consistency and independence results; 03E40 Other aspects of forcing http://www.math.niu.edu/~rusin/knownmath/index/03EXX.html  

9. FOM: 103:Hilbert's Program For Consistency Proofs/1 Why doesn t the usual results about Consistency proofs of a system such as . 14 Errata 4/8/98 948AM 15Structural independence results and provable http://cs.nyu.edu/pipermail/fom/2001April/004868.html  

10. Two Impossibility Results On The Converse Consistency Principle In Bargaining 1999 Abstract We present two impossibility results on the converse Consistency Pareto optimality, contraction independence, and converse Consistency. http://ideas.repec.org/p/snu/ioerwp/no24.html  

11. Project: Categorical Logic And Proof Theory: Realizability For Constructive Theo These include relative Consistency and independence results. One example of the former is to prove that the Consistency of constructive set theory implies http://www.onderzoekinformatie.nl/en/oi/nod/onderzoek/OND1297331/  

12. Graduate Courses Consistency problems. Additional reading on selected topics.TOC . Recent Consistency and independence results (Godel, Cohen).TOC http://www.math.buffalo.edu/gr_course_list.html  

13. The Journal Of Symbolic Logic, Volume 48 225235 BibTeX T. E. Forster Further Consistency and independence results in NF Obtained by the Permutation Method. 236238 BibTeX Bruno Poizat Paires http://www.informatik.unitrier.de/~ley/db/journals/jsyml/jsyml48.html  

14. Emerald: Article Request However, having regard to the range and Consistency of accuracy at the . through Consistency and independence and the achievement of results which do not http://www.emeraldinsight.com/Insight/ViewContentServlet?Filename=Published/Emer 
15. 03Exx 03E35 Consistency and independence results; 03E40 Other aspects of forcing and Booleanvalued models; 03E45 Inner models, including constructibility, http://www.ams.org/msc/03Exx.html  

16. Logic Colloquium 2006 These models provide a general tool to prove relative Consistency and independence results, analogous to the classical method of forcing. http://www.cs.ru.nl/lc2006/invited.html  

17. Piotr Koszmider's Web Page Many of these results are Consistency or independence results. For example, we have conjectures of Kaplansky 1 and of Pelczynski 2. http://www.ime.usp.br/~piotr/cv/ativpas22004e.html  

18. On The Measurements Of Board Composition: Poor Consistency And A Serious Mismatc This results in a poor fit with a chi^sup 2^ of 494.79 (65 dJ), a CFI of .48, either singly or in concert, constitute a measure of board independence? http://findarticles.com/p/articles/mi_qa3713/is_199901/ai_n8836120/pg_6  

19. Solomon A. Asch : Opinions And Social Pressure (1955) I shall report first the statistical results of a series in which a total of . If Consistency of independence or conformity in behavior is shown to be a http://www.panarchy.org/asch/social.pressure.1955.html  

20. The Mathematics Genealogy Project  Paul Szeptycki Dissertation Some Consistency and independence results On Countably Metacompact Spaces. Advisor 1 Franklin Tall Advisor 2 William Weiss. Student(s) http://genealogy.math.ndsu.nodak.edu/id.php?id=16213 
21. 03Exx set theory and its fragments 03E35 Consistency and independence results 03E40 Other aspects of forcing and Booleanvalued models 03E45 Inner models, http://www.emis.de/MSC2000/03Exx.html  

22. UH Math Department Analysis Research Group Axiomatic development, ordinal and cardinal numbers, recursion theorems, axiom of choice, continuum hypothesis, Consistency and independence results. http://www.math.hawaii.edu/home/Courses.html  

23. 03Exx 03E35, Consistency and independence results. 03E40, Other aspects of forcing and Booleanvalued models. 03E45, Inner models, including constructibility, http://www.impan.gov.pl/MSC2000/03Exx.html  

24. MU Department Of Mathematics, Statistics And Computer Science ordinal and cardinal arithmetic, the continuum hypothesis, methods of inner models and forcing for proving Consistency and independence results. http://www.mscs.mu.edu/mscs/graduate/grd_bulletin.html  

25. Mathematics  UC Santa Barbara 20072008 General Catalog results on the Algebra Diagnostic Test are substantially improved by transfinite constructible sets, Consistency and independence results of GÃ¶del http://www.catalog.ucsb.edu/2008cat/depts/math.htm  

26. LogBlog: April 2006  Richard Zach  Philosophy  University Of Calgary and b. the unsolvability statements obtained from Consistency and the like have that logical independence results are irrelevant to number theory, http://www.ucalgary.ca/~rzach/logblog/2006_04_01_archive.html  

27. Iowa State University Courses And Programs Survey of Consistency and independence results. Math 584. Category Theory. (30) Cr. 3. Alt. F., offered 1996. Prereq 302. Categories and functors and http://www.iastate.edu/~catalog/9597/math.html  

28. Mathematics infinitary logic and admissible sets, ordinary and generalized recursion theory, Consistency and independence results in set theory, large cardinals, http://pr.caltech.edu/catalog/05_06/courses/listing/ma.html  

29. Lower Extremity Function And Subsequent Disability: Consistency Across Studies, Consistency Across Studies, Predictive Models, and Value of Gait Speed Alone Disability results From the Lifestyle Interventions and independence for http://biomed.gerontologyjournals.org/cgi/content/abstract/55/4/M221?ck=nck 
30. Logic In Leeds  Postgraduate Opportunities independence results, Finitary Combinatorics and Theories of Program induction needed to prove the theory consistent, i.e. Consistency strength . http://www.maths.leeds.ac.uk/pure/logic/postgrad.html  

31. Peter Clote's Publications Two further combinatorial theorems equivalent to the 1Consistency of Peano . Antibasis theorems and their relation to independence results in Peano http://clavius.bc.edu/~clote/publications.html  

32. The FregeHilbert Controversy (Stanford Encyclopedia Of Philosophy) By presenting a rich trove of Consistency and independence demonstrations, Hilbert displays here the power of the ÂformalÂ approach to axioms, http://plato.stanford.edu/entries/fregehilbert/  

33. Brunner: A Modal Logic Of Consistency A modal logic of Consistency. Rendiconti del Seminario Matematico della of the FraenkelMostowski method for proving independence results about the http://www.numdam.org/numdambin/fitem?id=RSMUP_1995__93__143_0 
34. Springer Online Reference Works Another form of this manner of proving the independence of is to establish the . Among the results obtained concerning the Consistency of formal systems, http://eom.springer.de/a/a014300.htm  

35. To The IL Services Unit has credited ILCÂs with systems change results for We will periodically review our internal practices to ensure Consistency and http://www.vesid.nysed.gov/lsn/ilc/1103memo.html  

36. Papers In Elementary Proof Theory 19982002. \\ A Reasoned Bibliography\\ Sara As byproducts, bounds for proof search for various classes of formulas are obtained, as well as syntactic proofs of Consistency and independence. http://www.helsinki.fi/~negri/ptpub.html  

37. Perspectives In Logic  List Of Books In addition to particular Consistency results, the author shows methods which can be used for such independence results. Many of the results are presented http://www.aslonline.org/booksperspectiveslist.html  

38. The Future Of Set Theory By S.Shelah i.e. is a proof of Consistency from the Consistency of ``ZFC+ super compact a . This is in general a good justification for independence results; http://shelah.logic.at/E16/E16.html  

39. IngentaConnect New Moduli Spaces From String Background Independence Consistency New moduli spaces from string background independence Consistency conditions Our results also imply a partial antibracket cohomology theorem for the http://www.ingentaconnect.com/content/els/05503213/1996/00000480/00000003/art005  

40. Logic Seminar Abstracts Winter 2003 Arithmetic independence results using higher recursion theory application of this kind of independence proof, concerning Consistency sentences for PA. http://wwwlogic.stanford.edu/Abstracts/Seminar/Winter04.html  

41. JNNP  Sign In Page Table 1 Distribution, internal Consistency, validity, and responsiveness of the motor subscale of the functional independence measure (FIM), http://jnnp.bmj.com/cgi/content/full/73/2/188  

42. The Journal Of Nervous And Mental Disease  UserLogin Previous research has generally confirmed internal Consistency, testretest reliability, and scale independence of the ASI (Kosten et al., 1983; http://www.jonmd.com/pt/re/jnmd/fulltext.0000505319970300000005.htm;jsessionid  

43. Colloquium Logicum 2004, Abstracts We show the Consistency of the various rigidity levels (assuming Jensen s . Gina Kolata reported about celebrated independence results for first order http://www.math.uniheidelberg.de/logic/CL_2004/abstracts.html 
44. Philosophy Papers Online: Browse Papers Two manners of expressing a system s Consistency are presented the Godel Consistency Arithmetical independence results using higher recursion theory http://phonline.org/papers.php?area=PhilMath 
45. Primary Sources Its results were astounding in their day, nearly half a century ago. .. If Consistency of independence or conformity in behavior is shown to be a fact, http://www.wadsworth.com/psychology_d/templates/student_resources/0155060678_rat  

46. Media Centre: Speeches  Consistency In Decision Making Tension clearly exists between the need for Consistency and the independence of decision makers. Some would argue that the two are incompatible. http://www.irbcisr.gc.ca/en/media/speeches/2000/ccat_e.htm  

47. Tennenbaum S Theorem Nor have any of the classical numbertheoretical problems yielded to logical methods of proving independence. Only the last problem, independence results http://web.mat.bham.ac.uk/R.W.Kaye/papers/tennenbaum/tennhistory  

48. Sequencematched Probes Produce Increased Crossplatform Consistency And More Re We report here that restricting analysis to sequencematched probes produces a higher level of Consistency between results derived from alternative http://www.pubmedcentral.nih.gov/articlerender.fcgi?artid=419626 
Page 1 156 of 56 1 