Definable real number - PDFSEARCH.IO - Document Search Engine

Definable real number
Results: 8

#	Item
1	PDF Document Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Computability theory Theoretical computer science Theory of computation Mathematics Mathematical logic Turing machine Models of computation Computable number Alan Turing Computable function Definable real number Computability
2	Tarski Lectures: Compact spaces, definability, and measures in model theory Anand Pillay University of Leeds Berkeley, April 6th, 8th, and 10th, 2009 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:21 Metalogic Structure Compactness theorem O-minimal theory Type First-order logic Stable theory Beth definability Definable real number Model theory Mathematical logic Logic
3	Lecture 4: Is that Really Revising Logic? König’s paradox (and Berry’s variant). Let L be any language whose formulas are finite strings of finitely many basic symbols. Then (K1) Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-05-15 07:08:03 Set theory Berry paradox Constructible universe Ordinal numbers Computability theory Definable real number Proof theory Ordinal definable set Mathematical logic Mathematics Philosophy of mathematics
4	NOTES ON O-MINIMALITY SERGEI STARCHENKO 1 C ONTENTS Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2009-01-20 10:53:16 O-minimal theory Definable set Strongly minimal theory Structure Continuous function Function Open set Weakly o-minimal structure Definable real number Mathematics Model theory Mathematical logic
5	Decidability of Definability Manuel Bodirsky ´ CNRS / LIX, Ecole Polytechnique Joint work with Michael Pinsker and Todor Tsankov Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-10-17 13:03:59 Constructible universe Definable real number Model theory Structure Universal algebra
6	Matheology § 001 A matheologian is a man, or, in rare cases, a woman, who believes in thoughts that nobody can think, except, perhaps, a God, or, in rare cases, a Goddess. Add to Reading List Source URL: www.hs-augsburg.de Language: English - Date: 2013-10-26 02:12:40 Cardinal numbers Infinity Mathematical analysis Definable real number Axiom of choice Well-order Countable set Finite set Real number Mathematics Mathematical logic Set theory
7	A History of Interactions between Logic and Number Theory Lecture 1 Add to Reading List Source URL: modular.math.washington.edu Language: English - Date: 2006-10-17 01:47:09 Model theory Field theory Algebraic structures Mathematical structures Real algebraic geometry Strongly minimal theory Alfred Tarski P-adic number Definable set Abstract algebra Mathematics Algebra
8	PDF Document Add to Reading List Source URL: web.comlab.ox.ac.uk Language: English Theory of computation Mathematical logic Turing machine Computable number Computable function Entscheidungsproblem Definable real number Function Turing machine examples Computability theory Theoretical computer science Mathematics