Results 211 to 220 of about 108,430 (261)

Kernel embeddings and the separation of measure phenomenon. [PDF]

open access: yesProc Natl Acad Sci U S A
Santoro LV, Waghmare KG, Panaretos VM.
europepmc   +1 more source

Forcing and consistency proof in General topology(General Topology and Set Theory)

open access: yesForcing and consistency proof in General topology(General Topology and Set Theory)
openaire  

Values on generalized reachability games (Proof theory and complexity)

open access: yesValues on generalized reachability games (Proof theory and complexity)
openaire  

On the Proof-theoretic Foundation of General Definition Theory

SynthÈse, 2006
A general definition theory should serve as a foundation for the mathematical study of definitional structures. The central notion of such a theory is a precise explication of the intuitively given notion of a definitional structure. The purpose of this paper is to discuss the proof theory of partial inductive definitions as a foundation for this kind ...
Lars Hallnäs
exaly   +2 more sources

Home - About - Disclaimer - Privacy