Searching for "Extensional Realizability." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
CZF has the disjunction and numerical existence property. Available from the author’s web page www.amsta.leeds.ac.uk/Pure/staff/rathjen/preprints.html
- … extensional Kleene realizability and truth. MSC:03F50, 03F35 Keywords: Constructive set theory, realizability…
- Cited by 1 (0 self) – Add To MetaCart
-
Variations on Realizability: Realizing the Propositional Axiom of Choice
- … of functional interpretation. ffl Extensional realizability. Here one enriches the collection of truth values…
- Cited by 1 (0 self) – Add To MetaCart
-
Realizability for constructive Zermelo-Fraenkel set theory. To appear
- … of extensional realizability over V(A), i.e., e � φ for e ∈ |A| and sentences φ with parameters in V(A). Except…
- Cited by 4 (1 self) – Add To MetaCart
-
On the Computational Complexity of Longley's
- … }) = n; undefined, otherwise. Clearly, r n is #-extensional and realizes # n # [[ 3 ]] where # n…
- Add To MetaCart
-
Exact Completions and Toposes
- … paper [84] on extensional realizability, van Oosten presented the topos A. He builds the topos using…
- Cited by 10 (3 self) – Add To MetaCart
-
Why sets
- …’s consistent with the axiom of extensionality, it will be realized exactly once. It turns out…
- Cited by 1 (0 self) – Add To MetaCart
-
Towards Quantum Mathematics Part II: Manifold Notions
- … of as extensional realizations of logic (quantum logic sets) and sets as carriers of algebraic structures (quantum…
- Add To MetaCart
-
Design patterns for legal ontology construction
- … be represented in the same domain as their extensional realizations like cases, contract executions, agents…
- Add To MetaCart
Showing 1 through 8.
