Quotients of decidable objects in a topos

1983 ◽  
Vol 93 (3) ◽  
pp. 409-419 ◽  
Author(s):  
Peter T. Johnstone
Keyword(s):  
Topological Group ◽  
Internal Logic ◽  
Permutation Models ◽  
Continuous Actions

In (5), Peter Freyd recently raised the question of whether every Grothendieck topos could be obtained from the topos of sets by means of the two constructions of taking sheaves on a locale and of taking continuous actions of a topological group (i.e. the topos-theoretic analogues of the set-theorists' techniques of forcing extensions and permutation models). He showed that these two constructions do suffice to within epsilon; provided we allow ourselves the freedom to take exponential varieties (4) (which do not change the internal logic of the topos) we can obtain every Grothendieck topos in this way.

ANALYSIS OF THE TEXT STRUCTURE AS A STAGE OF PRACTICE-ORIENTED LEARNING

2020 ◽  
Author(s):  
Ольга Александровна Морохова
Keyword(s):  
Text Structure ◽  
Rhetorical Structure ◽  
Internal Logic ◽  
Non Fiction ◽  
Initial Stage

В статье раскрываются задачи обучения работе с текстом в контексте формирования универсальных компетенций обучающихся. Автор статьи показывает, что обучение работе с нехудожественным текстом на начальном этапе обучения в вузе состоит в анализе его риторической структуры и выявлении внутренней логики и цели повествования. The article reveals the tasks of teaching to work with text in the context of the formation of universal competencies of students. The author of the article shows that learning to work with a non-fiction text at the initial stage of training at a university consists in analyzing its rhetorical structure and identifying the internal logic and purpose of the narrative.

scholarly journals CONTINUITY OF MEASURABLE HOMOMORPHISMS

2008 ◽  
Vol 78 (1) ◽  
pp. 171-176 ◽  
Author(s):  
JANUSZ BRZDȨK
Keyword(s):  
Topological Group ◽  
Abelian Group ◽  
Baire Property ◽  
Topological Groups ◽  
Locally Compact ◽  
Compact Topological Group ◽  
Locally Compact Topological Group

AbstractWe give some general results concerning continuity of measurable homomorphisms of topological groups. As a consequence we show that a Christensen measurable homomorphism of a Polish abelian group into a locally compact topological group is continuous. We also obtain similar results for the universally measurable homomorphisms and the homomorphisms that have the Baire property.

scholarly journals Several results on compact metrizable spaces in $$\mathbf {ZF}$$

2021 ◽  
Author(s):  
Kyriakos Keremedis ◽  
Eleftherios Tachtsis ◽  
Eliza Wajch
Keyword(s):  
Continuum Hypothesis ◽  
Compact Spaces ◽  
Power Set ◽  
Compact Metrizable Space ◽  
Permutation Models ◽  
Independence Results ◽  
The Axiom Of Choice ◽  
Metrizable Spaces ◽  
Transfer Theorems ◽  
The Continuum

AbstractIn the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $$\mathbf {ZF}$$ ZF , some are shown to be independent of $$\mathbf {ZF}$$ ZF . For independence results, distinct models of $$\mathbf {ZF}$$ ZF and permutation models of $$\mathbf {ZFA}$$ ZFA with transfer theorems of Pincus are applied. New symmetric models of $$\mathbf {ZF}$$ ZF are constructed in each of which the power set of $$\mathbb {R}$$ R is well-orderable, the Continuum Hypothesis is satisfied but a denumerable family of non-empty finite sets can fail to have a choice function, and a compact metrizable space need not be embeddable into the Tychonoff cube $$[0, 1]^{\mathbb {R}}$$ [ 0 , 1 ] R .

scholarly journals Time and Life in the Relational Universe: Prolegomena to an Integral Paradigm of Natural Philosophy

Philosophies ◽  
2018 ◽  
Vol 3 (4) ◽  
pp. 30 ◽  
Author(s):  
Abir Igamberdiev
Keyword(s):  
Probability Function ◽  
Natural Philosophy ◽  
Natural World ◽  
Spatiotemporal Structure ◽  
Internal Logic ◽  
Decision Making System ◽  
Relational Domains ◽  
Relational Order ◽  
Infinite Set ◽  
The Universe

Relational ideas for our description of the natural world can be traced to the concept of Anaxagoras on the multiplicity of basic particles, later called “homoiomeroi” by Aristotle, that constitute the Universe and have the same nature as the whole world. Leibniz viewed the Universe as an infinite set of embodied logical essences called monads, which possess inner view, compute their own programs and perform mathematical transformations of their qualities, independently of all other monads. In this paradigm, space appears as a relational order of co-existences and time as a relational order of sequences. The relational paradigm was recognized in physics as a dependence of the spatiotemporal structure and its actualization on the observer. In the foundations of mathematics, the basic logical principles are united with the basic geometrical principles that are generic to the unfolding of internal logic. These principles appear as universal topological structures (“geometric atoms”) shaping the world. The decision-making system performs internal quantum reduction which is described by external observers via the probability function. In biology, individual systems operate as separate relational domains. The wave function superposition is restricted within a single domain and does not expand outside it, which corresponds to the statement of Leibniz that “monads have no windows”.

scholarly journals Convergence of ergodic averages for many group rotations

2015 ◽  
Vol 36 (7) ◽  
pp. 2107-2120
Author(s):  
ZOLTÁN BUCZOLICH ◽  
GABRIELLA KESZTHELYI
Keyword(s):  
Topological Group ◽  
Abelian Group ◽  
Measurable Function ◽  
Dual Group ◽  
Ergodic Averages ◽  
Abelian Topological Group ◽  
Compact Abelian Topological Group ◽  
Image Position ◽  
Rotation Set ◽  
Group Rotations

Suppose that $G$ is a compact Abelian topological group, $m$ is the Haar measure on $G$ and $f:G\rightarrow \mathbb{R}$ is a measurable function. Given $(n_{k})$, a strictly monotone increasing sequence of integers, we consider the non-conventional ergodic/Birkhoff averages $$\begin{eqnarray}M_{N}^{\unicode[STIX]{x1D6FC}}f(x)=\frac{1}{N+1}\mathop{\sum }_{k=0}^{N}f(x+n_{k}\unicode[STIX]{x1D6FC}).\end{eqnarray}$$ The $f$-rotation set is $$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{f}=\{\unicode[STIX]{x1D6FC}\in G:M_{N}^{\unicode[STIX]{x1D6FC}}f(x)\text{ converges for }m\text{ almost every }x\text{ as }N\rightarrow \infty \}.\end{eqnarray}$$We prove that if $G$ is a compact locally connected Abelian group and $f:G\rightarrow \mathbb{R}$ is a measurable function then from $m(\unicode[STIX]{x1D6E4}_{f})>0$ it follows that $f\in L^{1}(G)$. A similar result is established for ordinary Birkhoff averages if $G=Z_{p}$, the group of $p$-adic integers. However, if the dual group, $\widehat{G}$, contains ‘infinitely many multiple torsion’ then such results do not hold if one considers non-conventional Birkhoff averages along ergodic sequences. What really matters in our results is the boundedness of the tail, $f(x+n_{k}\unicode[STIX]{x1D6FC})/k$, $k=1,\ldots ,$ for almost every $x$ for many $\unicode[STIX]{x1D6FC}$; hence, some of our theorems are stated by using instead of $\unicode[STIX]{x1D6E4}_{f}$ slightly larger sets, denoted by $\unicode[STIX]{x1D6E4}_{f,b}$.

Sign in / Sign up

Export Citation Format

Share Document