Search Results

Largest initial segments pointwise fixed by automorphisms of models of set theory.

• Authors : Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri

Subjects: AUTOMORPHISMS; SET theory; LATTICE theory

• Source: Archive for Mathematical Logic. Feb2018, Vol. 57 Issue 1/2, p91-139. 49p.

Record details

A lattice-valued set theory.

• Authors : Titani, Satoko

Subjects: LATTICE theory; SET theory

• Source: Archive for Mathematical Logic. 1999, Vol. 38 Issue 6, p395. 27p.

Record details

Some definable properties of sets in non-valuational weakly o-minimal structures.

• Authors : Tari, Somayyeh

Subjects: INTEGERS; SET theory; MATHEMATICAL expansion

• Source: Archive for Mathematical Logic. May2017, Vol. 56 Issue 3/4, p309-317. 9p.

Record details

Symmetry in abstract elementary classes with amalgamation.

• Authors : VanDieren, Monica; Vasey, Sebastien

Subjects: MATHEMATICAL symmetry; SET theory; LATTICE theory

• Source: Archive for Mathematical Logic. May2017, Vol. 56 Issue 3/4, p423-452. 30p.

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Lattice-free sets, multi-branch split disjunctions, and mixed-integer programming.

• Authors : Dash, Sanjeeb; Dobbs, Neil; Günlük, Oktay

Subjects: LATTICE theory; SET theory; MIXED integer linear programming

• Source: Mathematical Programming. Jun2014, Vol. 145 Issue 1/2, p483-508. 26p.

Record details

Proposed sets of critical exponents for randomly branched polymers, using a known string theory model.

• Authors : March, N.H.^1,2,3 (AUTHOR); Moreno, A.J.^1,4 (AUTHOR)

Subjects: *BRANCHED polymers; *SET theory; *STRING theory

• Source: Phase Transitions. Jun2016, Vol. 89 Issue 6, p543-546. 4p.

Record details

Traces, traceability, and lattices of traces under the set theoretic inclusion.

• Authors : Mainhardt, Gunther

Subjects: LATTICE theory; SET theory; NATURAL numbers

• Source: Archive for Mathematical Logic. Nov2013, Vol. 52 Issue 7/8, p847-869. 23p.

Record details