A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo-Fraenkel set theory

2017 ◽  
Vol 63 (6) ◽  
pp. 544-551
Author(s):  
Vassilios Gregoriades
Keyword(s):  
Set Theory ◽  
Theoretic Characterization

A proof-theoretic characterization of the primitive recursive set functions

1992 ◽  
Vol 57 (3) ◽  
pp. 954-969 ◽  
Author(s):  
Michael Rathjen
Keyword(s):  
Set Theory ◽  
Elementary Proof ◽  
Weak Version ◽  
Definable Set ◽  
Set Functions ◽  
Theoretic Characterization ◽  
Universe Of Sets ◽  
Set Function ◽  
Primitive Recursive

AbstractLet KP− be the theory resulting from Kripke-Platek set theory by restricting Foundation to Set Foundation. Let G: V → V (V ≔ universe of sets) be a Δ0-definable set function, i.e. there is a Δ0-formula φ(x, y) such that φ(x, G(x)) is true for all sets x, and V ⊨ ∀x∃!yφ(x, y). In this paper we shall verify (by elementary proof-theoretic methods) that the collection of set functions primitive recursive in G coincides with the collection of those functions which are Σ1-definable in KP− + Σ1-Foundation + ∀x∃!yφ(x, y). Moreover, we show that this is still true if one adds Π1-Foundation or a weak version of Δ0-Dependent Choices to the latter theory.

scholarly journals A lattice-theoretic characterization of pure subgroups of Abelian groups

2021 ◽  
Author(s):  
M. Ferrara ◽  
M. Trombetti
Keyword(s):  
Abelian Group ◽  
Abelian Groups ◽  
Subgroup Lattice ◽  
General Definition ◽  
Short Paper ◽  
Theoretic Characterization ◽  
Definition Of

AbstractLet G be an abelian group. The aim of this short paper is to describe a way to identify pure subgroups H of G by looking only at how the subgroup lattice $$\mathcal {L}(H)$$ L ( H ) embeds in $$\mathcal {L}(G)$$ L ( G ) . It is worth noticing that all results are carried out in a local nilpotent context for a general definition of purity.

Information-theoretic characterization of eye-tracking signals with relation to cognitive tasks

2021 ◽  
Vol 31 (3) ◽  
pp. 033107
Author(s):  
F. R. Iaconis ◽  
A. A. Jiménez Gandica ◽  
J. A. Del Punta ◽  
C. A. Delrieux ◽  
G. Gasaneo
Keyword(s):  
Eye Tracking ◽  
Cognitive Tasks ◽  
Information Theoretic ◽  
Theoretic Characterization

A Module-theoretic Characterization of Algebraic Hypersurfaces

2018 ◽  
Vol 61 (1) ◽  
pp. 166-173
Author(s):  
Cleto B. Miranda-Neto
Keyword(s):  
Algebraic Variety ◽  
Characteristic Zero ◽  
Vector Fields ◽  
Exterior Power ◽  
Algebraic Hypersurfaces ◽  
Theoretic Characterization

AbstractIn this note we prove the following surprising characterization: if X ⊂ is an (embedded, non-empty, proper) algebraic variety deûned over a field k of characteristic zero, then X is a hypersurface if and only if the module of logarithmic vector fields of X is a reflexive -module. As a consequence of this result, we derive that if is a free -module, which is shown to be equivalent to the freeness of the t-th exterior power of for some (in fact, any) t ≤ n, then necessarily X is a Saito free divisor.

scholarly journals GALOIS THEORY OF THE CANONICAL THETA STRUCTURE

2011 ◽  
Vol 07 (01) ◽  
pp. 173-202
Author(s):  
ROBERT CARLS
Keyword(s):  
Galois Theory ◽  
Theoretical Foundation ◽  
Abelian Varieties ◽  
Geometric Mean ◽  
Null Point ◽  
Point Counting ◽  
Characteristic 2 ◽  
Theoretic Characterization ◽  
Generalized Arithmetic

In this article, we give a Galois-theoretic characterization of the canonical theta structure. The Galois property of the canonical theta structure translates into certain p-adic theta relations which are satisfied by the canonical theta null point of the canonical lift. As an application, we prove some 2-adic theta identities which describe the set of canonical theta null points of the canonical lifts of ordinary abelian varieties in characteristic 2. The latter theta relations are suitable for explicit canonical lifting. Using the theory of canonical theta null points, we are able to give a theoretical foundation to Mestre's point counting algorithm which is based on the computation of the generalized arithmetic geometric mean sequence.

Sign in / Sign up

Export Citation Format

Share Document