We study Σ₁(ω₁)-definable sets (i.e., sets that are equal to the collection of all sets satisfying a certain Σ₁-formula with parameter ω₁) in the presence of large cardinals. Our results show that the ...
Embedded microcontrollers are the original SoC devices. In the last few years FPGA and PLD manufacturers have proffered the term "System- on- a Programmable Chip" (SOPC) which captures the idea of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback