Search results for "Lindenbaum"

showing 3 items of 3 documents

Forcing for First-Order Languages from the Perspective of Rasiowa–Sikorski Lemma

2017

The paper is concerned with the problem of building models for first-order languages from the perspective of the classic paper of Rasiowa and Sikorski [9]. The central idea, developed in this paper, consists in constructing first-order models from individual variables. The key notion of a Rasiowa–Sikorski set of formulas for an arbitrary countable language L is examined. Each Rasiowa–Sikorski set defines a countable model for L . Conversely, every countable model for L is determined by a Rasiowa–Sikorski set. The focus is on constructing Rasiowa–Sikorski sets by applying forcing techniques restricted to Boolean algebras arising from the subsets of the set of atomic formulas of L .

Algebra and Number TheoryForcing (recursion theory)Lindenbaum setUltrafilterFirst orderBoolean algebraTheoretical Computer ScienceFirst-order logicBoolean algebraRasiowa–Sikorski setAlgebrasymbols.namesakePerspective (geometry)substitutional semanticsComputational Theory and MathematicsforcingRasiowa–Sikorski lemmasymbolsultrafilterInformation SystemsMathematicsfirst-order logicFundamenta Informaticae
researchProduct

On the History of Differentiable Manifolds

2012

International audience; We discuss central aspects of history of the concept of an affine dif-ferentiable manifold, as a proposal confirming the need for using some quantitative methods (drawn from elementary Model Theory) in Mathematical Historiography. In particular, we prove that this geometric structure is a syntactic rigid designator in the sense of Kripke-Putnam.

implicit functionWhitney's theoremprinciple of virtual worksMathematics::History and Overviewrigiddifferentiable manifold implicit function semantics Lindenbaum-Tarski algebraLindenbaum-Tarski algebra[MATH.MATH-LO]Mathematics [math]/Logic [math.LO][MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG][MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO][MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO][MATH.MATH-LO] Mathematics [math]/Logic [math.LO][MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]semanticssyntaxdesignatordifferentiable manifold
researchProduct

Bilderboken som skildrare av barns världar : motiv, genus och bilder i Pija Lindenbaums bilderböcker

2012

Tutkielmani tarkoituksena oli selvittää millaisia teemoja (aiheita) ruotsalaiset lasten kuvakirjat sisältävät, ohjaako sukupuoli kirjojen henkilöiden käyttäytymistä ja millainen suhde kuvilla ja tekstillä on kirjoissa. Olen tutkielmassani yrittänyt vastata kysymyksiin: Mitä teemoja kirjoissa käsitellään? Miten tyttöjä ja poikia kuvaillaan? Käyttäytyvätkö tytöt ja pojat (ja miehet/naiset) sukupuolensa asettamien stereotyyppisten odotusten mukaisesti? Millainen suhde kuvalla ja tekstillä on? Tutkin näitä ominaisuuksia tekemässäni laadullisessa kirjallisuusanalyysissa kolmen Pija Lindenbaumin kuvakirjan (Gittan och gråvargarna, 2000, Gittan gömmer bort sej, 2011 ja Kenta och barbisarna, 2007) …

kirjallisuusanalyysilastenkirjallisuussukupuoliroolitkuvakirjatmotiivitLindenbaumsukupuoli
researchProduct