Ω-logic - PDFSEARCH.IO - Document Search Engine

Ω-logic
Results: 39

#	Item
31	The high/low hierarchy in the local structure of the ω-enumeration degrees Hristo Gancheva,1,2 , Mariya Soskovaa,1,3 Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2009-11-24 09:49:22 Enumeration Constructible universe Ordinal number Forcing Wreath product Mathematics Enumerative combinatorics Mathematical logic
32	EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE ENUMERATION DEGREES AND THE ω-ENUMERATION DEGREES Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2009-11-24 09:48:56 Enumeration Turing degree Constructible universe Ordinal number Series Forcing Mathematics Mathematical logic Enumerative combinatorics
33	KALIMULLIN PAIRS OF Σ02 ω-ENUMERATION DEGREES IVAN N. SOSKOV AND MARIYA I. SOSKOVA Abstract. We study the notion of K-pairs in the local structure of the ωenumeration degrees. We introduce the notion of super almost z Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2011-05-26 05:11:20 Enumeration Logic Ordinal number Turing degree Philosophy of mathematics Constructible universe Mathematics Computability theory Mathematical logic
34	Incompatible Ω-Complete Theories∗ Peter Koellner and W. Hugh Woodin July 25, 2009 Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2011-09-20 00:26:33 Determinacy Large cardinals Inner model theory Descriptive set theory Forcing Zermelo–Fraenkel set theory Ω-logic Continuum hypothesis Woodin cardinal Mathematical logic Set theory Mathematics
35	From Automatic Structures to Borel Structures Greg Hjorth Department of Mathematics and Statistics, Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2008-04-25 11:30:34 Mathematics Borel set Forcing Ω-automaton Tree automaton Borel hierarchy Borel equivalence relation Measurable function Mathematical logic Automata theory Descriptive set theory
36	PDF Document Add to Reading List Source URL: www.tcs.tifr.res.in Language: English - Date: 2006-02-23 13:10:09 Set theory Formal languages Ω-automaton Models of computation Combinatorics on words Büchi automaton Sequence Tree Infinity Mathematics Mathematical logic Automata theory
37	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2001-07-12 09:46:25 Determinacy Forcing Descriptive set theory Cardinal numbers Axiom of projective determinacy Ω-logic Zermelo–Fraenkel set theory Continuum hypothesis Inaccessible cardinal Mathematical logic Set theory Large cardinals
38	PDF Document Add to Reading List Source URL: logic.pdmi.ras.ru Language: English - Date: 2011-05-03 04:34:49 Mathematics Saturated model Stable theory Ordinal number First uncountable ordinal Peano axioms First-order logic Ω-consistent theory Vaught conjecture Mathematical logic Model theory Logic
39	PDF Document Add to Reading List Source URL: www.cs.qub.ac.uk Language: English - Date: 2007-07-20 11:45:04 Automata theory Mathematics Probability theory Linear temporal logic Ω-automaton Ordinal number Constructible universe Connection

UPDATE