Works matching Set theory

Results: 5000

Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs.

Published in:

Studia Logica, 2024, v. 112, n. 5, p. 1181, doi. 10.1007/s11225-023-10087-w

By:

Balogun, Funmilola;
Löwe, Benedikt

Publication type:

Article

Finite axiomatizability of local set theory.

Published in:

Mathematical Notes, 2011, v. 90, n. 1/2, p. 64, doi. 10.1134/S000143461107008X

By:

Zakharov, V.;
Yashin, A.

Publication type:

Article

Local Set Theory.

Published in:

Mathematical Notes, 2005, v. 77, n. 1/2, p. 177, doi. 10.1007/s11006-005-0019-x

By:

Zakharov, V. K.

Publication type:

Article

Interpreting lattice-valued set theory in fuzzy set theory.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 77, doi. 10.1093/jigpal/jzs023

By:

Hájek, Petr;
Haniková, Zuzana

Publication type:

Article

Model Approach to Nonstandard Analysis in the Context of Axiomatic Set Theory.

Published in:

Mathematical Notes, 2006, v. 79, n. 1/2, p. 122, doi. 10.1007/s11006-006-0012-z

By:

Yakovlev, I. V.

Publication type:

Article

Rank-initial embeddings of non-standard models of set theory.

Published in:

Archive for Mathematical Logic, 2020, v. 59, n. 5/6, p. 517, doi. 10.1007/s00153-019-00699-2

By:

Kindvall Gorbow, Paul

Publication type:

Article

Paraconsistent set theory by predicating on consistency.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 97, doi. 10.1093/logcom/ext020

By:

CARNIELLI, WALTER;
CONIGLIO, MARCELO E.

Publication type:

Article

From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti †.

Published in:

Mathematics (2227-7390), 2021, v. 9, n. 4, p. 397, doi. 10.3390/math9040397

By:

Ozawa, Masanao;
Kusraev, Anatoly Georgievich;
Kutateladze, Semën

Publication type:

Article

Topology in the Alternative Set Theory and Rough Sets via Fuzzy Type Theory.

Published in:

Mathematics (2227-7390), 2020, v. 8, n. 3, p. 432, doi. 10.3390/math8030432

By:

Novák, Vilém

Publication type:

Article

The axiom of multiple choice and models for constructive set theory.

Published in:

Journal of Mathematical Logic, 2014, v. 14, n. 1, p. -1, doi. 10.1142/S0219061314500056

By:

van den Berg, Benno;
Moerdijk, Ieke

Publication type:

Article

TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 868, doi. 10.1017/jsl.2017.77

By:

FUJIMOTO, KENTARO

Publication type:

Article

PARACONSISTENT AND PARACOMPLETE ZERMELO–FRAENKEL SET THEORY.

Published in:

Review of Symbolic Logic, 2024, v. 17, n. 4, p. 965, doi. 10.1017/S1755020323000382

By:

KHOMSKII, YURII;
ODDSSON, HRAFN VALTÝR

Publication type:

Article

On the axiom of extensionality in the positive set theory.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 97, doi. 10.1002/malq.200310009

By:

Esser, Olivier

Publication type:

Article

THE FORMAL-LOGICAL ANALYSIS OF THE FOUNDATION OF SET THEORY.

Published in:

Bulletin of Pure & Applied Sciences-Mathematics, 2017, v. 36E, n. 2, p. 329, doi. 10.5958/2320-3226.2017.00035.2

By:

Kalanov, Temur Z.

Publication type:

Article

Multiverse conceptions in set theory.

Published in:

Synthese, 2015, v. 192, n. 8, p. 2463, doi. 10.1007/s11229-015-0819-9

By:

Honzik, Radek;
Antos, Carolin;
Friedman, Sy-David;
Ternullo, Claudio

Publication type:

Article

MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY.

Published in:

Bulletin of Symbolic Logic, 2017, v. 23, n. 4, p. 381, doi. 10.1017/bsl.2017.30

By:

DAMNJANOVIC, ZLATAN

Publication type:

Article

Approximating Cartesian Closed Categories in NF-Style Set Theories.

Published in:

Journal of Philosophical Logic, 2018, v. 47, n. 1, p. 143, doi. 10.1007/s10992-017-9425-2

By:

Thomas, Morgan

Publication type:

Article

A Fuzzy Set Theory Approach to Handle Parameter Uncertainties in Saddle Node Bifurcation Analysis.

Published in:

Electric Power Components & Systems, 2006, v. 34, n. 12, p. 1295, doi. 10.1080/15325000600748848

By:

Das, D.;
Satpathy, P.

