Finite axiomatizability for profinite groups

Proceedings of the London Mathematical Society ◽

10.1112/plms.12420 ◽

2021 ◽

Author(s):

Andre Nies ◽

Dan Segal ◽

Katrin Tent

Keyword(s):

Profinite Groups ◽

Finite Axiomatizability

Download Full-text

S. C. Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 1–26. - S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 27–66. - S. C. Kleene. Bibliography. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 67–68. - William Craig. On axiomatizability within a system. The journal of symbolic logic, vol. 18 (1953), pp. 30–32.

Journal of Symbolic Logic ◽

10.2307/2267666 ◽

1954 ◽

Vol 19 (1) ◽

pp. 62-63

Author(s):

Robert McNaughton

Keyword(s):

American Mathematical Society ◽

Predicate Calculus ◽

Mathematical Society ◽

Symbolic Logic ◽

Finite Axiomatizability

Download Full-text

Equations and algebraic geometry over profinite groups

Algebra and Logic ◽

10.1007/s10469-010-9108-3 ◽

2010 ◽

Vol 49 (5) ◽

pp. 444-455 ◽

Cited By ~ 4

Author(s):

S. G. Melesheva

Keyword(s):

Algebraic Geometry ◽

Profinite Groups

Download Full-text

Generalized Burnside–Grothendieck ring functor and aperiodic ring functor associated with profinite groups

Journal of Algebra ◽

10.1016/j.jalgebra.2004.12.022 ◽

2005 ◽

Vol 291 (2) ◽

pp. 607-648 ◽

Cited By ~ 5

Author(s):

Young-Tak Oh

Keyword(s):

Profinite Groups ◽

Grothendieck Ring

Download Full-text

Burnside algebras of profinite groups

Communications in Algebra ◽

10.1080/00927879408824922 ◽

1994 ◽

Vol 22 (5) ◽

pp. 1551-1575 ◽

Cited By ~ 1

Author(s):

R.S. Pierce

Keyword(s):

Profinite Groups

Download Full-text

Richard Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 153–167.

Journal of Symbolic Logic ◽

10.2307/2271809 ◽

1975 ◽

Vol 40 (4) ◽

pp. 600-601

Author(s):

Perry Smith

Keyword(s):

Finite Axiomatizability ◽

Richard Montague

Download Full-text

On hereditarily just infinite profinite groups obtained via iterated wreath products

Journal of Group Theory ◽

10.1515/jgth-2015-0032 ◽

2016 ◽

Vol 19 (2) ◽

Author(s):

Vannacci Matteo

Keyword(s):

Wreath Products ◽

Profinite Groups ◽

The Family

AbstractWe study a generalisation of the family of non-(virtually pro-

Download Full-text

Permutation modules of profinite groups

Siberian Mathematical Journal ◽

10.1134/s0037446617040152 ◽

2017 ◽

Vol 58 (4) ◽

pp. 687-692

Author(s):

K. N. Ponomarev

Keyword(s):

Profinite Groups

Download Full-text

Remarks on profinite groups having few open subgroups

Journal of Combinatorial Algebra ◽

10.4171/jca/2-1-4 ◽

2018 ◽

Vol 2 (1) ◽

pp. 87-101

Author(s):

Dan Segal

Keyword(s):

Profinite Groups

Download Full-text

The problem of finite axiomatizability for strongly minimal graph theories

Algebra and Logic ◽

10.1007/bf01978722 ◽

1989 ◽

Vol 28 (3) ◽

pp. 183-194 ◽

Cited By ~ 3

Author(s):

A. A. Ivanov

Keyword(s):

Finite Axiomatizability ◽

Minimal Graph

Download Full-text

Profinite groups and pro-p groups

Analytic Pro-P Groups ◽

10.1017/cbo9780511470882.005 ◽

1999 ◽

pp. 15-36

Keyword(s):

Profinite Groups

Download Full-text