腐烂
发表于 2025-3-23 10:11:05
http://reply.papertrans.cn/59/5880/587961/587961_11.png
别炫耀
发表于 2025-3-23 16:42:42
Logic and Foundations of Mathematics978-94-017-2109-7Series ISSN 0166-6991 Series E-ISSN 2542-8292
小淡水鱼
发表于 2025-3-23 20:11:06
https://doi.org/10.1007/978-94-017-2109-7Philosophy of Science; Rudolf Carnap; compactness theorem; logic; modal logic; model theory; predicate log
旧式步枪
发表于 2025-3-24 01:14:51
http://reply.papertrans.cn/59/5880/587961/587961_14.png
GNAW
发表于 2025-3-24 04:04:05
The Use of a Logical Principle of Uniform Boundedness in Analysis,This paper is part of a sequence of papers () resulting from our Habilitation-thesis adressing the following question:.What is the impact on the growth of extractable uniform bounds the use of various analytical principles Γ in a given proof of an ∀∃-sentence might have?
constitute
发表于 2025-3-24 06:38:24
Epsilon-Substitution Method for the Ramified Language and ,-Comprehension Rule,The epsilon substitution method is based on the language introduced by Hilbert . The main non-Boolean construction of this language is .[.], read as “an . satisfying the condition .[.]”. When . is numerical, it is interpreted as the least . satisfying .[.]. Existential and universal quantifiers become explicitly definable by .
Delectable
发表于 2025-3-24 13:56:31
http://reply.papertrans.cn/59/5880/587961/587961_17.png
慷慨不好
发表于 2025-3-24 16:12:03
On Applicative Theories,ey soon turned out to be very important for the proof-theoretic analysis of subsystems of second order arithmetic and set theory. Moreover, systems of explicit mathematics provide a logical framework for functional programming languages.
滑动
发表于 2025-3-24 21:03:24
On Predicate Logic as Modal Logic,. and . assignments in the universe ., i.e., elements of .., and . = .. means that for all variables . except possibly .(.) = .(.). A modal perspective on predicate logic starts from the observation that (1) is similar to the clause for diamonds in Kripke semantics:
背叛者
发表于 2025-3-25 02:10:32
http://reply.papertrans.cn/59/5880/587961/587961_20.png