Showing 1–24 of 24 results for author: Lieberman, M

Induced and higher-dimensional stable independence

Authors: Michael Lieberman, Jiri Rosicky, Sebastien Vasey

Abstract: We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory to a category as a whole, and examine a number of applications to categories of groups and modules, extending results of [MAa]. We prove, too, that under the hyp… ▽ More We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory to a category as a whole, and examine a number of applications to categories of groups and modules, extending results of [MAa]. We prove, too, that under the hypotheses of [LRV], a stable independence notion immediately yields higher-dimensional independence as in [SV]. △ Less

Submitted 30 August, 2022; v1 submitted 27 November, 2020; originally announced November 2020.

MSC Class: 18C35; 03C45; 03C48; 03C52; 13L05; 16B50

Cofibrant generation of pure monomorphisms

Authors: Michael Lieberman, Leonid Positselski, Jiri Rosicky, Sebastien Vasey

Abstract: We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any category of $R$-modules. We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any category of $R$-modules. △ Less

Submitted 15 January, 2020; v1 submitted 7 January, 2020; originally announced January 2020.

Hilbert spaces and ${C}^\ast$-algebras are not finitely concrete

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: We show that no faithful functor from the category of Hilbert spaces with linear isometries into the category of sets preserves directed colimits. Thus Hilbert spaces cannot form an abstract elementary class, even up to change of language. We deduce an analogous result for the category of commutative unital $C^\ast$-algebras with $\ast$-homomorphisms. This implies, in particular, that this categor… ▽ More We show that no faithful functor from the category of Hilbert spaces with linear isometries into the category of sets preserves directed colimits. Thus Hilbert spaces cannot form an abstract elementary class, even up to change of language. We deduce an analogous result for the category of commutative unital $C^\ast$-algebras with $\ast$-homomorphisms. This implies, in particular, that this category is not axiomatizable by a first-order theory, a strengthening of a conjecture of Bankston. △ Less

Submitted 30 August, 2022; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: 8 pages

MSC Class: 18C35 (Primary); 46L05; 46M99 (Secondary)

Instability-enhanced transport in low temperature magnetized plasma

Authors: R. Lucken, A. Bourdon, M. Lieberman, P. Chabert

Abstract: It is shown that the transport in low temperature, collisional, bounded plasma is enhanced by instabilities at high magnetic field. While the magnetic field confines the electrons in a stable plasma, the instability completely destroys the confinement such that the transport becomes independent of the magnetic field in the highly magnetized limit. An analytical expression of the instability-enhanc… ▽ More It is shown that the transport in low temperature, collisional, bounded plasma is enhanced by instabilities at high magnetic field. While the magnetic field confines the electrons in a stable plasma, the instability completely destroys the confinement such that the transport becomes independent of the magnetic field in the highly magnetized limit. An analytical expression of the instability-enhanced collision frequency is proposed, based on a magnetic field independent edge-to-center density ratio. △ Less

Submitted 24 June, 2019; originally announced June 2019.

Comments: Physics of Plasmas, American Institute of Physics, In press

Cellular categories and stable independence

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories (those where, in a precise sense, the cellular morphisms are generated by a set) are exactly those that give rise to stable independence notions. We give two app… ▽ More We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories (those where, in a precise sense, the cellular morphisms are generated by a set) are exactly those that give rise to stable independence notions. We give two applications: on the one hand, we show that the abstract elementary classes of roots of Ext studied by Baldwin-Eklof-Trlifaj are stable and tame. On the other hand, we give a simpler proof (in a special case) that combinatorial categories are closed under 2-limits, a theorem of Makkai and Rosický. △ Less

Submitted 1 April, 2022; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 22 pages

MSC Class: 18C35 (Primary); 03C45; 03C48; 03C52; 03C55; 16B50; 16B60; 55U35 (Secondary)

Tameness, powerful images, and large cardinals

Authors: Will Boney, Michael Lieberman

