EuDML | Browse

Educational content for abstract reduction systems concerning reduction, convertibility, normal forms, divergence and convergence, Church- Rosser property, term rewriting systems, and the idea of the Knuth-Bendix Completion Algorithm. The theory is based on [1].

Abstract $β$ -expansions and ultimately periodic representations

Michel Rigo, Wolfgang Steiner (2005)

Journal de Théorie des Nombres de Bordeaux

For abstract numeration systems built on exponential regular languages (including those coming from substitutions), we show that the set of real numbers having an ultimately periodic representation is $ℚ (β)$ if the dominating eigenvalue $β > 1$ of the automaton accepting the language is a Pisot number. Moreover, if $β$ is neither a Pisot nor a Salem number, then there exist points in $ℚ (β)$ which do not have any ultimately periodic representation.

Abzählbarkeit und Wohlordenbarkeit

Ulrich Felgner (1974)

Commentarii mathematici Helvetici

AC holds iff every compact completely regular topology can be extended to a compact Tychonoff topology

Horst Herrlich, Kyriakos Keremedis (2011)

Commentationes Mathematicae Universitatis Carolinae

We show that AC is equivalent to the assertion that every compact completely regular topology can be extended to a compact Tychonoff topology.

Accumulation functions on the ordinals

Artur Rubin, Jean Rubin (1971)

Fundamenta Mathematicae

Addendum to “A note on the MacDowell–Specker theorem”

P. Clote (1998)

Fundamenta Mathematicae

Addendum to "Hyperdefinite stochastic integration III".

Tom L. Lindström (1980)

Mathematica Scandinavica

Addendum to “On Meager Additive and Null Additive Sets in the Cantor space $2^{ω}$ and in ℝ” (Bull. Polish Acad. Sci. Math. 57 (2009), 91-99)

Tomasz Weiss (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

We prove in ZFC that there is a set $A \subseteq 2^{ω}$ and a surjective function H: A → ⟨0,1⟩ such that for every null additive set X ⊆ ⟨0,1), $H^{- 1} (X)$ is null additive in $2^{ω}$ . This settles in the affirmative a question of T. Bartoszyński.

Adding a lot of Cohen reals by adding a few. II

Moti Gitik, Mohammad Golshani (2015)

Fundamenta Mathematicae

We study pairs (V, V₁), V ⊆ V₁, of models of ZFC such that adding κ-many Cohen reals over V₁ adds λ-many Cohen reals over V for some λ > κ.

Currently displaying 461 – 480 of 5989

Previous Page 24 Next

Displaying 461 – 480 of 5989

Absence of the interpolation property in the calculi $L α$ and $L f$ .

Absolute Indiscernibles and Standard Models of ZFC

Absolute points in $β N ∖ N$

Absolutely saturated models

Abstract linear dependence.

"Abstract logics" and "Classical abstract logics" [Book]

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm

Abstract $β$ -expansions and ultimately periodic representations

Abzählbarkeit und Wohlordenbarkeit

AC holds iff every compact completely regular topology can be extended to a compact Tychonoff topology

Accumulation functions on the ordinals

Addendum to “A note on the MacDowell–Specker theorem”

Addendum to "Hyperdefinite stochastic integration III".

Addendum to “On Meager Additive and Null Additive Sets in the Cantor space $2^{ω}$ and in ℝ” (Bull. Polish Acad. Sci. Math. 57 (2009), 91-99)

Adding a lot of Cohen reals by adding a few. II

Adding a random or a Cohen real: topological consequences and the effect on Martin's axiom

Addition and correction to the paper "On stability and products", Fund. Math. 93 (1976), pp. 81-95

Addition of fuzzy quantities: Disjunction-conjunction approach

Addition of initial segments. I.

Addition of initial segments. II.

Currently displaying 461 – 480 of 5989