AML 2007 | Sciweavers

19

AML
2008

84views more AML 2008»

Model theory of the regularity and reflection schemes

13 years 3 months ago

Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...

Ali Enayat, Shahram Mohsenipour

claim paper

Read More »

14

click to vote

AML
2007

87views more AML 2007»

Preservation theorems for bounded formulas

13 years 5 months ago

Download math.ipm.ac.ir

In this paper we naturally deﬁne when a theory has bounded quantiﬁer elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each...

Morteza Moniri

claim paper

Read More »

10

click to vote

AML
2007

77views more AML 2007»

Complex analysis in subsystems of second order arithmetic

13 years 5 months ago

Download www.math.tohoku.ac.jp

Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...

Keita Yokoyama

claim paper

Read More »

10

click to vote

AML
2007

48views more AML 2007»

On some sheaves of special groups

13 years 5 months ago

Download mathsci.ucd.ie

Vincent Astier

claim paper

Read More »

9

click to vote

AML
2007

42views more AML 2007»

Universal forcing notions and ideals

13 years 5 months ago

Download shelah.logic.at

The main result of this paper is a partial answer to [7, Problem 5.5]: a ﬁnite iteration of Universal Meager forcing notions adds generic ﬁlters for many forcing notions determ...

Andrzej Roslanowski, Saharon Shelah

claim paper

Read More »

9

click to vote

AML
2007

77views more AML 2007»

Antichains in partially ordered sets of singular cofinality

13 years 5 months ago

Download papers.assafrinot.com

Assaf Rinot

claim paper

Read More »

13

click to vote

AML
2007

80views more AML 2007»

Normal forms for fuzzy logics: a proof-theoretic approach

13 years 5 months ago

Download sitemason.vanderbilt.edu

A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to ...

Petr Cintula, George Metcalfe

claim paper

Read More »

14

click to vote

AML
2007

68views more AML 2007»

A note on weak dividing

13 years 5 months ago

Download math.yonsei.ac.kr

We study the notion of weak dividing introduced by S. Shelah. In particular we prove that T is stable iﬀ weak dividing is symmetric. In order to study simple theories Shelah orig...

Byunghan Kim, Niandong Shi

claim paper

Read More »

9

click to vote

AML
2007

52views more AML 2007»

A note on the schemes of replacement and collection

13 years 5 months ago

Download www.crm.es

A. R. D. Mathias

claim paper