Abstract: We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these properties are also equivalent to various forms of tameness for abstract elementary classes. This systematizes and extends results of [BU17], [BTR16], [Lie18], and [LR… ▽ More We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these properties are also equivalent to various forms of tameness for abstract elementary classes. This systematizes and extends results of [BU17], [BTR16], [Lie18], and [LR16]. △ Less

Submitted 11 March, 2020; v1 submitted 26 February, 2019; originally announced February 2019.

MSC Class: 03E55; 03C95; 18C35

Sizes and filtrations in accessible categories

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: Accessible categories admit a purely category-theoretic replacement for cardinality: the internal size. Generalizing results and methods from arXiv:1708.06782, we examine set-theoretic problems related to internal sizes and prove several Löwenheim-Skolem theorems for accessible categories. For example, assuming the singular cardinal hypothesis, we show that a large accessible category has an objec… ▽ More Accessible categories admit a purely category-theoretic replacement for cardinality: the internal size. Generalizing results and methods from arXiv:1708.06782, we examine set-theoretic problems related to internal sizes and prove several Löwenheim-Skolem theorems for accessible categories. For example, assuming the singular cardinal hypothesis, we show that a large accessible category has an object in all internal sizes of high-enough cofinality. We also prove that accessible categories with directed colimits have filtrations: any object of sufficiently high internal size is (the retract of) a colimit of a chain of strictly smaller objects. △ Less

Submitted 5 June, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: 27 pages

MSC Class: 18C35 (Primary); 03C45; 03C48 03C52; 03C55; 03C75; 03E05 (Secondary)

Tameness in generalized metric structures

Authors: Michael Lieberman, Jiri Rosicky, Pedro Zambrano

Abstract: We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano on (metric) tameness under a large cardinal assumption holds in this more general context. We briefly consider a further generalization to partial metric spaces… ▽ More We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano on (metric) tameness under a large cardinal assumption holds in this more general context. We briefly consider a further generalization to partial metric spaces, and hint at connections to classes of fuzzy structures, and structures on sheaves. △ Less

Submitted 8 September, 2022; v1 submitted 4 October, 2018; originally announced October 2018.

MSC Class: 03C95; 03C48; 03E55; 18C35

A category-theoretic characterization of almost measurable cardinals

Authors: Michael Lieberman

Abstract: Through careful analysis of an argument of Brooke-Taylor and Rosicky, we show that the powerful image of any accessible functor is closed under colimits of $κ$-chains, $κ$ a sufficiently large almost measurable cardinal. This condition on powerful images, by methods resembling those of Lieberman and Rosicky, implies $κ$-locality of Galois types. As this, in turn, implies sufficient measurability o… ▽ More Through careful analysis of an argument of Brooke-Taylor and Rosicky, we show that the powerful image of any accessible functor is closed under colimits of $κ$-chains, $κ$ a sufficiently large almost measurable cardinal. This condition on powerful images, by methods resembling those of Lieberman and Rosicky, implies $κ$-locality of Galois types. As this, in turn, implies sufficient measurability of $κ$, via a paper of Boney and Unger, we obtain an equivalence: a purely category-theoretic characterization of almost measurable cardinals. △ Less

Submitted 13 December, 2019; v1 submitted 16 September, 2018; originally announced September 2018.

Forking independence from the categorical point of view

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, category-theoretic terms, for reasons both practical (we require a characterization suitable for work in $μ$-abstract elementary classes, i.e. accessible categories with all morphisms monomorphisms) and expository (we hop… ▽ More Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, category-theoretic terms, for reasons both practical (we require a characterization suitable for work in $μ$-abstract elementary classes, i.e. accessible categories with all morphisms monomorphisms) and expository (we hope, with this account, to make forking accessible - and useful - to a broader mathematical audience). In particular, we present an axiomatic definition of what we call a stable independence notion on a category and show that this is in fact a purely category-theoretic axiomatization of the properties of model-theoretic forking in a stable first-order theory. △ Less

Submitted 1 February, 2019; v1 submitted 26 January, 2018; originally announced January 2018.

Comments: 50 pages

MSC Class: 03C45 (Primary); 18C35; 03C48; 03C52; 03C55; 03C75; 03E55 (Secondary)

Journal ref: Advances in Mathematics 346 (2019), 719-772

Gradient estimates for oblique derivative problems via the maximum principle

Authors: Gary M. Lieberman

Abstract: We prove gradient estimates for solutions of the oblique derivative problem for a large class of elliptic and parabolic quasilinear PDEs. In particular, we expand on previous work of the author using a maximum principle argument. In addition, we prove estimates for the parabolic problem of evolution via mean curvature with nonzero Neumann data, which seem to be new. We prove gradient estimates for solutions of the oblique derivative problem for a large class of elliptic and parabolic quasilinear PDEs. In particular, we expand on previous work of the author using a maximum principle argument. In addition, we prove estimates for the parabolic problem of evolution via mean curvature with nonzero Neumann data, which seem to be new. △ Less

Submitted 15 January, 2018; originally announced January 2018.

Comments: 55 pages

MSC Class: 35J66; 35K61

Journal ref: Advances in Differential Equations 25 (2020), 709-754

Internal sizes in $μ$-abstract elementary classes

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: Working in the context of $μ$-abstract elementary classes ($μ$-AECs) - or, equivalently, accessible categories with all morphisms monomorphisms - we examine the two natural notions of size that occur, namely cardinality of underlying sets and internal size. The latter, purely category-theoretic, notion generalizes e.g. density character in complete metric spaces and cardinality of orthogonal bases… ▽ More Working in the context of $μ$-abstract elementary classes ($μ$-AECs) - or, equivalently, accessible categories with all morphisms monomorphisms - we examine the two natural notions of size that occur, namely cardinality of underlying sets and internal size. The latter, purely category-theoretic, notion generalizes e.g. density character in complete metric spaces and cardinality of orthogonal bases in Hilbert spaces. We consider the relationship between these notions under mild set-theoretic hypotheses, including weakenings of the singular cardinal hypothesis. We also establish preliminary results on the existence and categoricity spectra of $μ$-AECs, including specific examples showing dramatic failures of the eventual categoricity conjecture (with categoricity defined using cardinality) in $μ$-AECs. △ Less

Submitted 31 January, 2019; v1 submitted 22 August, 2017; originally announced August 2017.

Comments: 27 pages

MSC Class: 03C48 (Primary); 18C35; 03C45; 03C52; 03C55; 03C75; 03E04; 03E5518C35; 03C52; 03C55; 03C75 (Secondary)

Journal ref: Journal of Pure and Applied Algebra 223 (2019), no. 10, 4560-4582

Universal abstract elementary classes and locally multipresentable categories

Authors: Michael Lieberman, Jiří Rosický, Sebastien Vasey

Abstract: We exhibit an equivalence between the model-theoretic framework of universal classes and the category-theoretic framework of locally multipresentable categories. We similarly give an equivalence between abstract elementary classes (AECs) admitting intersections and locally polypresentable categories. We use these results to shed light on Shelah's presentation theorem for AECs. We exhibit an equivalence between the model-theoretic framework of universal classes and the category-theoretic framework of locally multipresentable categories. We similarly give an equivalence between abstract elementary classes (AECs) admitting intersections and locally polypresentable categories. We use these results to shed light on Shelah's presentation theorem for AECs. △ Less

Submitted 12 July, 2018; v1 submitted 27 July, 2017; originally announced July 2017.

Comments: 14 pages. Some typos removed

MSC Class: 03C48 (Primary); 18C35; 03C52; 03C55; 03C75 (Secondary)

Journal ref: Proceedings of the American Mathematical Society 147 (2019), no. 3, 1283-1298

Visual Recognition of Paper Analytical Device Images for Detection of Falsified Pharmaceuticals

Authors: Sandipan Banerjee, James Sweet, Christopher Sweet, Marya Lieberman

Abstract: Falsification of medicines is a big problem in many develo** countries, where technological infrastructure is inadequate to detect these harmful products. We have developed a set of inexpensive paper cards, called Paper Analytical Devices (PADs), which can efficiently classify drugs based on their chemical composition, as a potential solution to the problem. These cards have different reagents e… ▽ More Falsification of medicines is a big problem in many develo** countries, where technological infrastructure is inadequate to detect these harmful products. We have developed a set of inexpensive paper cards, called Paper Analytical Devices (PADs), which can efficiently classify drugs based on their chemical composition, as a potential solution to the problem. These cards have different reagents embedded in them which produce a set of distinctive color descriptors upon reacting with the chemical compounds that constitute pharmaceutical dosage forms. If a falsified version of the medicine lacks the active ingredient or includes substitute fillers, the difference in color is perceivable by humans. However, reading the cards with accuracy takes training and practice, which may hamper their scaling and implementation in low resource settings. To deal with this, we have developed an automatic visual recognition system to read the results from the PAD images. At first, the optimal set of reagents was found by running singular value decomposition on the intensity values of the color tones in the card images. A dataset of cards embedded with these reagents is produced to generate the most distinctive results for a set of 26 different active pharmaceutical ingredients (APIs) and excipients. Then, we train two popular convolutional neural network (CNN) models, with the card images. We also extract some "hand-crafted" features from the images and train a nearest neighbor classifier and a non-linear support vector machine with them. On testing, higher-level features performed much better in accurately classifying the PAD images, with the CNN models reaching the highest average accuracy of over 94\%. △ Less

Submitted 13 April, 2017; originally announced April 2017.

Comments: in Proc. IEEE Winter Conference on Applications of Computer Vision (WACV), 2016

Hanf numbers via accessible images

Authors: Michael Lieberman, Jiri Rosicky

Abstract: We present several new model-theoretic applications of the fact that, under the assumption that there exists a proper class of almost strongly compact cardinals, the powerful image of any accessible functor is accessible. In particular, we generalize to the context of accessible categories the recent Hanf number computations of Baldwin and Boney, namely that in an abstract elementary class (AEC) i… ▽ More We present several new model-theoretic applications of the fact that, under the assumption that there exists a proper class of almost strongly compact cardinals, the powerful image of any accessible functor is accessible. In particular, we generalize to the context of accessible categories the recent Hanf number computations of Baldwin and Boney, namely that in an abstract elementary class (AEC) if the joint embedding and amalgamation properties hold for models of size up to a sufficiently large cardinal, then they hold for models of arbitrary size. Moreover, we prove that, under the above-mentioned large cardinal assumption, every metric AEC is strongly d-tame, strengthening a result of Boney and Zambrano and pointing the way to further generalizations. △ Less

Submitted 22 June, 2017; v1 submitted 25 October, 2016; originally announced October 2016.

Comments: v1: 15 pages. v2: 13 pages, reformatted with minor edits. v3: 15 pages, title changed from "Bootstrap** structural properties, via accessible images," proofs expanded, definitions clarified in response to referees' feedback. v4: 15 pages, dedication added. v5: 15 pages, minor corrections, in press

MSC Class: 03C95; 03C52; 18C35; 03E55

Journal ref: Logical Methods in Computer Science, Volume 13, Issue 2 (June 23, 2017) lmcs:2190

$μ$-Abstract Elementary Classes and other generalizations

Authors: Will Boney, Rami Grossberg, Michael Lieberman, Jiri Rosicky, Sebastien Vasey

Abstract: We introduce $μ$-Abstract Elementary Classes ($μ$-AECs) as a broad framework for model theory that includes complete boolean algebras and Dirichlet series, and begin to develop their classification theory. Moreover, we note that $μ$-AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: not lea… ▽ More We introduce $μ$-Abstract Elementary Classes ($μ$-AECs) as a broad framework for model theory that includes complete boolean algebras and Dirichlet series, and begin to develop their classification theory. Moreover, we note that $μ$-AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: not least, the preliminary classification-theoretic results for μ-AECs transfer directly to accessible categories with monomorphisms. △ Less

Submitted 11 February, 2016; v1 submitted 24 September, 2015; originally announced September 2015.

Comments: 26 pp

MSC Class: 03C48 (Primary); 03C45; 18C35; 03C52; 03C55; 03C75; 03E55 (Secondary)

Journal ref: Journal of Pure and Applied Algebra 220 (2016), no. 9, 3048-3066

Approximations of superstability in concrete accessible categories

Authors: Michael Lieberman, Jiri Rosicky

Abstract: We generalize the constructions and results of Chapter 10 in Baldwin's "Categoricity" to coherent accessible categories with concrete directed colimits and concrete monomorphisms. In particular, we prove that if any category of this form is categorical in a successor, directed colimits of saturated objects are themselves saturated. We generalize the constructions and results of Chapter 10 in Baldwin's "Categoricity" to coherent accessible categories with concrete directed colimits and concrete monomorphisms. In particular, we prove that if any category of this form is categorical in a successor, directed colimits of saturated objects are themselves saturated. △ Less

Submitted 22 May, 2015; originally announced May 2015.

Comments: 17 pages

MSC Class: 03C48; 03C95; 18C35

Limits of abstract elementary classes

Authors: M. Lieberman, J. Rosický

Abstract: We show that the category of abstract elementary classes (AECs) and concrete functors is closed under constructions of "limit type," which generalizes the approach of Mariano, Zambrano and Villaveces away from the syntactically oriented framework of institutions. Moreover, we provide a broader view of this closure phenomenon, considering a variety of categories of accessible categories with additi… ▽ More We show that the category of abstract elementary classes (AECs) and concrete functors is closed under constructions of "limit type," which generalizes the approach of Mariano, Zambrano and Villaveces away from the syntactically oriented framework of institutions. Moreover, we provide a broader view of this closure phenomenon, considering a variety of categories of accessible categories with additional structure, and relaxing the assumption that the morphisms be concrete functors. △ Less

Submitted 19 August, 2015; v1 submitted 18 April, 2015; originally announced April 2015.

Journal ref: Theory Appl. Categ. 30 (2015), 1647-1658

Metric abstract elementary classes as accessible categories

Authors: Michael Lieberman, Jiri Rosicky

Abstract: We show that metric abstract elementary classes (mAECs) are, in the sense of [LR] (i.e. arXiv:1404.2528), coherent accessible categories with directed colimits, with concrete $\aleph_1$-directed colimits and concrete monomorphisms. More broadly, we define a notion of $κ$-concrete AEC---an AEC-like category in which only the $κ$-directed colimits need be concrete---and develop the theory of such ca… ▽ More We show that metric abstract elementary classes (mAECs) are, in the sense of [LR] (i.e. arXiv:1404.2528), coherent accessible categories with directed colimits, with concrete $\aleph_1$-directed colimits and concrete monomorphisms. More broadly, we define a notion of $κ$-concrete AEC---an AEC-like category in which only the $κ$-directed colimits need be concrete---and develop the theory of such categories, beginning with a category-theoretic analogue of Shelah's Presentation Theorem and a proof of the existence of an Ehrenfeucht-Mostowski functor in case the category is large. For mAECs in particular, arguments refining those in [LR] yield a proof that any categorical mAEC is $μ$-d-stable in many cardinals below the categoricity cardinal. △ Less

Submitted 29 March, 2017; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: v2: changed terminology. v3: tightened inequalities. v4: clarifying notes added. v5: referee's comments incorporated, with substantial improvements

MSC Class: 03C95; 03C45; 18C35

Hölder continuity of a bounded weak solution of generalized parabolic $p-$Laplacian equations

Authors: Sukjung Hwang, Gary M. Lieberman

Abstract: Here we generalize quasilinear parabolic $p-$Laplacian type equations to obtain the prototype equation as \[ u_t - \text{div} (g(|Du|)/ |Du| \cdot Du) = 0, \] where a nonnegative, increasing, and continuous function $g$ trapped in between two power functions $|Du|^{g_0 -1}$ and $|Du|^{g_1 -1}$ with $1<g_0 \leq g_1 < \infty$. Through this generalization in the setting from Orlicz spaces, we provide… ▽ More Here we generalize quasilinear parabolic $p-$Laplacian type equations to obtain the prototype equation as \[ u_t - \text{div} (g(|Du|)/ |Du| \cdot Du) = 0, \] where a nonnegative, increasing, and continuous function $g$ trapped in between two power functions $|Du|^{g_0 -1}$ and $|Du|^{g_1 -1}$ with $1<g_0 \leq g_1 < \infty$. Through this generalization in the setting from Orlicz spaces, we provide a uniform proof with a single geometric setting that a bounded weak solution is locally Hölder continuous considering $1 < g_0 \leq g_1 \leq 2$ and $2 \leq g_0 \leq g_1 < \infty$ separately. By using geometric characters, our proof does not rely on any of alternatives which is based on the size of solutions. △ Less

Submitted 27 March, 2018; v1 submitted 2 July, 2014; originally announced July 2014.

Classification theory for accessible categories

Authors: Michael Lieberman, Jirí Rosický

Abstract: We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal assumption. We also show that such categories support a robust version of the Ehrenfeucht-Mostowski construction. This analysis has the added benefit of producing… ▽ More We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal assumption. We also show that such categories support a robust version of the Ehrenfeucht-Mostowski construction. This analysis has the added benefit of producing a purely language-free characterization of AECs, and highlights the precise role played by the coherence axiom. △ Less

Submitted 24 November, 2014; v1 submitted 9 April, 2014; originally announced April 2014.

Comments: 17 pages

MSC Class: 03C45; 03C95; 03G30

A Turing model of pattern formation in atmospheric pressure gas discharges

Authors: Xi Chen, Yao Zhou, Xi-Ming Zhu, Yi-Kang Pu, F. Iza, M. A. Lieberman

Abstract: In this letter we propose a Turing model of the formation of patterns of visible light emission intensity in atmospheric pressure gas discharges. The electron density and the electron temperature take the roles of activator and inhibitor respectively in a two-reactant Turing model, with the activator diffusion coeffcient being much smaller than that of the inhibitor, and ionization and excitation… ▽ More In this letter we propose a Turing model of the formation of patterns of visible light emission intensity in atmospheric pressure gas discharges. The electron density and the electron temperature take the roles of activator and inhibitor respectively in a two-reactant Turing model, with the activator diffusion coeffcient being much smaller than that of the inhibitor, and ionization and excitation from excited state atoms considered as the dominant reaction processes. The model predicts striations in a 1D system, which quantitatively agree with experimental results in terms of the spatial variation scale lengths. Additionally, the model also predicts changes in the discharge structure observed experimentally when input power and gas pressure are varied. △ Less

Submitted 18 January, 2011; originally announced January 2011.

Comments: 4 pages, 2 figures

Rank functions and partial stability spectra for tame AECs

Authors: Michael Lieberman

Abstract: We introduce a family of rank functions and related notions of total transcendence for Galois types in abstract elementary classes. We focus, in particular, on abstract elementary classes satisfying the condition know as tameness (currently suspected to be a necessary condition for the development of a reasonable classification theory) where the connections between stability and total transcende… ▽ More We introduce a family of rank functions and related notions of total transcendence for Galois types in abstract elementary classes. We focus, in particular, on abstract elementary classes satisfying the condition know as tameness (currently suspected to be a necessary condition for the development of a reasonable classification theory) where the connections between stability and total transcendence are most evident. As a byproduct, we obtain a partial upward stability transfer result for tame abstract elementary classes stable in a cardinal lambda satisfying lambda^{aleph_0}, a substantial generalization of a result of Baldwin, Kueker, and VanDieren. △ Less

Submitted 4 January, 2010; originally announced January 2010.

Comments: 15 pages

MSC Class: 03C45; 03C95

Journal ref: Notre Dame J. Formal Logic 54, no. 2 (2013), 153-166

A Topology for Galois Types in AECs

Authors: Michael Lieberman

Abstract: We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the model-theoretic properties of classes and their constituent models and the topological properties of… ▽ More We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the model-theoretic properties of classes and their constituent models and the topological properties of the associated spaces. Tameness of Galois types, in particular, emerges as a topological separation principle. △ Less

Submitted 24 February, 2010; v1 submitted 19 June, 2009; originally announced June 2009.

Comments: 17 pages with references. Drawn from author's PhD thesis, "Topological and Category-Theoretic Aspects of Abstract Elementary Classes," University of Michigan, 2009. Minor edits February 2010

MSC Class: 03C95; 03C75; 54E18