Hasil untuk "math.LO"

Jouko Väänänen

This is a survey of the model theory of second order logic.

Christian Herrmann

We review principal results on axiomatizability of classes of lattices of equivalences

Alexandre Goy

A few notes about infinite trees in a descriptive set-theoretic setting.

Dilip Raghavan

Q-points are cofinal in the RK-ordering under several mild hypotheses.

Mohammad Golshani

We give an exposition of the Abraham-Shelah's proof of the consistency of $\text{GCH}$ with existence of a $Δ^2_2$-well-ordering of the reals.

Ching-on Lo, Anthony Loh

Let p p be a fixed number with 1 ≤ p > ∞ 1 \leq p > \infty . It is shown that every surjective and biseparating linear map between L p L^p -spaces is continuous when the underlying measure space is non-atomic. We also prove that a separating isomorphism on l p l^p is both continuous and biseparating. Furthermore, these (bi-)separating maps take the form of a weighted composition operator. Our proofs are direct, elementary and do not invoke deep results about Riesz spaces or Banach lattices.

Layla Michán

Google Scholar es sin duda la base de datos de literatura académica más utilizada, porque es abierta, tiene un tamaño inmenso, es amigable y viene asociada al navegador de Chrome,, esto es lo bueno, lo malo es que dada la capacidad técnica de google las posibilidades técnicas de esta plataforma dejan mucho que desear, lo que da como resultado una buena lista de lo feo que vamos a anotar a continuación:Resulta muy útil utilizar el botón de Chrome

Alexandre Miquel

We prove that all Set-based triposes are implicative triposes.

Toshimichi Usuba

In this note we provide some applications of Löwenheim-Skolem cardinals introduced in \cite{U}.

Ching-on Lo

Mario De Salvo, Domenico Freni, Giovanni Lo Faro

Hannes Diener

An introduction and overview of constructive reverse mathematics.

Gabriel Goldberg

We announce some consequences of an abstract comparison principle.

Johannes Stern

In this note we show that McGee's ω-inconsistency result can be derived from Löb's theorem.

Toshiyasu Arai

In this note we give a wellfoundedness proof of a computable notation system for first-order reflection.

Mohammad Golshani

We define the notion of generic cut between models of ZFC and give some examples.

Jane-Jane Lo, Fenqjen Luo

Jason Lo

We generalise the techniques of semistable reduction for flat families of sheaves to the setting of the derived category D b ( X ) D^b(X) of coherent sheaves on a smooth projective three-fold X X . Then we construct the moduli of PT-semistable objects in D b ( X ) D^b(X) as an Artin stack of finite type that is universally closed. In the absence of strictly semistable objects, we construct the moduli as a proper algebraic space of finite type.

Dov Gabbay, Karl Schlechta

We give an overview of logical and semantical rules for nonmonotonic and related logics.

Dov Gabbay, Karl Schlechta

We analyze a number of properties obligations have or should have.