Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Set Theoretical Structures of Physical Concepts: Label: en
The Liar paradox is a Real Problem: Label: en
Kazuyuki Tanaka's Work on AND-OR Trees and Subsequent Developments: Label: en
A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC: Label: en
Rudin's Lemma and Reverse Mathematics: Label: en
Bernays and the Completeness Theorem: Label: en
A Survey of Determinacy of Infinite Games in Second Order Arithmetic: Label: en
Models of the Weak König Lemma: Label: en
Special Section: Computability Theory and the Foundation of Mathematics: Label: en
Russell and the Neo-Logicists: Label: en
The Development of the Dynamic Theory of Heat in Early Nineteenth Century England: Label: en
On Arithmetical Extension Operators: Label: en
The Construction of an Implicational Normal Form: Label: en
Interpolation Theorem and Characterization Theorem: Label: en
Statistical Approach Involving Bayes' Theorem and the Estimation of the Prior Distribution: Label: en
Toward a General Mathematical Theory of Behavior: Label: en
A General Theory of Completeness Proofs: Label: en
Continuous ^|^lambda;-^|^epsilon; Logics: Label: en
A System for Strict Implication: Label: en
A Relativization of Axioms of Strong Infinity to ^|^omega;1: Label: en
A Note on Continuous Functionals: Label: en
Pascal et Wallis au Sujet de la Cyclo^|^iuml;de: Label: en
D^|^eacute;monstration de l'^|^omega;-non-contradiction de l'arithm^|^eacute;tique: Label: en
A System of Simple Type Theory with Type Variables: Label: en
Does Mathematics Need Something other than Logic?: Label: en
On ^|^alefsym;0-Complete Cardinals and ^|^Pi;11-Class of Ordinals: Label: en
^|^Uuml;ber den Relativisationssatz: Label: en
An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem: Label: en
A Pursuit of Simple Basic System: Label: en
Calculabilit^|^eacute; des Fonctionnelles R^|^eacute;cursives Primitives de Type Fini sur les Nombres Naturels: Label: en
Mathematical Knowledge : Motley and Complexity of Proof: Label: en
A Note on Constructive Ordinals: Label: en
On a Comprehension Axiom without Negation: Label: en
On the Origin of Galileo's ^|^ldquo;Nuove Scienze^|^rdquo;: Label: en
Quantum Logic in the Framework of Linear Logic: Label: en
IS-A Relation, the Principle of Comprehension and the Doctrine of Limitation of Size: Label: en
A Note on The Functions Which Are Not Polynomial Time Computable From Their Graphs: Label: en
The Simple Sentence Puzzle and Ambiguous Co-referential Names: Label: en
Abstract Design Theory: Label: en
Validity in Simple Partial Logic: Label: en
Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol: Label: en
Quantification, Games and Existence: Label: en
A Simple Nonmonotonic Logic as a Model of Belief Change: Label: en
Frege and the Idea of Formal Language: Label: en
Use and Misuse of G^|^ouml;del's Theorem: Label: en
A Dynamic Semantics for Vague Predicates: Label: en
The Pursuit of Rigor: Hilbert's axiomatic method and the objectivity of mathematics: Label: en
A Case Study on Theory Reduction and its Philosophy of Science: Label: en
Why, in 1902, wasn't Frege prepared to accept Hume's Principle as the Primitive Law for his Logicist Program?: Label: en
Quantum State Reduction and the Repeatability Hypothesis: Label: en