Pages that link to "Item:Q5338333"
From MaRDI portal
The following pages link to Some applications of the notions of forcing and generic sets (Q5338333):
Displayed 50 items.
- A note on the enumeration degrees of 1-generic sets (Q283105) (← links)
- Implicit definability in arithmetic (Q306821) (← links)
- Undefinability of truth and nonstandard models (Q598273) (← links)
- A representative individual from Arrovian aggregation of parametric individual utilities (Q617616) (← links)
- Higher Kurtz randomness (Q636362) (← links)
- Paul Cohen and forcing in 1963 (Q645317) (← links)
- Generic degrees are complemented (Q685063) (← links)
- The universal theory of first order algebras and various reducts (Q895827) (← links)
- Parametrization over inductive relations of a bounded number of variables (Q917545) (← links)
- When is arithmetic possible? (Q922533) (← links)
- Lowness of higher randomness notions (Q948873) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Countable admissible ordinals and hyperdegrees (Q1142207) (← links)
- Generic oracles, uniform machines, and codes (Q1184732) (← links)
- Symmetric submodels of a Cohen generic extension (Q1207546) (← links)
- On some new metamathematical results concerning set theory (Q1215607) (← links)
- Infinite coforcing in model theory (Q1220510) (← links)
- ZF and Boolean algebra (Q1240238) (← links)
- On the independence of core-equivalence results from Zermelo-Fraenkel set theory (Q1263580) (← links)
- Kinna-Wagner selection principles, axioms of choice and multiple choice (Q1357592) (← links)
- An oracle builder's toolkit (Q1398366) (← links)
- Arrovian aggregation of generalised expected-utility preferences: (im)possibility results by means of model theory (Q1615992) (← links)
- Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem (Q1778064) (← links)
- On the elimination of imaginaries from certain valued fields (Q1802185) (← links)
- Degrees of Dowd-type generic oracles (Q1854543) (← links)
- Complexity of the \(r\)-query tautologies in the presence of a generic oracle (Q1861135) (← links)
- A contextual-hierarchical approach to truth and the liar paradox (Q1876081) (← links)
- Separating weak \(\alpha\)-change and \(\alpha\)-change genericity (Q2140582) (← links)
- Partially definable forcing and bounded arithmetic (Q2257103) (← links)
- The Rado path decomposition theorem (Q2279931) (← links)
- Levy and set theory (Q2493914) (← links)
- On the reducibility of \(\Pi_ 1^ 1\) sets (Q2547889) (← links)
- Typical forcings, NP search problems and an extension of a theorem of Riis (Q2659102) (← links)
- Measure-theoretic applications of higher Demuth’s Theorem (Q2821688) (← links)
- On the Existence of Free Ultrafilters on ω and on Russell-sets in ZF (Q2949775) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)
- Amorphe Potenzen kompakter Räume (Q3346924) (← links)
- AN APPLICATION OF RECURSION THEORY TO ANALYSIS (Q3386607) (← links)
- Countable compact Hausdorff spaces need not be metrizable in ZF (Q3420105) (← links)
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185) (← links)
- Lusin Sets and Well Ordering the Continuum (Q4071231) (← links)
- HIGHER RANDOMNESS AND GENERICITY (Q4599263) (← links)
- IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) (Q4602436) (← links)
- ITERATING SYMMETRIC EXTENSIONS (Q4628676) (← links)
- MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER (Q4638992) (← links)
- The Discovery of My Completeness Proofs (Q4897039) (← links)
- An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited (Q5163164) (← links)
- Spectra of uniformity (Q5206479) (← links)
- Feferman’s Skepticism About Set Theory (Q5214798) (← links)
- Classes of Polish spaces under effective Borel isomorphism (Q5365177) (← links)