Hasil untuk "math.LO"

Seyed-Mohammad Bagheri

Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.

Alexander Burka

We establish a framework for model-theoretic stability and simplicity in an approximate first-order setting and generalize some classical results.

Ching-on Lo, Anthony Wai-keung Loh

Nik Weaver

Hierarchies of non self-applicative truth predicates take us beyond Gamma_0.

Gabriel Goldberg

A version of Woodin's HOD dichotomy is proved assuming the existence of just one strongly compact cardinal.

Wim Veldman

The paper is an introduction to intuitionistic mathematics.

Aldo Figallo-Orellano

This paper aims at discussing the importance of Leibniz Law to getting models for Paraconsistent Set Theories.

Erik Walsberg

We describe one.

James H. Schmerl

The notions of the kernel of a graph, full truth sets and full satisfaction sets are connected.

Douglas Ulrich

We show that Keisler's order is not linear, assuming the existence of a supercompact cardinal.

Mohammad Golshani

We answer a question of Zadrozny.

Mohammad Golshani

In this short paper we give an overview of Woodin's surgery method.

Saharon Shelah

This is a revised version of Sh:430, section 6.

Ziv Shami

We prove, in particular, that in a supersimple unidimensional theory the $SU$-rank is continuous and the $D$-rank is definable.

Antonio Avilés

This is an introductory article to the theory of multiple gaps.

A. Ivanov

We study complexity of the index set of countably categorical theories and Ehrenfeucht theories in finite languages.

Joseph Q. W. Lo, Bernie D. Shizgal

Dov Gabbay, Karl Schlechta

We give a unified approach to various results and problems of nonclassical logics

Stefano Campagnola, Martin Lo

AbstractThis paper shows how the BepiColombo trajectory near Mercury follows the invariant manifolds to its final capture. The BepiColombo gravitational capture provides several recovery opportunities at nominal conditions and was designed by exploring the solution space entirely, without knowledge of the invariant manifolds. In this work we reproduced the trajectory in the model of the elliptic restricted three body‐ problem (due to the high eccentricity of Mercury's orbit) and showed that it does follow the manifolds. Consequently we envision that manifolds should be used to give insight on the solution space, speeding up the design and optimization process and there by saving cost. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Greg Hjorth

If G is a Polish group, then there is a Polish G-space X which is universal among Polish G-spaces with respect to continuous G-embeddings.