Reference ellipsoid - Revision history

en>Sleske: Reverted good faith edits by 41.203.69.37 (talk): Remove paragraph on eccentricity. Only applys to conic sections, not to ellipsoids. (TW)

2015-01-06T10:02:59Z

Reverted good faith edits by 41.203.69.37 (talk): Remove paragraph on eccentricity. Only applys to conic sections, not to ellipsoids. (TW)

← Older revision		Revision as of 12:02, 6 January 2015
Line 1:		Line 1:
	~~In [[mathematical logic]], a '''cotolerant sequence''~~' ~~is a sequence~~		The author's name is Ming Frerichs. Managing people has been my profession for for years. Badge collecting precisely what I do every weeks time. For a while he's been in South Dakota. If you want to gather more check out my website: http://euroseonet.hol.es/

	~~:<math>T_1, \ldots, T_n</math>~~

	~~of [[formal theory\|formal theories]] such that there are [[consistent extension]]~~s ~~<math>S_1, \ldots, S_n</math> of these theories with each <math>S_{i+1}</math>~~ is ~~[[cointerpretability\|cointerpretable]] in <math>S_i</math>~~. ~~Cotolerance naturally generalizes from sequences of theories to trees of theories.~~

	~~This concept, together with its dual concept of [[tolerance (in logic)\|tolerance]], was introduced by [http://www.csc.villanova.edu/~japaridz/ Japaridze] in 1992, who also proved that,~~ for ~~[[Peano arithmetic]] and any stronger theories with effective axiomatizations, tolerance is equivalent to <math>\Sigma_1</math>-consistency~~.

	~~== See also ==~~
	*[[Interpretability]]
	*[[Cointerpretability]]
	*[[Interpretability logic]]

	~~==References==~~
	* [http://www.~~csc.villanova.edu/~japaridz/ G.Japaridze], ''The logic of linear tolerance'~~'. ~~Studia Logica 51 (1992), pp. 249–277.~~
	* [http://www.csc.villanova.edu/~japaridz/study.html G.Japaridze], ''A generalized notion of weak interpretability and the corresponding logic''. Annals of Pure and Applied Logic 61 (1993), pp. 113–160.
	* [http://~~www~~.~~csc~~.~~villanova.edu~~/~~~japaridz/study.html G.Japaridze] and D. de Jongh, ''The logic of provability''. '''Handbook of Proof Theory'''. S.Buss, ed. Elsevier, 1998, pp. 476–546.~~

	~~[[Category:Logic]]~~


	~~{{logic-stub}}~~

en>Fgnievinski: /* Coordinates */

2013-12-25T14:26:43Z

Coordinates

← Older revision		Revision as of 16:26, 25 December 2013
Line 1:		Line 1:
			In [[mathematical logic]], a '''cotolerant sequence''' is a sequence

			:<math>T_1, \ldots, T_n</math>

	~~Roberto is the name We all love to be called with though I commonly do not really like being named like~~ that~~. My very good say it'~~s ~~not incredibly good for me but so what on earth I love doing can be to bake but I'm so thinking on starting something totally new. South Carolina is where personal home~~ is. ~~Software developing is how As well as support my family~~. ~~You can acquire my website here:~~ http://~~prometeu~~.~~net~~<br><br>[http://~~Www~~.~~Adobe~~.~~com~~/~~cfusion~~/~~search~~/~~index~~.~~cfm?term=~~&~~Feel+free&loc=en_us&siteSection=home Feel free] to visit my weblog -~~ [http://~~prometeu~~.~~net clash~~ of ~~clans unlimited gems hack~~]		of [[formal theory\|formal theories]] such that there are [[consistent extension]]s <math>S_1, \ldots, S_n</math> of these theories with each <math>S_{i+1}</math> is [[cointerpretability\|cointerpretable]] in <math>S_i</math>. Cotolerance naturally generalizes from sequences of theories to trees of theories.

			This concept, together with its dual concept of [[tolerance (in logic)\|tolerance]], was introduced by [http://www.csc.villanova.edu/~japaridz/ Japaridze] in 1992, who also proved that, for [[Peano arithmetic]] and any stronger theories with effective axiomatizations, tolerance is equivalent to <math>\Sigma_1</math>-consistency.

			== See also ==
			*[[Interpretability]]
			*[[Cointerpretability]]
			*[[Interpretability logic]]

			==References==
			* [http://www.csc.villanova.edu/~japaridz/ G.Japaridze], ''The logic of linear tolerance''. Studia Logica 51 (1992), pp. 249–277.
			* [http://www.csc.villanova.edu/~japaridz/study.html G.Japaridze], ''A generalized notion of weak interpretability and the corresponding logic''. Annals of Pure and Applied Logic 61 (1993), pp. 113–160.
			* [http://www.csc.villanova.edu/~japaridz/study.html G.Japaridze] and D. de Jongh, ''The logic of provability''. '''Handbook of Proof Theory'''. S.Buss, ed. Elsevier, 1998, pp. 476–546.

			[[Category:Logic]]


			{{logic-stub}}

en>ZéroBot: r2.7.1) (Robot: Adding es:Elipsoide de referencia

2012-06-25T20:58:54Z

r2.7.1) (Robot: Adding es:Elipsoide de referencia

New page

Roberto is the name We all love to be called with though I commonly do not really like being named like that. My very good say it's not incredibly good for me but so what on earth I love doing can be to bake but I'm so thinking on starting something totally new. South Carolina is where personal home is. Software developing is how As well as support my family. You can acquire my website here: http://prometeu.net<br><br>[http://Www.Adobe.com/cfusion/search/index.cfm?term=&Feel+free&loc=en_us&siteSection=home Feel free] to visit my weblog - [http://prometeu.net clash of clans unlimited gems hack]