The following pages link to Michael Chris Laskowski (Q1203761):
Displaying 50 items.
- (Q377465) (redirect page) (← links)
- On VC-minimal theories and variants (Q377466) (← links)
- Characterizing model completeness among mutually algebraic structures (Q498619) (← links)
- Definable choice for a class of weakly o-minimal theories (Q506966) (← links)
- An omitting types theorem for saturated structures (Q688799) (← links)
- Uniformly bounded arrays and mutually algebraic structures (Q778731) (← links)
- Model completeness for trivial, uncountably categorical theories of Morley rank \(1\) (Q862348) (← links)
- Provability in predicate product logic (Q884950) (← links)
- Compression schemes, stable definable families, and o-minimal structures (Q972602) (← links)
- An old friend revisited: countable models of \(\omega\)-stable theories (Q998143) (← links)
- The elementary diagram of a trivial, weakly minimal structure is near model complete (Q1005929) (← links)
- The categoricity spectrum of pseudo-elementary classes (Q1203762) (← links)
- On generic structures (Q1203777) (← links)
- Tiny models of categorical theories (Q1204109) (← links)
- An asymptotic solution for sealed bid common-value auctions with bidders having asymmetric information (Q1304009) (← links)
- The uncountable spectra of countable theories (Q1589986) (← links)
- A strong failure of \(\aleph _0\)-stability for atomic classes (Q1712931) (← links)
- The Schröder-Bernstein property for weakly minimal theories (Q1760325) (← links)
- Karp complexity and classes with the independence property (Q1861334) (← links)
- A classification of BL-algebras (Q1867635) (← links)
- Mutual algebraicity and cellularity (Q2155504) (← links)
- A simpler axiomatization of the Shelah-Spencer almost sure theories (Q2480589) (← links)
- Generalized ordinal sums and the decidability of BL-chains (Q2577686) (← links)
- Jumps in speeds of hereditary properties in finite relational languages (Q2668015) (← links)
- Three red herrings around Vaught’s conjecture (Q2790604) (← links)
- On rational limits of Shelah–Spencer graphs (Q2892677) (← links)
- Model companion of ordered theories with an automorphism (Q2944812) (← links)
- CONSTRUCTING MANY ATOMIC MODELS IN ℵ<sub>1</sub> (Q2976384) (← links)
- A trichotomy of countable, stable, unsuperstable theories (Q3085140) (← links)
- Forcing isomorphism II (Q3128475) (← links)
- Finding the smallest triangles containing a given convex polygon (Q3697817) (← links)
- Uncountable theories that are categorical in a higher power (Q3798642) (← links)
- (Q4013608) (← links)
- Vapnik-Chervonenkis Classes of Definable Sets (Q4024901) (← links)
- On the existence of atomic models (Q4283061) (← links)
- Forcing isomorphism (Q4283068) (← links)
- S-homogeneity and automorphism groups (Q4283069) (← links)
- (Q4355931) (← links)
- Trivial, strongly minimal theories are model complete after naming constants (Q4425430) (← links)
- Unique decomposition in classifiable theories (Q4532600) (← links)
- HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM (Q4632538) (← links)
- An application of Kochen's theorem (Q4650277) (← links)
- Uncountable categoricity for gross models (Q4813692) (← links)
- On o-minimal expansions of Archimedean ordered groups (Q4858818) (← links)
- Mutually algebraic structures and expansions by predicates (Q4916552) (← links)
- Theories with few non-algebraic types over models, and their decompositions (Q5086946) (← links)
- COUNTING SIBLINGS IN UNIVERSAL THEORIES (Q5100052) (← links)
- Weakly minimal groups with a new predicate (Q5118052) (← links)
- Characterizations of monadic NIP (Q5165493) (← links)
- On the computability-theoretic complexity of trivial, strongly minimal models (Q5308141) (← links)