sábado 18 de mayo de 2013

﻿

 Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía

## Recursos de colección

Project Euclid (Hosted at Cornell University Library) (168.545 recursos)

Journal of Symbolic Logic

Mostrando recursos 1 - 20 de 11.894

1. On skinny stationary subsets of $\mathcal {P}_\kappa \lambda$ - Matsubara, Yo; Usuba, Toschimichi
We introduce the notion of skinniness for subsets of $\mathcal{P}_\kappa \lambda$ and its variants, namely skinnier and skinniest. We show that under some cardinal arithmetical assumptions, precipitousness or $2^\lambda$-saturation of $\mathrm{NS}_{\kappa\lambda}\mid X$, where $\mathrm{NS}_{\kappa\lambda}$ denotes the non-stationary ideal over $\mathcal{P}_\kappa \lambda$, implies the existence of a skinny stationary subset of $X$. We also show that if $\lambda$ is a singular cardinal, then there is no skinnier stationary subset of $\mathcal{P}_\kappa \lambda$. Furthermore, if $\lambda$ is a strong limit singular cardinal, there is no skinny stationary subset of $\mathcal{P}_\kappa \lambda$. Combining these results, we show that if $\lambda$ is a strong limit singular cardinal, then $\mathrm{NS}_{\kappa\lambda}\mid X$ can satisfy neither precipitousness nor $2^\lambda$-saturation for every...

2. Topological dynamics and definable groups - Pillay, Anand
We give a commentary on Newelski's suggestion or conjecture [8] that topological dynamics, in the sense of Ellis [3], applied to the action of a definable group $G(M)$ on its “external type space” $S_{G,\textit{ext}}(M)$, can explain, account for, or give rise to, the quotient $G/G^{00}$, at least for suitable groups in NIP theories. We give a positive answer for measure-stable (or $fsg$) groups in NIP theories. As part of our analysis we show the existence of “externally definable” generics of $G(M)$ for measure-stable groups. We also point out that for $G$ definably amenable (in a NIP theory) $G/G^{00}$ can be recovered, via the Ellis theory, from a...

3. On the definability of radicals in supersimple groups - Milliet, Cé{d}ric
If $G$ is a group with a supersimple theory having a finite $SU$-rank, then the subgroup of $G$ generated by all of its normal nilpotent subgroups is definable and nilpotent. This answers a question asked by Elwes, Jaligot, Macpherson and Ryten. If $H$ is any group with a supersimple theory, then the subgroup of $H$ generated by all of its normal soluble subgroups is definable and soluble.

4. A quasi-order on continuous functions - Carroy, Raphaël
We define a quasi-order on Borel functions from a zero-dimensional Polish space into another that both refines the order induced by the Baire hierarchy of functions and generalises the embeddability order on Borel sets. We study the properties of this quasi-order on continuous functions, and we prove that the closed subsets of a zero-dimensional Polish space are well-quasi-ordered by bi-continuous embeddability.

5. Independence, dimension and continuity in non-forking frames - Jarden, Adi; Sitton, Alon
The notion $J$ is independent in $(M,M_0,N)$ was established by Shelah, for an AEC (abstract elementary class) which is stable in some cardinal $\lambda$ and has a non-forking relation, satisfying the good $\lambda$-frame axioms and some additional hypotheses. Shelah uses independence to define dimension. ¶ Here, we show the connection between the continuity property and dimension: if a non-forking satisfies natural conditions and the continuity property, then the dimension is well-behaved. ¶ As a corollary, we weaken the stability hypothesis and two additional hypotheses, that appear in Shelah's theorem.

6. Probabilistic algorithmic randomness - Buss, Sam; Minnes, Mia
We introduce martingales defined by probabilistic strategies, in which randomness is used to decide whether to bet. We show that different criteria for the success of computable probabilistic strategies can be used to characterize ML-randomness, computable randomness, and partial computable randomness. Our characterization of ML-randomness partially addresses a critique of Schnorr by formulating ML randomness in terms of a computable process rather than a computably enumerable function.

7. On colimits and elementary embeddings - Bagaria, Joan; Brooke-Taylor, Andrew
We give a sharper version of a theorem of Rosický, Trnková and Adámek [13], and a new proof of a theorem of Rosický [12], both about colimits in categories of structures. Unlike the original proofs, which use category-theoretic methods, we use set-theoretic arguments involving elementary embeddings given by large cardinals such as $\alpha$-strongly compact and $C^{(n)}$-extendible cardinals.

8. Models of transfinite provability logic - Fernández-Duque, David; Joosten, Joost J.
For any ordinal $\Lambda$, we can define a polymodal logic $\mathsf{GLP}_\Lambda$, with a modality $[\xi]$ for each $\xi < \Lambda$. These represent provability predicates of increasing strength. Although $\mathsf{GLP}_\Lambda$ has no Kripke models, Ignatiev showed that indeed one can construct a Kripke model of the variable-free fragment with natural number modalities, denoted $\mathsf{GLP}^0_\omega$. Later, Icard defined a topological model for $\mathsf{GLP}^0_\omega$ which is very closely related to Ignatiev's. In this paper we show how to extend these constructions for arbitrary $\Lambda$. More generally, for each $\Theta,\Lambda$ we build a Kripke model $\mathfrak I^\Theta_\Lambda$ and a topological model $\mathfrak T^\Theta_\Lambda$, and show that...

