Cargando…

Structure of decidable locally finite varieties

Detalles Bibliográficos
Autores principales:	McKenzie, Ralph, Valeriote, Matthew
Lenguaje:	eng
Publicado:	Springer 1989
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-1-4612-4552-0 http://cds.cern.ch/record/1611856

Ejemplares similares

Decidability and Boolean representations
por: Burris, Stanley, et al.
Publicado: (1981)

Structure of finite algebras
por: Hobby, David, et al.
Publicado: (1988)

Algebras, lattices, varieties
por: McKenzie, Ralph N, et al.
Publicado: (2018)

Primality testing and Abelian varieties over finite fields
por: Adleman, Leonard M, et al.
Publicado: (1992)

Lectures on complex analytic varieties: finite analytic mappings
por: Gunning, Robert C
Publicado: (1974)

Decidable theories
por: Müller, Gert H, et al.
Publicado: (1970)

Decidable theories
por: Müller, G, et al.
Publicado: (1973)

Character variety of representations of a finitely generated group in SL$_{2}$
por: Saitô, K
Publicado: (1994)

Lectures on algebraic model theory
por: Hart, Bradd, et al.
Publicado: (2001)

Local structure of finite groups of characteristic 2 type
por: Gorenstein, Daniel, et al.
Publicado: (1983)

The local structure theorem for finite groups with a large
por: Meierfrankenfeld, U, et al.
Publicado: (2016)

Decidability of logical theories and their combination
por: Rasga, João, et al.
Publicado: (2020)

NATO Advanced Study Institute on Algebraic Model Theory
por: Hart, Bradd, et al.
Publicado: (1997)

Smooth Compactifications of Locally Symmetric Varieties
por: Ash, Avner, et al.
Publicado: (2010)

Locally finite root systems
por: Loos, Ottmar, et al.
Publicado: (2004)

Proceedings of the NATO Advanced Study Institute on Finite and Locally Finite Groups
por: Hartley, B, et al.
Publicado: (1995)

Enumerability · decidability computability: an introduction to the theory of recursive functions
por: Hermes, Hans
Publicado: (1969)

Enumerability · decidability computability: an introduction to the theory of recursive functions
por: Hermes, Hans
Publicado: (1965)

Lifting abelian varieties with additional structure
por: Yu, C F
Publicado: (2000)

Real structures on compact toric varieties
por: Delaunay, C
Publicado: (2004)

The lattice of subquasivarieties of a locally finite quasivariety
por: Hyndman, Jennifer, et al.
Publicado: (2018)

Locally finite, planar, edge-transitive graphs
por: Graver, Jack E, et al.
Publicado: (1997)

Representations of Finite Groups Local Cohomology and Support
por: Benson, David J, et al.
Publicado: (2012)

Borel liftings of Borel sets: some decidable and undecidable statements
por: Debs, Gabriel, et al.
Publicado: (2007)

Finite Geometric Structures and their Applications
por: Barlotti, A
Publicado: (2011)

Maximal subgroups of non locally finite p-groups
por: Pervova, E L
Publicado: (2002)

The subgroup structure of the finite classical groups
por: Kleidman, Peter B, et al.
Publicado: (1990)

Classification of Irregular Varieties : Minimal Models and Abelian Varieties
por: Ballico, Edoardo, et al.
Publicado: (1992)

Structure theory for canonical classes of finite groups
por: Guo, Wenbin
Publicado: (2015)

Structures in dynamics: finite dimensional deterministic studies
por: Broer, HW, et al.
Publicado: (1991)

Structure of modular lattices of width four with applications to varieties of lattices
por: Freese, RS
Publicado: (1977)

Toric varieties
por: Cox, David A, et al.
Publicado: (2011)

Algebraic varieties
por: Baldassarri, Mario
Publicado: (1956)

Fano Varieties
por: Debarre, O
Publicado: (2002)

Varieties of groups
por: Neumann, Hanna
Publicado: (1967)

Varieties of lattices
por: Jipsen, Peter, et al.
Publicado: (1992)

Algebraic varieties
por: Kempf, G
Publicado: (1993)

Abelian varieties
por: Lang, Serge
Publicado: (1983)

Fluid-structure interactions: models, analysis and finite elements
por: Richter, Thomas
Publicado: (2017)

Finite element analysis of structures through unified formulation
por: Carrera, Erasmo, et al.
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_aevcgiuhicsor8bfk9s4sr0ces