|
|
|
|
New Foundations
... urelements in each positive type) as our metatheory and consider the theory of set models ... all of the same type in the metatheory) with embeddings of each |
Equiconsistency
... discussing these issues of consistency strength the metatheory in which the discussion takes places needs ... is being claimed is that in the metatheory Peano Arithmetic it can be proven that ... recursive arithmetic can be adopted as the metatheory in question, but even if the metatehory ...
http://en.wikipedia.org/wiki/Equiconsistency - 5k - Cached - Similar pages
|
Laws of Form
... elegant new proofs of the following standard metatheory : Completeness: all pa consequences are demonstrable from ... Leibniz, Peirce, and Nicod is innocent of metatheory, as they wrote before Emil Post proved ...
http://en.wikipedia.org/wiki/Laws_of_Form - 60k - Cached - Similar pages
|
Wikimir:Requested articles/Social Sciences and Philosophy
... Rowlands - Marx and Engels on religion - Metaconstitution - Metatheory - Mongolian communism - Moral fallibility - N: Nadeem Hussein ...
http://en.wikipedia.org/wiki/Wikimir:Requested_articles/Social_Sciences_and_Philosophy - 143k - Cached - Similar pages
|
Integrative criminology
... or of creating mere abstraction in a metatheory where concepts are simply grouped within concepts ...
http://en.wikipedia.org/wiki/Integrative_criminology - 17k - Cached - Similar pages
|
User:Mathbot/List of mathematical redlinks (M)
... Metaprobability -- Metascience -- Metastability in nuclear decay -- Metatheorem -- Metatheory -- Metavariable -- Metayer -- Method of bounded differences -- Method ...
http://en.wikipedia.org/wiki/User:Mathbot/List_of_mathematical_redlinks_(M) - 30k - Cached - Similar pages
|
User:R.Koot/Categorisation scheme (computer science)
... based) Inference engines Logic programming Mathematical induction Metatheory * Nonmonotonic reasoning and belief revision Resolution Uncertainty ...
http://en.wikipedia.org/wiki/User:R.Koot/Categorisation_scheme_(computer_science) - 78k - Cached - Similar pages
|
User:Reflex Reaction/2004-9
... Metallography Metalmark Metanephros Metasomatic Replacement Metatarsalgia Metatexis Metatheory Metayage Methoxychlor Metretes Metrophanes Kritopoulos Metta Victoria ...
http://en.wikipedia.org/wiki/User:Reflex_Reaction/2004-9 - 41k - Cached - Similar pages
|
Two-element Boolean algebra
... in Laws of Form. A bit of metatheory De Morgan's theorem states that if ...
http://en.wikipedia.org/wiki/Two-element_Boolean_algebra - 8k - Cached - Similar pages
|
Situation calculus
... R. Reiter (1999). Some contributions to the metatheory of the Situation Calculus. Journal of the ...
http://en.wikipedia.org/wiki/Situation_calculus - 33k - Cached - Similar pages
|
| Page:1 2 3 Next >> |
