Michael C. Laskowski

Douglas S. Ulrich

J. Symb. Log., March, 2023

2022

Counting siblings in Universal Theories.

[BibT_eX]

[DOI]

Samuel Braunfeld

J. Symb. Log., 2022

Jumps in speeds of hereditary properties in finite relational languages.

[BibT_eX]

[DOI]

Caroline A. Terry

J. Comb. Theory B, 2022

Mutual algebraicity and cellularity.

[BibT_eX]

[DOI]

Samuel Braunfeld

Arch. Math. Log., 2022

$(\mathbb {Z}, \text {succ}, U), (\mathbb {Z}, E, U)$, and Their CSP's.

[BibT_eX]

[DOI]

William Gasarch

Shaopeng Zhu

Proceedings of the Theory and Applications of Models of Computation, 2022

2020

Uniformly Bounded Arrays and Mutually Algebraic Structures.

[BibT_eX]

[DOI]

Caroline A. Terry

Notre Dame J. Formal Log., 2020

Weakly minimal groups with a new predicate.

[BibT_eX]

[DOI]

Gabriel Conant

J. Math. Log., 2020

2019

Henkin Constructions of Models with Size continuum.

[BibT_eX]

[DOI]

Bull. Symb. Log., 2019

A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes.

[BibT_eX]

[DOI]

Arch. Math. Log., 2019

2017

Disjoint Amalgamation in Locally Finite AEC.

[BibT_eX]

[DOI]

Martin Koerwien

J. Symb. Log., 2017

2016

Constructing Many Atomic Models in ℵ1.

[BibT_eX]

[DOI]

J. Symb. Log., 2016

Definable choice for a class of weakly o-minimal theories.

[BibT_eX]

[DOI]

Christopher S. Shaw

Arch. Math. Log., 2016

2015

Characterizing Model Completeness Among Mutually Algebraic Structures.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2015

2013

Mutually algebraic structures and expansions by predicates.

[BibT_eX]

[DOI]

J. Symb. Log., 2013

On VC-minimal theories and variants.

[BibT_eX]

[DOI]

Vincent Guingona

Arch. Math. Log., 2013

2012

On rational limits of Shelah - Spencer graphs.

[BibT_eX]

[DOI]

Justin Brody

J. Symb. Log., 2012

2010

Compression Schemes, Stable Definable Families, and o-Minimal Structures.

[BibT_eX]

[DOI]

H. R. Johnson

Discret. Comput. Geom., 2010

2009

The elementary diagram of a trivial, weakly minimal structure is near model complete.

[BibT_eX]

[DOI]

Arch. Math. Log., 2009

2007

An Old Friend Revisited: Countable Models of ω-Stable Theories.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2007

Provability in predicate product logic.

[BibT_eX]

[DOI]

Shirin Malekpour

Arch. Math. Log., 2007

2006

Model completeness for trivial, uncountably categorical theories of Morley rank 1.

[BibT_eX]

[DOI]

Alfred Dolich

Alexander Raichev

Arch. Math. Log., 2006

2003

An application of Kochen's theorem.

[BibT_eX]

[DOI]

J. Symb. Log., 2003

Karp complexity and classes with the independence property.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2003

2002

Unique Decomposition in Classifiable Theories.

[BibT_eX]

[DOI]

Bradd Hart

Ehud Hrushovski

J. Symb. Log., 2002

A classification of BL-algebras.

[BibT_eX]

[DOI]

Yvonne V. Shashoua

Fuzzy Sets Syst., 2002

2001

The Karp complexity of unstable classes.

[BibT_eX]

[DOI]

Arch. Math. Log., 2001

1996

Forcing Isomorphism II.

[BibT_eX]

[DOI]

J. Symb. Log., 1996

Stable Structures with Few Substructures.

[BibT_eX]

[DOI]

Laura L. Mayer

J. Symb. Log., 1996

1995

On o-Minimal Expansions of Archimedean Ordered Groups.

[BibT_eX]

[DOI]

Charles Steinhorn

J. Symb. Log., 1995

1993

On the Existence of Atomic Models.

[BibT_eX]

[DOI]

J. Symb. Log., 1993

S-Homogeneity and Automorphism Groups.

[BibT_eX]

[DOI]

Elisabeth Bouscaren

J. Symb. Log., 1993

Forcing Isomorphism.

[BibT_eX]

[DOI]

J. Symb. Log., 1993

An Omitting Types Theorem for Saturated Structures.

[BibT_eX]

[DOI]

A. D. Greif

Ann. Pure Appl. Log., 1993

1992

The Categoricity Spectrum of Pseudo-elementary Classes.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1992

On Generic Structures.

[BibT_eX]

[DOI]

D. W. Kuecker

Notre Dame J. Formal Log., 1992

Tiny models of categorical theories.

[BibT_eX]

[DOI]

Anand Pillay

Philipp Rothmaler

Arch. Math. Log., 1992

1988

Uncountable Theories that are Categorical in a Higher Power.

[BibT_eX]

[DOI]

J. Symb. Log., 1988

1985

Finding the Smallest Triangles Containing a Given Convex Polygon.

[BibT_eX]

[DOI]

Victor Klee