9. Unexpected imaginaries in valued fields with analytic structure - Haskell, Deirdre; Hrushovski, Ehud; Macpherson, Dugald
We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the ‘geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting.

10. Nonexistence of minimal pairs for generic computability - Igusa, Gregory
A generic computation of a subset $A$ of $\mathbb{N}$ consists of a computation that correctly computes most of the bits of $A$, and never incorrectly computes any bits of $A$, but which does not necessarily give an answer for every input. The motivation for this concept comes from group theory and complexity theory, but the purely recursion theoretic analysis proves to be interesting, and often counterintuitive. The primary result of this paper is that there are no minimal pairs for generic computability, answering a question of Jockusch and Schupp.

11. Ample thoughts - Palacín, Daniel; Wagner, Frank O.
Non-$n$-ampleness as defined by Pillay [20] and Evans [5] is preserved under analysability. Generalizing this to a more general notion of $\Sigma$-ampleness, this gives an immediate proof for all simple theories of a weakened version of the Canonical Base Property (CBP) proven by Chatzidakis [4] for types of finite SU-rank. This is then applied to the special case of groups.

12. Partial impredicativity in reverse mathematics - Towsner, Henry
In reverse mathematics, it is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on how to weaken the assumption while preserving the conclusion (other than reducing all the way to the tautology of assuming the conclusion). A main cause of this phenomenon is the proof of a $\Pi^1_2$ sentence from the theory $\mathbf{\Pi^{\textbf{1}}_{\textbf{1}}-CA_{\textbf{0}}}$. Using methods based on the functional interpretation, we introduce a family of weakenings of $\mathbf{\Pi^{\textbf{1}}_{\textbf{1}}-CA_{\textbf{0}}}$ and use them to give new upper bounds for the Nash-Williams Theorem of wqo theory and Menger's Theorem for countable graphs.

13. Borel reductions and cub games in generalised descriptive set theory - Kulikov, Vadim
It is shown that the power set of $\kappa$ ordered by the subset relation modulo various versions of the non-stationary ideal can be embedded into the partial order of Borel equivalence relations on $2^\kappa$ under Borel reducibility. Here $\kappa$ is an uncountable regular cardinal with $\kappa^{<\kappa}=\kappa$.

14. A fixed point for the jump operator on structures - Montalbán, Antonio
Assuming that $0^\#$ exists, we prove that there is a structure that can effectively interpret its own jump. In particular, we get a structure $\mathcal A$ such that $\textit{Sp}({\mathcal A}) = \{{\bf x}'\colon {\bf x}\in \textit{Sp}({\mathcal A})\},$ where $\textit{Sp}({\mathcal A})$ is the set of Turing degrees which compute a copy of $\mathcal A$. More interesting than the result itself is its unexpected complexity. We prove that higher-order arithmetic, which is the union of full $n$th-order arithmetic for all $n$, cannot prove the existence of such a structure.

15. Canonical measure assignments - Jackson, Steve; Löwe, Benedikt
We work under the assumption of the Axiom of Determinacy and associate a measure to each cardinal $\kappa < \aleph_{\varepsilon_0}$ in a recursive definition of a canonical measure assignment. We give algorithmic applications of the existence of such a canonical measure assignment (computation of cofinalities, computation of the Kleinberg sequences associated to the normal ultrafilters on all projective ordinals).

16. Decidability for some justification logics with negative introspection - Studer, Thomas
Justification logics are modal logics that include justifications for the agent's knowledge. So far, there are no decidability results available for justification logics with negative introspection. In this paper, we develop a novel model construction for such logics and show that justification logics with negative introspection are decidable for finite constant specifications.

17. Extensions of ordered theories by generic predicates - Dolich, Alfred; Miller, Chris; Steinhorn, Charles

18. Satisfaction relations for proper classes: applications in logic and set theory - Van Wesep, Robert A.
We develop the theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate ($\models^*$) appropriate to such structures. We indicate the utility of this theory as a framework for the development of the metatheory of first-order predicate logic and set theory, and we use it to prove that for any recursively enumerable extension $\Theta$ of ZF there is a finitely axiomatizable extension $\Theta'$ of GB that is a conservative extension of $\Theta$. We also prove a conservative extension result that justifies the use of $\models^*$ to characterize ground models for forcing constructions.

19. Uniform distribution and algorithmic randomness - Avigad, Jeremy
A seminal theorem due to Weyl [14] states that if $(a_n)$ is any sequence of distinct integers, then, for almost every $x \in \mathbb{R}$, the sequence $(a_n x)$ is uniformly distributed modulo one. In particular, for almost every $x$ in the unit interval, the sequence $(a_n x)$ is uniformly distributed modulo one for every computable sequence $(a_n)$ of distinct integers. Call such an $x$ UD random. Here it is shown that every Schnorr random real is UD random, but there are Kurtz random reals that are not UD random. On the other hand, Weyl's theorem still holds relative to a particular effectively closed null set, so there are...

20. Strong tree properties for small cardinals - Fontanella, Laura
An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa$. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC where for every $n\geq 2$ and $\mu\geq \aleph_n$, we have $(\aleph_n, \mu)$-ITP.