Advanced search×

Induced Cylindric Algebras of Choice Structures

Zoltan Molnar

Audio, Transactions of the IRE Professional Group on (2011)

One of the benefit properties implied by the extensionality axiom of Hilbert's epsilon calculus is that the calculus becomes complete with respect to the choice structures as semantics. Another implication of the axiom, discussed in the paper, is that an algebra is induced over the universe of the canonical model of a theory, which is isomorphic to a quotient algebra of the Lindenbaum--Tarski algebra of the theory. Especially, in the case of Boolean or monadic algebras, the canonical model of the theory of a sigma complete model is isomorphic to the algebra induced by the axiom of extensionality.

Version: za2963e q8zab q8zb6 q8zc0 q8zdb q8zed q8zfd q8zg8
View PDF

Similar articles you may find interesting…

  1. Expression of multiple class three semaphorins in the retina and along the path of zebrafish retinal axons.
    Davon C DC Callander, Ryan E RE Lamont, ... Sarah S McFarlane

    Dev Dyn 236(10):2918-24 (2007) PMID 17879313

    We undertook an expression screen to identify sema3s expressed in the retina and/or brain close to in-growing RGC axons, which might therefore influence retinal-tectal pathfinding. We find that sema3Aa, 3Fa, 3Ga, and 3Gb are expressed in the retina, although only sema3Fa is present during the time w...
  2. Modulation of the cell cycle contributes to the parcellation of the primate visual cortex.
    C C Dehay, P P Giroud, ... H H Kennedy

    Nature 366(6454):464-6 (1993) PMID 8247154

    We take advantage of this unique structural feature to investigate whether the extra striate cortical cells are due to increased neuron production during neurogenesis. We labelled precursors undergoing terminal cell division with 3H-thymidine and allowed them to migrate to the cortical plate. Cell c...
  3. Bilateral frontoparietal polymicrogyria (BFPP) syndrome secondary to a 16q12.1-q21 chromosome deletion involving GPR56 gene.
    Renato R Borgatti, Susan S Marelli, ... Bruno B Dallapiccola

    Clin Genet 76(6):573-6 (2009) PMID 19807741