Sciweavers

    MLQ
    2007
    73views more  MLQ 2007»
    On completely nonmeasurable unions
    13 years 11 months ago
    On completely nonmeasurable unions
    Download  www.math.uni.wroc.pl
    Assume that there is no quasi-measurable cardinal not greater than 2ω . We show that for a c.c.c. σ-ideal I with a Borel base of subsets of an uncountable Polish space, if A is a...
    Szymon Zeberski
    claim paper
    Read More »
    MLQ
    2007
    65views more  MLQ 2007»
    Non-standard analysis in ACA0 and Riemann mapping theorem
    13 years 11 months ago
    Non-standard analysis in ACA0 and Riemann mapping theorem
    Download  www.math.tohoku.ac.jp
    Abstract. This research is motivated by the program of Reverse Mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second order arithmetic...
    Keita Yokoyama
    claim paper
    Read More »
    MLQ
    2007
    73views more  MLQ 2007»
    Existence of EF-equivalent non-isomorphic models
    13 years 11 months ago
    Existence of EF-equivalent non-isomorphic models
    Download  shelah.logic.at
    Abstract. We prove the existence of pairs of models of the same cardinality λ which are very equivalent according to EF games, but not isomorphic. We continue the paper [4], but w...
    Chanoch Havlin, Saharon Shelah
    claim paper
    Read More »
    MLQ
    2007
    78views more  MLQ 2007»
    Nonstandard models that are definable in models of Peano Arithmetic
    13 years 11 months ago
    Nonstandard models that are definable in models of Peano Arithmetic
    Download  mathsoc.jp
    Kazuma Ikeda, Akito Tsuboi
    claim paper
    Read More »
    MLQ
    2007
    72views more  MLQ 2007»
    Addition and multiplication of sets
    13 years 11 months ago
    Addition and multiplication of sets
    Download  faculty.baruch.cuny.edu
    Laurence Kirby
    claim paper
    Read More »
    MLQ
    2007
    111views more  MLQ 2007»
    On n-contractive fuzzy logics
    13 years 11 months ago
    On n-contractive fuzzy logics
    Download  www.carlesnoguera.cat
    It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w.r.t. the class of all finite MTL-chains. In order to reach a deeper understanding ...
    Rostislav Horcík, Carles Noguera, Milan Pet...
    claim paper
    Read More »
    MLQ
    2007
    116views more  MLQ 2007»
    Local sentences and Mahlo cardinals
    13 years 11 months ago
    Local sentences and Mahlo cardinals
    Download  prunel.ccsd.cnrs.fr
    Local sentences were introduced by Ressayre in [Res88] who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for t...
    Olivier Finkel, Stevo Todorcevic
    claim paper
    Read More »
    MLQ
    2007
    66views more  MLQ 2007»
    Corrigendum to "Unique solutions"
    13 years 11 months ago
    Corrigendum to "Unique solutions"
    Download  www.math.psu.edu
    Peter Schuster
    claim paper
    Read More »
    MLQ
    2007
    79views more  MLQ 2007»
    Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
    13 years 11 months ago
    Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
    Download  voutsadakis.com
    George Voutsadakis
    claim paper
    Read More »
    MLQ
    2007
    72views more  MLQ 2007»
    Mass problems and almost everywhere domination
    13 years 11 months ago
    Mass problems and almost everywhere domination
    Download  www.math.psu.edu
    We examine the concept of almost everywhere domination from the viewpoint of mass problems. Let AED and MLR be the set of reals which are almost everywhere dominating and Martin-L...
    Stephen G. Simpson
    claim paper
    Read More »
    12next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.