Results 1  10
of
19
A hierarchy of Deterministic Contextfree ωlanguages
"... Twenty years ago, Klaus. W. Wagner came up with a hierarchy of ωregular sets that actually bears his name. It turned out to be exactly the Wadge hierarchy of the sets of ωwords recognized by Deterministic Finite Automata. We describe the Wadge hierarchy of contextfree ωlanguages, which stands as ..."
Abstract

Cited by 17 (7 self)
 Add to MetaCart
Twenty years ago, Klaus. W. Wagner came up with a hierarchy of ωregular sets that actually bears his name. It turned out to be exactly the Wadge hierarchy of the sets of ωwords recognized by Deterministic Finite Automata. We describe the Wadge hierarchy of contextfree ωlanguages, which stands as an extension of Wagner's work from Automata to Pushdown Automata.
Classical And Constructive Hierarchies In Extended Intuitionistic Analysis
"... This paper introduces an extension of Kleene's axiomatization of Brouwer's intuitionistic analysis, in which the classical arithmetical and analytical hierarchies are faithfully represented as hierarchies of the domains of continuity. A domain of continuity is a relation R(#) on Baire sp ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
This paper introduces an extension of Kleene's axiomatization of Brouwer's intuitionistic analysis, in which the classical arithmetical and analytical hierarchies are faithfully represented as hierarchies of the domains of continuity. A domain of continuity is a relation R(#) on Baire space with the property that every constructive partial functional defined on {# : R(#)} is continuous there. The domains of continuity for coincide with the stable relations (those equivalent in to their double negations), while every relation R(#) is equivalent in #) for some stable A(#, #) (which belongs to the classical analytical hierarchy). The logic of is intuitionistic. The axioms of include countable comprehension, bar induction, Troelstra's generalized continuous choice, primitive recursive Markov's Principle and a classical axiom of dependent choices proposed by Krauss. Constructive dependent choices, and constructive and classical countable choice, are theorems.
The core model for almost linear iterations
 Annals of Pure and Appl. Logic 116 (2002
"... We introduce 0 • (“zero handgrenade”) as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ZFC + 0 • doesn’t exist. ” Combined with work of Woodin, Steel, and earlier work of the author, this provides the last step for de ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
We introduce 0 • (“zero handgrenade”) as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ZFC + 0 • doesn’t exist. ” Combined with work of Woodin, Steel, and earlier work of the author, this provides the last step for determining the exact consistency strength of the assumption in the statement of the 12th Delfino problem (cf. [12]). 0 Introduction. Core models were constructed in the papers [2], [13], [7], [15] and [16], [8] (see also [23]), [27], and [28]. We refer the reader to [6], [17], and [14] for less painful introductions into core model theory. A core model is intended to be an inner model of set theory (that is, a transitive
Strong Statements of Analysis
 Bulletin of the London Mathematical Society
"... Examples are discussed of natural statements about irrational numbers that are equivalent, provably in ZFC, to strong settheoretical hypotheses, and of apparently classical statements provable in ZFC of which the only known proofs use strong settheoretical concepts. 1. ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
(Show Context)
Examples are discussed of natural statements about irrational numbers that are equivalent, provably in ZFC, to strong settheoretical hypotheses, and of apparently classical statements provable in ZFC of which the only known proofs use strong settheoretical concepts. 1.
On Infinitary Rational Relations and Borel Sets
 IN THE PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE DMTCS’03, 7  12
, 2003
"... We prove in this paper that there exists some infinitary rational relations which are Σ 0 3complete Borel sets and some others which are Π 0 3complete. These results give additional answers to questions of Simonnet [Sim92] and of Lescow and Thomas [Tho90] [LT94]. ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We prove in this paper that there exists some infinitary rational relations which are Σ 0 3complete Borel sets and some others which are Π 0 3complete. These results give additional answers to questions of Simonnet [Sim92] and of Lescow and Thomas [Tho90] [LT94].
Cardinalities in the projective hierarchy
"... 1 Introduction We show that the "effective cardinality " of the collection of \Pi,1n+1 sets is strictly bigger than the effective cardinality of the \Pi,1n. The phrase effective cardinality is vague but can be made exact in the usual ways. For instance: ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
1 Introduction We show that the &quot;effective cardinality &quot; of the collection of \Pi,1n+1 sets is strictly bigger than the effective cardinality of the \Pi,1n. The phrase effective cardinality is vague but can be made exact in the usual ways. For instance:
Countable homogeneous and partially homogeneous ordered structures
"... I survey classification results for countable homogeneous or `partially homogeneous' ordered structures. This includes some account of Schmerl's classification of the countable homogeneous partial orders, outlining an extension of this to the coloured case, and also treating results on li ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
I survey classification results for countable homogeneous or `partially homogeneous' ordered structures. This includes some account of Schmerl's classification of the countable homogeneous partial orders, outlining an extension of this to the coloured case, and also treating results on linear orders, and their generalizations, trees and cyclefree partial orders.
Guarded Quantification in Least Fixed Point Logic
, 2002
"... We develop a variant of Least Fixed Point logic based on First Order logic with a relaxed version of guarded quantification. We develop a Game Theoretic Semantics of this logic, and find that under reasonable conditions, guarding quantification does not reduce the expressibility of Least Fixed Point ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We develop a variant of Least Fixed Point logic based on First Order logic with a relaxed version of guarded quantification. We develop a Game Theoretic Semantics of this logic, and find that under reasonable conditions, guarding quantification does not reduce the expressibility of Least Fixed Point logic. But guarding quantification increases worstcase time complexity.
Game Representations of Complexity Classes
 Proc. Eur. Summer School on Logic, Language and Information (European Assoc. Logic, Language and Information
, 2001
"... Many descriptive and computational complexity classes have gametheoretic representations. These can be used to study the relation between different logics and complexity classes in finite model theory. ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
Many descriptive and computational complexity classes have gametheoretic representations. These can be used to study the relation between different logics and complexity classes in finite model theory.