Jensen hierarchy - PDFSEARCH.IO - Document Search Engine

Jensen hierarchy
Results: 7

#	Item
1	BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS ´ AND PAULO OLIVA ´ ESCARDO MARTIN Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-16 10:22:26 Primitive recursive function Mathematical logic Philosophy of mathematics Fourier analysis Jensen hierarchy Mathematics Computability theory Constructible universe
2	First-Order Strong Progression for Local-Effect Basic Action Theories Add to Reading List Source URL: aaai.org Language: English - Date: 2008-06-18 00:53:43 Golden ratio Mathematics Differential geometry Proof theory Jensen hierarchy Numbers Symbol Constructible universe
3	Axiomatic Set Theory: Problem sheet 5 S 1. Assuming (as was shown in the lectures), that a ∈ L → a ∈ L and a ∈ L → Pa ∩ L ∈ L, verify carefully that hL, ∈i ² union, powerset. 2. The rank of a set A, rk(A Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2009-02-02 11:27:30 Set theory Model theory Forcing Operator theory Jensen hierarchy Pullback Mathematical logic Constructible universe Von Neumann universe
4	BINARY SUBTREES WITH FEW LABELED PATHS RODNEY G. DOWNEY, NOAM GREENBERG, CARL G. JOCKUSCH, JR., AND KEVIN G. MILANS Abstract. We prove several quantitative Ramseyan results involving ternary complete trees with {0, 1}-la Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2011-07-08 08:35:11 Mathematics Jensen hierarchy Ternary tree Binary trees Operator theory
5	MFPS[removed]Continuity of Gödel’s system T definable Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-06-03 06:05:55 Mathematics Ordinal numbers Set theory Proof theory General topology Jensen hierarchy Ordinal arithmetic Mathematical logic Symbol Constructible universe
6	Successor Levels of the Jensen Hierarchy∗ Gunter Fuchs Westf¨alische Wilhelms-Universit¨at M¨ Add to Reading List Source URL: wwwmath.uni-muenster.de Language: English - Date: 2008-04-25 07:16:11 Functions and mappings Model theory Interpretation Philosophy of language Philosophy of mind Semantics Function Constructible universe Μ operator Mathematics Mathematical logic Logic
7	PDF Document Add to Reading List Source URL: www.vub.ac.be Language: English - Date: 2010-12-16 13:04:10 Structure Constructible universe Curry–Howard correspondence Net Cardinal number Closure operator Ordinal number Jensen hierarchy Motive Mathematics General topology Mathematical logic