Publication type:

Article

Freeway incident detection based on set theory and short-range communication.

Published in:

Transportation Letters, 2019, v. 11, n. 10, p. 558, doi. 10.1080/19427867.2018.1453273

By:

Sun, Libing;
Lin, Zhiting;
Li, Wenna;
Xiang, Yaqin

Publication type:

Article

Coq Formalization of ZFC Set Theory for Teaching Scenarios.

Published in:

International Journal of Software & Informatics, 2023, v. 13, n. 3, p. 323, doi. 10.21655/ijsi.1673-7288.00303

By:

Xinyi Wan;
Ke Xu;
Qinxiang Cao

Publication type:

Article

Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.

Published in:

Foundations of Science, 2013, v. 18, n. 4, p. 655, doi. 10.1007/s10699-012-9296-5

By:

Verdée, Peter

Publication type:

Article

Finite Cardinals in Quasi-set Theory.

Published in:

Studia Logica, 2012, v. 100, n. 3, p. 437, doi. 10.1007/s11225-012-9406-y

By:

Arenhart, Jonas

Publication type:

Article

Remarks on the Theory of Quasi-sets.

Published in:

Studia Logica, 2010, v. 95, n. 1/2, p. 101, doi. 10.1007/s11225-010-9249-3

By:

French, Steven;
Krause, Décio

Publication type:

Article

Certain Partial Conservativeness Properties of Intuitionistic Set Theory with the Principle of Double Complement of Sets.

Published in:

Mathematical Notes, 2018, v. 103, n. 3/4, p. 378, doi. 10.1134/S0001434618030057

By:

Vladimirov, A. G.

Publication type:

Article

Effectivity properties of intuitionistic set theory with collection scheme.

Published in:

Mathematical Notes, 2011, v. 89, n. 5/6, p. 619, doi. 10.1134/S0001434611050038

By:

Vladimirov, A. G.

Publication type:

Article

Negation of permutation mass function in random permutation sets theory for uncertain information modeling.

Published in:

Complex & Intelligent Systems, 2024, v. 10, n. 6, p. 7697, doi. 10.1007/s40747-024-01569-y

By:

Tang, Yongchuan;
Li, Rongfei;
Guan, He;
Zhou, Deyun;
Huang, Yubo

Publication type:

Article

Intuitionistic sets and numbers: small set theory and Heyting arithmetic.

Published in:

Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 79, doi. 10.1007/s00153-024-00935-4

By:

Shapiro, Stewart;
McCarty, Charles;
Rathjen, Michael

Publication type:

Article

A few more dissimilarities between second-order arithmetic and set theory.

Published in:

Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 147, doi. 10.1007/s00153-022-00829-3

By:

Fujimoto, Kentaro

Publication type:

Article

Fragments of Kripke-Platek set theory and the metamathematics of $$\alpha $$ -recursion theory.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 899, doi. 10.1007/s00153-016-0501-z

By:

Friedman, Sy-David;
Li, Wei;
Wong, Tin

Publication type:

Article

Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 789, doi. 10.1007/s00153-012-0299-2

By:

Chen, Ray-Ming;
Rathjen, Michael

Publication type:

Article

Pairs, sets and sequences in first-order theories.

Published in:

Archive for Mathematical Logic, 2008, v. 47, n. 4, p. 299, doi. 10.1007/s00153-008-0087-1

By:

Visser, Albert

Publication type:

Article

Power Kripke–Platek set theory and the axiom of choice.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 1, p. 447, doi. 10.1093/logcom/exaa020

By:

Rathjen, Michael

Publication type:

Article

CHANGING TRENDS OF PREFERENCES IN MODE OF TRANSACTIONS-A PREDICTION USING ROUGH SET THEORY.

Published in:

International Journal of Advanced Research in Computer Science, 2018, v. 9, n. 1, p. 38

By:

Preethi, M.

Publication type:

Article

COMBINATION ENTROPY AND COMBINATION GRANULATION IN ROUGH SET THEORY.

Published in:

International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems, 2008, v. 16, n. 2, p. 179, doi. 10.1142/S0218488508005121

By:

QIAN, YUHUA;
LIANG, JIYE

Publication type:

Article

On weak filters and ultrafilters: Set theory from (and for) knowledge representation.

Published in:

Logic Journal of the IGPL, 2023, v. 31, n. 1, p. 68, doi. 10.1093/jigpal/jzab030

By:

Koutras, Costas D;
Moyzes, Christos;
Nomikos, Christos;
Tsaprounis, Konstantinos;
Zikos, Yorgos

Publication type:

Article

