Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Axiom of extensionality (view)

searching for Extensionality 21 found (425 total)

Markov's principle (1,370 words) [view diff] no match in snippet view article find links to article

Markov's principle (also known as the Leningrad principle), named after Andrey Markov Jr, is a conditional existence statement for which there are many

Larch Prover (1,558 words) [view diff] exact match in snippet view article find links to article

theorems about union (proved using extensionality) prove x \union {} = x instantiate y by x \union {} in extensionality qed prove x \union insert(e, y) =

Extension neglect (374 words) [view diff] exact match in snippet view article find links to article

psychology Evolutionary psychology List of cognitive biases The concept of extensionality is used throughout Kahneman and Tversky's research as synonymous of

Extensionalism (435 words) [view diff] exact match in snippet view article find links to article

empiricistic inductive methodology to the problem of semantics. The idea of extensionality is considered a form of reductionism with the way it holds that every

Homotopy type theory (4,643 words) [view diff] exact match in snippet view article find links to article

noted that the groupoid model satisfies a rule they called "universe extensionality", which is none other than the restriction to 1-types of the univalence

Rice's theorem (1,712 words) [view diff] exact match in snippet view article find links to article

= φ b {\displaystyle \varphi _{e}=\varphi _{b}} , contradicting the extensionality of P {\displaystyle P} since b ∉ P {\displaystyle b\notin P} , and conversely

Uniqueness of identity proofs (750 words) [view diff] exact match in snippet view article find links to article

the proof terms. Martin Hofmann proved that together with functional extensionality, UIP and K in fact sufficient to capture the differences between intensional

Heyting arithmetic (6,285 words) [view diff] exact match in snippet view article find links to article

Intersection, which is tightly related to the Predicative Separation schema, Extensionality, Pairing, and the Set induction schema. This theory is then already

Christoph Benzmüller (665 words) [view diff] exact match in snippet view article find links to article

under Jörg H. Siekmann [de] in 1999 on the subject of Equality and Extensionality in Higher-Order Theorem Proving, supervised by Michael Kohlhase and

Calculus of constructions (1,438 words) [view diff] exact match in snippet view article find links to article

Church encoding. However, additional problems arise from propositional extensionality and proof irrelevance. Pure type system Lambda cube System F Dependent

Michael Levin (philosopher) (1,331 words) [view diff] exact match in snippet view article

Spatial and Ontological. Nous: pages 243–267. Levin, M. E. 1976. The extensionality of causation and causal-explanatory contexts. Philosophy of Science

Gao Minglu (1,169 words) [view diff] exact match in snippet view article find links to article

Inside Out: New Chinese Art ed. (University of California Press, 1998) "Extensionality and Intentionality in a Transnational Cultural System" in Art Journal

Mieczysław Omyła (219 words) [view diff] exact match in snippet view article find links to article

(2006) Aksjomat Fregego a ekstensjonalność (English: Frege's axiom and extensionality) (2005) Biblioteka Narodowa. Bibliografia Zawartości Czasopism Mieczysław

List of Greek and Latin roots in English/T (247 words) [view diff] exact match in snippet view article find links to article

distention, entendre, entente, extend, extensible, extension, extensional, extensionality, extensive, extensivity, extensor, extent, inattention, inattentive

John Searle (6,620 words) [view diff] exact match in snippet view article find links to article

'intensionality', the referential opacity of contexts that fail tests for 'extensionality'.) For Searle, intentionality is exclusively mental, being the power

Pocket set theory (1,959 words) [view diff] exact match in snippet view article find links to article

equinumerous with one of its proper subclasses. The axioms of PST are (A1) (extensionality) — Classes that have the same elements are the same. ∀ z ( z ∈ X ↔ z

Glossary of mereology (1,823 words) [view diff] exact match in snippet view article find links to article

the parts, without regard to the nature or properties of the parts. extensionality The principle in mereology stating that two objects are identical if

Belief revision (7,935 words) [view diff] exact match in snippet view article find links to article

{\displaystyle K*P} is inconsistent only if P {\displaystyle P} is inconsistent Extensionality: If P and Q are logically equivalent, then K ∗ P = K ∗ Q {\displaystyle

List of Latin verbs with English derivatives (126 words) [view diff] exact match in snippet view article find links to article

entendre, entente, etendue, extend, extensible, extension, extensional, extensionality, extensive, extensivity, extensor, extent, inattention, inattentive

Giuseppe Longo (2,482 words) [view diff] exact match in snippet view article find links to article

narcis.nl". Hindley, R.; Longo, G. (1980). "Lambda-calculus models and extensionality". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik

List of Greek and Latin roots in English/P–Z (1,764 words) [view diff] exact match in snippet view article find links to article

distention, entendre, entente, extend, extensible, extension, extensional, extensionality, extensive, extensivity, extensor, extent, inattention, inattentive