On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 482, doi. 10.1093/jigpal/jzt045

By:

Yatabe, Shunsuke

Publication type:

Article

On equality and natural numbers in Cantor-Łukasiewicz set theory.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 91, doi. 10.1093/jigpal/jzq019

By:

Hájek, Petr

Publication type:

Article

Designing face resemblance technique using near set theory under varying facial features.

Published in:

Multimedia Tools & Applications, 2023, v. 82, n. 21, p. 33161, doi. 10.1007/s11042-023-14927-8

By:

Khedgaonkar, Roshni S.;
Singh, Kavita R.

Publication type:

Article

Further evaluation of the structure of the polysaccharide from Plocamium costatum with the use of set theory

Published in:

Hydrobiologia, 1999, v. 398/399, p. 385, doi. 10.1023/A:1017051405258

By:

Miller, Ian J.

Publication type:

Article

Students' conception of set theory through a board game and an active-learning unit.

Published in:

International Journal of Innovation in Science & Mathematics Education, 2020, v. 28, n. 1, p. 1, doi. 10.30722/ijisme.28.01.001

By:

Pawa, Surasak;
Laosinchai, Parames;
Nokkaew, Artorn;
Wongkia, Wararat

Publication type:

Article

New Applications of Fuzzy Set Concept in the Geometric Theory of Analytic Functions.

Published in:

Axioms (2075-1680), 2023, v. 12, n. 5, p. 494, doi. 10.3390/axioms12050494

By:

Alb Lupaş, Alina

Publication type:

Article

Set Theory, Dynamism, and the Event: Reinjecting Time into the Foundations of Mathematics.

Published in:

Axioms (2075-1680), 2022, v. 11, n. 12, p. 670, doi. 10.3390/axioms11120670

By:

Mikki, Said

Publication type:

Article

Does Set Theory Really Ground Arithmetic Truth?

Published in:

Axioms (2075-1680), 2022, v. 11, n. 7, p. 351, doi. 10.3390/axioms11070351

By:

Freire, Alfredo Roque

Publication type:

Article

A Finitely Axiomatized Non-Classical First-Order Theory Incorporating Category Theory and Axiomatic Set Theory.

Published in:

Axioms (2075-1680), 2021, v. 10, n. 2, p. 119, doi. 10.3390/axioms10020119

By:

Cabbolet, Marcoen J. T. F.

Publication type:

Article

Analysis of the reliability of the components of a multiservice communication network based on the theory of fuzzy sets.

Published in:

Telkomnika, 2021, v. 19, n. 5, p. 1715, doi. 10.12928/TELKOMNIKA.v19i5.19854

By:

Muradova, Alevtina Aleksandrovna;
Khaytbaev, Aybek Fayzullaevich

Publication type:

Article

Methodological Issues of the Fuzzy Set Theory (Generalizing Article).

Published in:

Inorganic Materials, 2024, v. 60, n. 4, p. 389, doi. 10.1134/S0020168524700572

By:

Orlov, A. I.

Publication type:

Article

Hybrid MCDM Based on VIKOR and Cross Entropy under Rough Neutrosophic Set Theory.

Published in:

Mathematics (2227-7390), 2021, v. 9, n. 12, p. 1334, doi. 10.3390/math9121334

By:

Rogulj, Katarina;
Kilić Pamuković, Jelena;
Ivić, Majda

Publication type:

Article

A NEW WEIGHTING APPROACH BASED ON ROUGH SET THEORY AND GRANULAR COMPUTING FOR ROAD SAFETY INDICATOR ANALYSIS.

Published in:

Computational Intelligence, 2016, v. 32, n. 4, p. 517, doi. 10.1111/coin.12061

By:

Li, Tianrui;
Ruan, Da;
Shen, Yongjun;
Hermans, Elke;
Wets, Geert

Publication type:

Article

ANALYZING INFLUENCE FACTORS OF TECHNOLOGY TRANSFER USING FUZZY SET THEORY.

Published in:

International Journal of Innovation & Technology Management, 2010, v. 7, n. 1, p. 71, doi. 10.1142/S0219877010001830

By:

LAI, WEN-HSIANG;
TSAI, CHIEN-TZU

Publication type:

Article

THE DETERMINATION OF GOODWILL FACTORS CONTRIBUTION USING ECONOMETRIC MODELS BASED ON THE SUBTLE SETS THEORY.

Published in:

Annals of the University of Oradea, Economic Science Series, 2009, v. 18, n. 2, p. 666

By:

Ion, Ioniţă;
Marcel, Stoica;
Cosmin, Drd. Grigore

Publication type:

Article